Related papers: Continuous Limit of Discrete Sawtooth Maps and its…
In this paper we study spectral properties of self-adjoint operators on a large class of geometries given via sofic groups. We prove that the associated integrated densities of states can be approximated via finite volume analogues. This is…
This paper presents a methodology for temporal logic verification of discrete-time stochastic systems. Our goal is to find a lower bound on the probability that a complex temporal property is satisfied by finite traces of the system.…
The topology of periodic spaces has attracted a lot of interest in recent years in order to study and classify crystalline structures and other large homogeneous data sets, such as the distribution of galaxies in cosmology. In practice,…
This paper studies the time-symmetry problem in quantum gravity. The issue depends critically on the choice of the quantum state and has been considered in this paper by restricting to the case of quantum wormholes. It is seen that pure…
We present a toolbox for the continuation of two-dimensional tori in autonomous dynamical systems and non-autonomous systems with periodic forcing. A torus is solved as the solution to a boundary-value problem. Truncated Fourier series and…
We describe an algorithm for quantum state tomography that converges in polynomial time to an estimate, together with a rigorous error bound on the fidelity between the estimate and the true state. The result suggests that state tomography…
Consider a Hamiltonian torus action on a connected symplectic manifold M for which the associated moment map Phi is proper in some sense. Let Q be a closed submanifold of M. We show that under certain local conditions on Q one has…
We modify the global Skorokhod topology, on the space of cadlag paths, by localising with respect to space variable, in order to include the eventual explosions. The tightness of families of probability measures on the paths space endowed…
We consider the problem of approximating a two-dimensional shape contour (or curve segment) using discrete assembly systems, which allow to build geometric structures based on limited sets of node and edge types subject to edge length and…
The recently introduced tile codes are a promising alternative to surface codes, combining two-dimensional locality with higher encoding efficiency. While surface codes are well understood in terms of their logical operators and boundary…
We study a one-parameter family of discrete-time quantum walk models on the line and in the xy-plane associated with the Hadamard walk. Weak convergence in the long-time limit of all moments of the walker's pseudo-velocity on the line and…
Adopting the geometric description of steering assemblages and local hidden states (LHS) model, we construct the optimal LHS model for some two-qubit states under continuous projective measurements, and obtain a sufficient steering…
Synthetic spaces allow physicists to bypass constraints imposed by certain physical laws in experiments. Here, we show that a synthetic torus, which consists of a ring trap in the real space and internal states of ultracold atoms cyclically…
A recently introduced numerical approach to quantum systems is analyzed. The basis of a Fock space is restricted and represented in an algebraic program. Convergence with increasing size of basis is proved and the difference between…
We derive the continuous-time limit of discrete quantum walks with topological phases. We show the existence of a continuous-time limit that preserves their topological phases. We consider both simple-step and split-step walks, and derive…
We propose an experimental scheme to construct an optical lattice where the atoms are confined to the surface of a torus. This construction can be realized with spatially shaped laser beams which could be realized with recently developed…
We describe methods to construct digital quantum simulation algorithms for quantum spin systems on a regular lattice with local interactions. In addition to tools such as the Trotter-Suzuki expansion and graph coloring, we also discuss the…
We present new results on the landscape of problems that can be solved by quantum Turing machines (QTM's) employing severely limited amounts of memory. In this context, we demonstrate two infinite time hierarchies of complexity classes…
We give a survey of Darboux type theorems in multisymplectic geometry. These theorems establish when a closed differential form of a certain type admits a constant-coefficient expression in some local coordinate system. Beyond the classical…
A random matrix theory approach is applied in order to analyze the localization properties of local spectral density for a generic system of coupled quantum states with strong static imperfection in the unperturbed energy levels. The system…