Related papers: Problems with modelling closed timelike curves as …
Many features of single-partite quantum walks can be simulated by classical waves. However, it was recently experimentally shown that some temporal sequences of measurements on a quantum walker do not admit a classical description in terms…
Location recommendation plays a vital role in improving users' travel experience. The timestamp of the POI to be predicted is of great significance, since a user will go to different places at different times. However, most existing methods…
Shared entanglement is a resource available to parties communicating over a quantum channel, much akin to public coins in classical communication protocols. Whereas shared randomness does not help in the transmission of information, or…
We propose a straightforward extension of symbolic transfer entropy to enable the investigation of delayed directional relationships between coupled dynamical systems from time series. Analyzing time series from chaotic model systems, we…
The argument of Rudolph and Sanders, while technically correct, raises conceptual problems. In particular, if carried to its logical conclusion, it would disallow the use in our theories of any time $t$ with implied resolution beyond that…
The framework of postselection is becoming more and more important in various recent directions in Quantum Computation research. Postselection renders simple computational models able to perform general quantum computation. This was first…
This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over…
One way to model telecommunication networks are static Boolean models. However, dynamics such as node mobility have a significant impact on the performance evaluation of such networks. Consider a Boolean model in $\mathbb{R}^d$ and a random…
Schemes for generation and protocols for network teleportation of multimode entangled cat-states are proposed. Explicit expressions for probability of successful teleportation are derived for both symmetric and asymmetric networks.
The continuum limit of a recently-proposed model for charge transport in resonant-tunneling semiconductor superlattices is analyzed. It is described by a nonlinear hyperbolic integrodifferential equation on a one-dimensional spatial…
This paper investigates biological models that represent the transition equation from a system in the past to a system in the future. It is shown that finite-time Lyapunov exponents calculated along a locally pullback attractive solution…
The subject of limit curve theorems in Lorentzian geometry is reviewed. A general limit curve theorem is formulated which includes the case of converging curves with endpoints and the case in which the limit points assigned since the…
This work bridges the gap between distributed and centralised models of computing in the context of sublinear-time graph algorithms. A priori, typical centralised models of computing (e.g., parallel decision trees or centralised local…
Temporal graphs represent interactions between entities over time. These interactions may be direct, a contact between two vertices at some time instant, or indirect, through sequences of contacts called journeys. Deciding whether an entity…
A relatively new set of transport-based transforms (CDT, R-CDT, LOT) have shown their strength and great potential in various image and data processing tasks such as parametric signal estimation, classification, cancer detection among many…
Delayed feedback poses a core challenge for online CVR prediction, forcing a trade-off between label accuracy and data freshness. Existing methods address this through delay modeling or sample reweighting, yet neglect how post-click…
An emerging way of tackling the dimensionality issues arising in the modeling of a multivariate process is to assume that the inherent data structure can be captured by a graph. Nevertheless, though state-of-the-art graph-based methods have…
We revisit the parameterized model checking problem for token-passing systems and specifications in indexed $\textsf{CTL}^\ast \backslash \textsf{X}$. Emerson and Namjoshi (1995, 2003) have shown that parameterized model checking of indexed…
An overview is given of recent developments in the field of Dirac equations generalized to curved space-times. An illustrative discussion is provided. We conclude with a variation of Dirac's large-number hypothesis which relates a number of…
This work is essentially a review of a new spacetime model with closed causal curves, recently presented in another paper (Class. Quantum Grav. \textbf{35}(16) (2018), 165003). The spacetime at issue is topologically trivial, free of…