Results 1  10
of
133
Automaton Logic
 International Journal of Theoretical Physics
, 1996
"... The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison to quantum logic; intrinsic measurements 1 ..."
Abstract

Cited by 79 (47 self)
 Add to MetaCart
The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison to quantum logic; intrinsic measurements 1
Quantum computing, postselection, and probabilistic polynomialtime
, 2004
"... I study the class of problems efficiently solvable by a quantum computer, given the ability to “postselect” on the outcomes of measurements. I prove that this class coincides with a classical complexity class called PP, or Probabilistic PolynomialTime. Using this result, I show that several simple ..."
Abstract

Cited by 39 (13 self)
 Add to MetaCart
I study the class of problems efficiently solvable by a quantum computer, given the ability to “postselect” on the outcomes of measurements. I prove that this class coincides with a classical complexity class called PP, or Probabilistic PolynomialTime. Using this result, I show that several simple changes to the axioms of quantum mechanics would let us solve PPcomplete problems efficiently. The result also implies, as an easy corollary, a celebrated theorem of Beigel, Reingold, and Spielman that PP is closed under intersection, as well as a generalization of that theorem due to Fortnow and Reingold. This illustrates that quantum computing can yield new and simpler proofs of major results about classical computation.
Finite precision measurement nullifies the KochenSpecker theorem
, 1999
"... Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S 2, can be colored so that the contradiction with hidden variable theories provided by KochenSpecker constructions do ..."
Abstract

Cited by 32 (1 self)
 Add to MetaCart
Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S 2, can be colored so that the contradiction with hidden variable theories provided by KochenSpecker constructions does not obtain. Thus, in contrast to violation of the Bell inequalities, no quantumoverclassical advantage for information processing can be derived from the KochenSpecker theorem alone.
Simulating Quantum Mechanics by NonContextual Hidden Variables
, 2000
"... No physical measurement can be performed with infinite precision. This leaves a loophole in the standard nogo arguments against noncontextual hidden variables. All such arguments rely on choosing special sets of quantummechanical observables with measurement outcomes that cannot be simulated non ..."
Abstract

Cited by 27 (1 self)
 Add to MetaCart
No physical measurement can be performed with infinite precision. This leaves a loophole in the standard nogo arguments against noncontextual hidden variables. All such arguments rely on choosing special sets of quantummechanical observables with measurement outcomes that cannot be simulated noncontextually. As a consequence, these arguments do not exclude the hypothesis that the class of physical measurements in fact corresponds to a dense subset of all theoretically possible measurements with outcomes and quantum probabilities that can be recovered from a noncontextual hidden variable model. We show here by explicit construction that there are indeed such noncontextual hidden variable models, both for projection valued and positive operator valued measurements.
Epistemic and Ontic Quantum Realities
, 2005
"... Quantum theory has provoked intense discussions about its interpretation since its pioneer days, beginning with Bohr’s view of quantum theory as a theory of knowledge. We show that such an epistemic perspective can be consistently complemented by Einstein’s ontically oriented position. ..."
Abstract

Cited by 21 (12 self)
 Add to MetaCart
Quantum theory has provoked intense discussions about its interpretation since its pioneer days, beginning with Bohr’s view of quantum theory as a theory of knowledge. We show that such an epistemic perspective can be consistently complemented by Einstein’s ontically oriented position.
Contextaware citation recommendation
"... When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which can recommend a small number of good candidates for every place that you want to make some citations? In this paper, we pre ..."
Abstract

Cited by 21 (5 self)
 Add to MetaCart
When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which can recommend a small number of good candidates for every place that you want to make some citations? In this paper, we present our initiative of building a contextaware citation recommendation system. High quality citation recommendation is challenging: not only should the citations recommended be relevant to the paper under composition, but also should match the local contexts of the places citations are made. Moreover, it is far from trivial to model how the topic of the whole paper and the contexts of the citation places should affect the selection and ranking of citations. To tackle the problem, we develop a contextaware approach. The core idea is to design a novel nonparametric probabilistic model which can measure the contextbased relevance between a citation context and a document. Our approach can recommend citations for a context effectively. Moreover, it can recommend a set of citations for a paper with high quality. We implement a prototype system in CiteSeerX. An extensive empirical evaluation in the CiteSeerX digital library against many baselines demonstrates the effectiveness and the scalability of our approach.
Delinearizing linearity: projective quantum axiomatics from strong compact closure
 QPL 2005
, 2005
"... ..."
Decoherence, Einselection and the Existential Interpretation (The Rough Guide)
 PHIL. TRANS. R. SOC. LOND. A
, 1998
"... The roles of decoherence and environmentinduced superselection in the emergence of the classical from the quantum substrate are described. The stability of correlations between the einselected quantum pointer states and the environment allows them to exist almost as objectively as classical states ..."
Abstract

Cited by 19 (0 self)
 Add to MetaCart
The roles of decoherence and environmentinduced superselection in the emergence of the classical from the quantum substrate are described. The stability of correlations between the einselected quantum pointer states and the environment allows them to exist almost as objectively as classical states were once thought to exist: there are ways of finding out what is the pointer state of the system which uses redundancy of its correlations with the environment, and which leave einselected states essentially unperturbed. This relatively objective existence of certain quantum states facilitates operational definition of probabilities in the quantum setting. Moreover, once there are states that ‘exist ’ and can be ‘found out’, a ‘collapse ’ in the traditional sense is no longer necessary—in effect, it has already happened. The role of the preferred states in the processing and storage of information is emphasized. The existential interpretation based on the relatively objective existence of stable correlations between the einselected states of observers’ memory and in the outside universe is formulated and discussed.
A Partial Order on Classical and Quantum States
, 2002
"... We introduce a partial order on classical and quantum states which reveals that these sets are actually domains: Directed complete partially ordered sets with an intrinsic notion of approximation. The operational significance of the orders involved conclusively establishes that physical information ..."
Abstract

Cited by 19 (6 self)
 Add to MetaCart
We introduce a partial order on classical and quantum states which reveals that these sets are actually domains: Directed complete partially ordered sets with an intrinsic notion of approximation. The operational significance of the orders involved conclusively establishes that physical information has a natural domain theoretic structure. In the same
Quasistates and symplectic intersections
, 2008
"... We establish a link between symplectic topology and a recently emerged branch of functional analysis called the theory of quasistates and quasimeasures (also known as topological measures). In the symplectic context quasistates can be viewed as an algebraic way of packaging certain information co ..."
Abstract

Cited by 19 (2 self)
 Add to MetaCart
We establish a link between symplectic topology and a recently emerged branch of functional analysis called the theory of quasistates and quasimeasures (also known as topological measures). In the symplectic context quasistates can be viewed as an algebraic way of packaging certain information contained in Floer theory, and in particular in spectral invariants of Hamiltonian diffeomorphisms introduced recently by YongGeun Oh. As a consequence we prove a number of new results on rigidity of intersections in symplectic manifolds. This work is a part of a joint project with Paul Biran.