Source author record

Manas K. Patra

Manas K. Patra appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

quant-ph math-ph math.MP Discrete Mathematics gr-qc hep-th Logic in Computer Science

Catalog footprint

What is connected

6works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2015arXiv

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic

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 semantics in partially observed discrete-time Markov chains. Decidability results are known for certain restricted logics with respect to these semantics, subject to a variety of restrictions that are either unexplained or involve a longstanding unsolved mathematical problem. We show that mild generalizations of the known decidable cases suffice to render the model checking problem definitively undecidable. In particular, for a synchronous perfect recall, a generalization from temporal operators with finite reach to operators with infinite reach renders model checking undecidable. The case of the clock semantics is closely related to a monadic second order logic of time and probability that is known to be decidable, except on a set of measure zero. We show that two distinct extensions of this logic make model checking undecidable. One of these involves polynomial combinations of probability terms, the other involves monadic second order quantification into the scope of probability operators. These results explain some of the restrictions in previous work.

preprint2014arXiv

Generalised probabilistic theories and conic extensions of polytopes

Generalized probabilistic theories (GPT) provide a general framework that includes classical and quantum theories. It is described by a cone $C$ and its dual $C^*$. We show that whether some one-way communication complexity problems can be solved within a GPT is equivalent to the recently introduced cone factorisation of the corresponding communication matrix $M$. We also prove an analogue of Holevo's theorem: when the cone $C$ is contained in $\mathbb{R}^{n}$, the classical capacity of the channel realised by sending GPT states and measuring them is bounded by $\log n$. Polytopes and optimising functions over polytopes arise in many areas of discrete mathematics. A conic extension of a polytope is the intersection of a cone $C$ with an affine subspace whose projection onto the original space yields the desired polytope. Extensions of polytopes can sometimes be much simpler geometric objects than the polytope itself. The existence of a conic extension of a polytope is equivalent to that of a cone factorisation of the slack matrix of the polytope, on the same cone. We show that all $0/1$ polytopes whose vertices can be recognized by a polynomial size circuit, which includes as a special case the travelling salesman polytope and many other polytopes from combinatorial optimisation, have small conic extension complexity when the cone is the completely positive cone. Using recent exponential lower bounds on the linear extension complexity of polytopes, this provides an exponential gap between the communication complexity of GPT based on the completely positive cone and classical communication complexity, and a conjectured exponential gap with quantum communication complexity. Our work thus relates the communication complexity of generalisations of quantum theory to questions of mainstream interest in the area of combinatorial optimisation.

preprint2014arXiv

Information and communication in polygon theories

Generalized probabilistic theories (GPT) provide a framework in which one can formulate physical theories that includes classical and quantum theories, but also many other alternative theories. In order to compare different GPTs, we advocate an approach in which one views a state in a GPT as a resource, and quantifies the cost of interconverting between different such resources. We illustrate this approach on polygon theories (Janotta et al. New J. Phys 13, 063024, 2011) that interpolate (as the number n of edges of the polygon increases) between a classical trit (when n=3) and a real quantum bit (when n=infinity). Our main results are that simulating the transmission of a single n-gon state requires more than one qubit, or more than log(log(n)) bits, and that n-gon states with n odd cannot be simulated by n'-gon states with n' even (for all n,n'). These results are obtained by showing that the classical capacity of a single n-gon state with n even is 1 bit, whereas it is larger than 1 bit when n is odd; by showing that transmitting a single n-gon state with n even violates information causality; and by showing studying the communication complexity cost of the nondeterministic not equal function using n-gon states.

preprint2012arXiv

Consistent assignment of quantum probabilities

We pose and solve a problem concerning consistent assignment of quantum probabilities to a set of bases associated with maximal projective measurements. We show that our solution is optimal. We also consider some consequences of the main theorem in the paper in conjunction with Gleason's theorem. Some potential applications to state tomography and probabilistic quantum secret-sharing scheme are discussed.

preprint2012arXiv

Quantum Fourier transform, Heisenberg groups and quasiprobability distributions

This paper aims to explore the inherent connection among Heisenberg groups, quantum Fourier transform and (quasiprobability) distribution functions. Distribution functions for continuous and finite quantum systems are examined first as a semiclassical approach to quantum probability distribution. This leads to studying certain functionals of a pair of "conjugate" observables, connected via the quantum Fourier transform. The Heisenberg groups emerge naturally from this study and we take a rapid look at their representations. The quantum Fourier transform appears as the intertwining operator of two equivalent representation arising out of an automorphism of the group. Distribution functions correspond to certain distinguished sets in the group algebra. The marginal properties of a particular class of distribution functions (Wigner distributions) arise from a class of automorphisms of the group algebra of the Heisenberg group. We then study the reconstruction of Wigner function from the marginal distributions via inverse Radon transform giving explicit formulas. We consider applications of our approach to quantum information processing and quantum process tomography.

preprint2011arXiv

Black hole evaporation rates without spacetime

Verlinde recently suggested that gravity, inertia, and even spacetime may be emergent properties of an underlying thermodynamic theory. This vision was motivated in part by Jacobson's 1995 surprise result that the Einstein equations of gravity follow from the thermodynamic properties of event horizons. Taking a first tentative step in such a program, we derive the evaporation rate (or radiation spectrum) from black hole event horizons in a spacetime-free manner. Our result relies on a Hilbert space description of black hole evaporation, symmetries therein which follow from the inherent high dimensionality of black holes, global conservation of the no-hair quantities, and the existence of Penrose processes. Our analysis is not wedded to standard general relativity and so should apply to extended gravity theories where we find that the black hole area must be replaced by some other property in any generalized area theorem.