Related papers: An equivalence between time-symmetry and cyclic ca…
Inspired by some recent works of Tippett-Tsang and Mallary-Khanna-Price, we present a new spacetime model containing closed timelike curves (CTCs). This model is obtained postulating an ad hoc Lorentzian metric on $\mathbb{R}^4$, which…
We develop a resource theory of symmetric distinguishability, the fundamental objects of which are elementary quantum information sources, i.e., sources that emit one of two possible quantum states with given prior probabilities. Such a…
Parity-time-reversal symmetry ($\mathcal{PT}$ symmetry), a symmetry for the combined operations of space inversion ($\mathcal{P}$) and time reversal ($\mathcal{T}$), is a fundamental concept of physics and characterizes the functionality of…
In this paper, we theoretically investigate the time dilation and Doppler effect in curved space-time from the perspective of quantum field theory (QFT). A Coordinate Transformation which Maintains the Period of Clocks is introduced, and…
Given its importance to many other areas of physics, from condensed matter physics to thermodynamics, time-reversal symmetry has had relatively little influence on quantum information science. Here we develop a network-based picture of…
It is well known that nonrelativistic quantum mechanics presents a clear asymmetry between space and time. Much of this asymmetry is attributed to the lack of Lorentz invariance of the theory. Nonetheless, a recent work [Phys. Rev. A…
The landscape of causal relations that can hold among a set of systems in quantum theory is richer than in classical physics. In particular, a pair of time-ordered systems can be related as cause and effect or as the effects of a common…
We introduce $\textit{PCFTL (Probabilistic CounterFactual Temporal Logic)}$, a new probabilistic temporal logic for the verification of Markov Decision Processes (MDP). PCFTL is the first to include operators for causal reasoning, allowing…
In spite of the fact that the Newtonian dynsmics of the underlying molecules do not seem to favor one direction of time over its opposite, the non-decreasing entropy of macroscopic physical systems provides a unique direction to 'the arrow…
The usual representation of quantum algorithms is limited to the process of solving the problem. We extend it to the process of setting the problem. Bob, the problem setter, selects a problem-setting by the initial measurement. Alice, the…
We construct a class of systems for which quantum dynamics can be expanded around a mean field approximation with essentially classical content. The modulus of the quantum overlap of mean field states naturally introduces a classical…
A polynomial Turing compression (PTC) for a parameterized problem $L$ is a polynomial time Turing machine that has access to an oracle for a problem $L'$ such that a polynomial in the input parameter bounds each query. Meanwhile, a…
Driven-dissipative quantum systems generically do not satisfy simple notions of detailed balance based on the time symmetry of correlation functions. We show that such systems can nonetheless exhibit a hidden time-reversal symmetry which…
Closed Timelike Curves are relativistically valid objects allowing time travel to the past. Treating them as computational objects opens the door to a wide range of results which cannot be achieved using non relativistic quantum mechanics.…
Causality is pivotal to our understanding of the world, presenting itself in different forms: information-theoretic and relativistic, the former linked to the flow of information, the latter to the structure of space-time. Leveraging a…
It can be argued that the ordinary description of the reversible quantum process between two one-to-one correlated measurement outcomes is incomplete because, by not specifying the direction of causality, it allows causal structures that…
This thesis reports progress in the analysis of causality and multi-agent logical paradoxes in quantum and post-quantum theories. These research areas are highly relevant for the foundations of physics as well as the development of quantum…
We study a class of generalized Abelian gauge field theories where CPT symmetry is violated by a Chern-Simons-like term which selects a preferred direction in spacetime. Such Chern-Simons-like terms may either emerge as part of the…
Discovering causal relations from observational time series without making the stationary assumption is a significant challenge. In practice, this challenge is common in many areas, such as retail sales, transportation systems, and medical…
Dynamic techniques are a scalable and effective way to analyze concurrent programs. Instead of analyzing all behaviors of a program, these techniques detect errors by focusing on a single program execution. Often a crucial step in these…