English
Related papers

Related papers: Resource dependent undecidability: computability l…

200 papers

We solve a well known, long-standing open problem in relational databases theory, showing that the conjunctive query determinacy problem (in its "unrestricted" version) is undecidable.

Databases · Computer Science 2015-12-08 Tomasz Gogacz , Jerzy Marcinkowski

In this paper we explore fundamental concepts in computational complexity theory and the boundaries of algorithmic decidability. We examine the relationship between complexity classes \textbf{P} and \textbf{NP}, where $L \in \textbf{P}$…

Computational Complexity · Computer Science 2025-12-30 Duaa Abdullah , Jasem Hamoud

We discuss models of computing that are beyond classical. The primary motivation is to unearth the cause of nonclassical advantages in computation. Completeness results from computational complexity theory lead to the identification of very…

Quantum Physics · Physics 2011-12-22 Animesh Datta , Anil Shaji

A longstanding goal in quantum information science is to demonstrate quantum computations that cannot be feasibly reproduced on a classical computer. Such demonstrations mark major milestones: they showcase fine control over quantum systems…

We describe a quantum model of simple choice game (constructed upon entangled state of two qubits), which involves the fundamental problem of transitive - intransitive preferences. We compare attainability of optimal intransitive strategies…

Quantum Physics · Physics 2015-05-27 Marcin Makowski , Edward W. Piotrowski

Theory of computer calculations strongly depends on the nature of elements the computer is made of. Quantum interference allows to formulate the Shor factorization algorithm turned out to be more effective than any one written for classical…

Quantum Physics · Physics 2009-11-23 B. F. Kostenko , J. Pribish , M. Z. Yuriev

Interesting connection has been established between two apparently unrelated concepts, namely, quantum nonlocality and Bayesian game theory. It has been shown that nonlocal correlations in the form of advice can outperform classical…

Quantum Physics · Physics 2016-09-23 Arup Roy , Amit Mukherjee , Tamal Guha , Sibasish Ghosh , Some Sankar Bhattacharya , Manik Banik

Quantum resources may provide advantage over their classical counterparts. Theoretically, in certain tasks, this advantage can be very high. In this work, we construct such a task based on a game, mediated by Referee and played between…

Quantum Physics · Physics 2024-05-16 Saronath Halder , Alexander Streltsov , Manik Banik

Without wasting time and effort on philosophical justifications and implications, we write down the conditions for the Hamiltonian of a quantum system for rendering it mathematically equivalent to a deterministic system. These are the…

Quantum Physics · Physics 2020-06-09 Gerard t Hooft

If there exists a classical, i.e. deterministic theory underlying quantum mechanics, an explanation must be found of the fact that the Hamiltonian, which is defined to be the operator that generates evolution in time, is bounded from below.…

Quantum Physics · Physics 2009-11-13 Gerard 't Hooft

A theoretical model of truly autonomic computing systems (ACS), with infinitely many constraints, is proposed. An argument similar to Turing's for the unsolvability of the halting problem, which is permitted in classical logic, shows that…

Logic in Computer Science · Computer Science 2007-05-23 Radhakrishnan Srinivasan , H. P. Raghunandan

A long-standing aim of quantum information research is to understand what gives quantum computers their advantage. This requires separating problems that need genuinely quantum resources from those for which classical resources are enough.…

Quantum Physics · Physics 2018-03-07 Niklas Johansson , Jan-Åke Larsson

A new type of algorithms is presented that combine the advantages of quantum and classical ones. Those combined advantages along with aspects of Geometric Algebra that open possibilities unavailable to both of these computations are…

Quantum Physics · Physics 2007-05-23 Marcin Pawłowski

In consistent history quantum theory, a description of the time development of a quantum system requires choosing a framework or consistent family, and then calculating probabilities for the different histories which it contains. It is…

Quantum Physics · Physics 2009-10-30 Robert B. Griffiths

We study the reachability problem of a quantum system modelled by a quantum automaton. The reachable sets are chosen to be boolean combinations of (closed) subspaces of the state space of the quantum system. Four different reachability…

Logic in Computer Science · Computer Science 2014-01-27 Yangjia Li , Mingsheng Ying

Insofar as quantum computation is faster than classical, it appears to be irreversible. In all quantum algorithms found so far the speed-up depends on the extra-dynamical irreversible projection representing quantum measurement. Quantum…

Quantum Physics · Physics 2009-11-06 Giuseppe Castagnoli , David Ritz Finkelstein

The classical simulation of physical processes using standard models of computation is fraught with problems. On the other hand, attempts at modelling real-world computation with the aim of isolating its hypercomputational content have…

Logic · Mathematics 2009-04-21 S. Barry Cooper

We investigate quantum games in which the information is asymmetrically distributed among the players, and find the possibility of the quantum game outperforming its classical counterpart depends strongly on not only the entanglement, but…

Quantum Physics · Physics 2007-05-23 Jiangfeng Du , Hui Li , Chenyong Ju

Recent breakthroughs in generative machine learning, powered by massive computational resources, have demonstrated unprecedented human-like capabilities. While beyond-classical quantum experiments can generate samples from classically…

Resource theories play an important role in quantum information theory, as they identify resourceful states and channels that are potentially useful for the accomplishment of tasks that would be otherwise unreachable. The elementary…

Quantum Physics · Physics 2020-09-02 A. C. S. Costa , R. M. Angelo
‹ Prev 1 8 9 10 Next ›