Related papers: Pseudo-jump inversion and SJT-hard sets
We develop a general theory of jump operators, which is intended to provide an abstraction of the notion of "limit-computability" on represented spaces. Jump operators also provide a framework with a strong categorical flavor for…
Given a small polygon S, a big simple polygon B and a positive integer k, it is shown to be NP-hard to determine whether k copies of the small polygon (allowing translation and rotation) can be placed in the big polygon without overlap.…
A set is called recurrent if its minimal automaton is strongly connected and birecurrent if it is recurrent as well as its reversal. We prove a series of results concerning birecurrent sets. It is already known that any birecurrent set is…
Conformal Regge theory predicts the existence of analytically continued CFT data for complex spin. How could this work when there are so many more operators with large spin compared to small spin? Using planar N=4 SYM as a testground we…
The dynamics of symbolic systems, such as multidimensional subshifts of finite type or cellular automata, are known to be closely related to computability theory. In particular, the appropriate tools to describe and classify topological…
A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse…
p-jets of finite flat maps of schemes are generally neither finite nor flat. This phenomenon can be seen already in the case of p-isogenies of group schemes. However, for p-divisible groups, this pathology tends to disappear mod p "in the…
The symmetry of Nature under a Space Inversion is described by a Parity operator. Contrary to popular belief, the Parity operator is not unique. The choice of the Parity operator requires several arbitrary decisions to be made. It is shown…
We investigate a quantum non-relativistic system describing the interaction of two particles with spin 1/2 and spin 0, respectively. Assuming that the Hamiltonian is rotationally invariant and parity conserving we identify all such systems…
We describe the structure of 0-simple countably compact topological inverse semigroups and the structure of congruence-free countably compact topological inverse semigroups.
For a weakly pseudo-Hermitian linear operator, we give a spectral condition that ensures its pseudo-Hermiticity. This condition is always satisfied whenever the operator acts in a finite-dimensional Hilbert space. Hence weak…
The study of open quantum systems relies on the notion of unital completely positive semigroups on $C^*$-algebras representing physical systems. The natural generalisation would be to consider the unital completely positive semigroups on…
We consider a class of jump processes in euclidean space which are associated to a certain non-local symmetric Dirichlet form. We prove a lower bound on the occupation times of sets, and that a support theorem holds for these processes.
Given an increasing process $(A_t)_{t\geq 0}$, we characterize the right-continuous non-decreasing functions $f: \R_+\to \R_+$ that map $A$ to a pure-jump process. As an example of application, we show for instance that functions with…
The Solovay-Kitaev theorem states that universal quantum gate sets can be exchanged with low overhead. More specifically, any gate on a fixed number of qudits can be simulated with error $\epsilon$ using merely…
A possibility to perform single-electron computing without dissipation in the array of tunnel-coupled quantum dots is studied theoretically, taking the spin gate NOT (inverter) as an example. It is shown that the logical operation can be…
In this paper we provide sufficient conditions for stochastic invariance of closed convex cones for stochastic partial differential equations (SPDEs) of jump-diffusion type, and clarify when these conditions are necessary. Our results apply…
We consider the class of non-Hermitian operators represented by infinite tridiagonal matrices, selfadjoint in an indefinite inner product space with one negative square. We approximate them with their finite truncations. Both infinite and…
The kinematics of a robot manipulator are described in terms of the mapping connecting its joint space and the 6-dimensional Euclidean group of motions $SE(3)$. The associated Jacobian matrices map into its Lie algebra $\mathfrak{se}(3)$,…
We show that every pseudo hoop satisfies the Riesz Decomposition Property. We visualize basic pseudo hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo hoops giving a countable base of equations for…