Related papers: A reply to "Problems with modelling closed timelik…
Recent proposal for counterfactual computation [Hosten et al., Nature, 439, 949 (2006)] is analyzed. It is argued that the method does not provide counterfactual computation for all possible outcomes. The explanation involves a novel…
Quantum walks are counterparts of classical random walks. They spread faster, which can be exploited in information processing tasks, and constitute a versatile simulation platform for many quantum systems. Yet, some of their properties can…
A relativistic version of the (consistent or decoherent) histories approach to quantum theory is developed on the basis of earlier work by Hartle, and used to discuss relativistic forms of the paradoxes of spherical wave packet collapse,…
To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn…
Some known relativistic paradoxes are reconsidered for closed spaces, using a simple geometric model. For two twins in a closed space, a real paradox seems to emerge when the traveling twin is moving uniformly along a geodesic and returns…
Turing machines define polynomial time (PTime) on strings but cannot deal with structures like graphs directly, and there is no known, easily computable string encoding of isomorphism classes of structures. Is there a computation model…
A recent quantum protocol for counterfactual communication [Y. Aharonov and L. Vaidman, Phys. Rev. A 99, 010103(R), 2019] relies on post-selection to eliminate the weak trace in the transmission channel. We show that the post-selection in…
We construct a classical oracle relative to which $\mathsf{P} = \mathsf{NP}$ but quantum-computable quantum-secure trapdoor one-way functions exist. This is a substantial strengthening of the result of Kretschmer, Qian, Sinha, and Tal (STOC…
Deninger and Werner developed an analogue for p-adic curves of the classical correspondence of Narasimhan and Seshadri between stable bundles of degree zero and unitary representations of the topological fundamental group for a complex…
Analytic solutions to the time-dependent Schr\"odinger equation for cutoff wave initial conditions are used to investigate the time evolution of the transmitted probability density for tunneling. For a broad range of values of the potential…
We are interested in the analysis of very large continuous-time Markov chains (CTMCs) with many distinct rates. Such models arise naturally in the context of reliability analysis, e.g., of computer network performability analysis, of power…
We discuss a class of proofs of Bell-type inequalities that are based on tables of potential outcomes. These proofs state in essence: if one can only imagine (or write down in a table) the potential outcome of a hidden parameter model for…
EPR correlations exist and can be observed independently of any a priori given frame of reference. We can even construct a frame of reference that is based on these correlations. This observation-based frame of reference is equivalent to…
We introduce a new class of graphs which we call P-transitive graphs, lying between transitive and 3-transitive graphs. First we show that the analogue of de Jongh-Sambin Theorem is false for wellfounded P-transitive graphs; then we show…
As it follows from G\"odel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in…
We deal with relatives of GCH which are provable. In particular we deal with rank version of the revised GCH. Our motivation was to find such results when only weak versions of the axiom of choice are assumed but some of the results gives…
We study the guarded negation fragment of transitive closure logic (GNTC). We show that the satisfiability problem for GNTC is 2ExpTime-complete, by establishing the following reductions: (i) a polynomial-time reduction from the…
Recent experiments have perfectly verified the fact that quantum correlations between two entangled particles are stronger than any classical, local pre-quantum worldview allows. This is famously called the EPR paradox first conceived as a…
Non-relativistic quantum theory of non-interacting particles in the spacetime containing a region with closed time-like curves (time-machine spacetime) is considered with the help of the path-integral technique. It is argued that, in…
A proposal is made for a mathematically unambiguous treatment of evolution in the presence of closed timelike curves. In constrast to other proposals for handling the naively nonunitary evolution that is often present in such situations,…