Related papers: Some halting problems for abelian sandpiles are un…
An abelian processor is an automaton whose output is independent of the order of its inputs. Bond and Levine have proved that a network of abelian processors performs the same computation regardless of processing order (subject only to a…
We add a defect line of dissipation, or crack, to the Abelian sandpile model. We find that the defect line renormalizes to separate the two-dimensional plane into two half planes with open boundary conditions. We also show that varying the…
The transitivity of preferences is one of the basic assumptions used in the theory of games and decisions. It is often equated with rationality of choice and is considered useful in building rankings. Intransitive preferences are considered…
We completely characterize the condition when a tile structure provides an unextendible product basis (UPB), and construct UPBs of different large sizes in $\mathbb{C}^m\otimes\mathbb{C}^n$ for any $n\geq m\geq 3$. This solves an open…
Session types are behavioural types for guaranteeing that concurrent programs are free from basic communication errors. Recent work has shown that asynchronous session subtyping is undecidable. However, since session types have become…
The non-ergodic behavior of the deterministic Fixed Energy Sandpile (DFES), with Bak-Tang-Wiesenfeld (BTW) rule, is explained by the complete characterization of a class of dynamical invariants (or toppling invariants). The link between…
We show the undecidability of the distributed control problem when the plant is an asynchronous automaton, the controllers use causal memory and the goal of the controllers is to put each process in a local accepting state.
We consider an infinite system of non overlapping globules undergoing Brownian motions in R^3. The term globules means that the objects we are dealing with are spherical, but with a radius which is random and time-dependent. The dynamics is…
In this paper, we prove that it is undecidable whether a set of two polycubes can tile $\mathbb{Z}^3$ by translation. The proof involves a new technique that allows us to simulate two disconnected polycubes with two connected polycubes. By…
Using the transfer matrix method, we give the exact solution of a deterministic sandpile model for arbitrary $N$, where $N$ is the size of a single toppling. The one- and two-point functions are given in term of the eigenvalues of an $N…
We study the abelian sandpile growth model, where n particles are added at the origin on a stable background configuration in Z^d. Any site with at least 2d particles then topples by sending one particle to each neighbor. We find that with…
Using nonstandard analysis, we will extend the classical Turing machines into the internal Turing machines. The internal Turing machines have the capability to work with infinite ($*$-finite) number of bits while keeping the finite…
Altenbernd, Thomas and W\"ohrle have considered acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with usual acceptance conditions, such as the B\"uchi and Muller ones [1]. It was proved…
We prove that the following problem is co-RE-complete and thus undecidable: given three simple polygons, is there a tiling of the plane where every tile is an isometry of one of the three polygons (either allowing or forbidding…
We study a simple example of a sequential game illustrating problems connected with making rational decisions that are universal for social sciences. The set of chooser's optimal decisions that manifest his preferences in case of a constant…
A single sandpile model with quenched random toppling matrices captures the crucial features of different models of self-organized criticality. With symmetric matrices avalanche statistics falls in the multiscaling BTW universality class.…
We consider a particle with a position-dependent mass, moving in a three-dimensional semi-infinite parallelepipedal or cylindrical channel under the influence of some hyperbolic potential. We show that the lack of uniformity in the…
The adiabatic theorem states that an initial eigenstate of a slowly varying Hamiltonian remains close to an instantaneous eigenstate of the Hamiltonian at a later time. We show that a perfunctory application of this statement is problematic…
We consider the construction of the fundamental function and Abelian differentials of the third kind on a plane algebraic curve over the field of complex numbers that has no singular points. The algorithm for constructing differentials of…
We reduce the problem of the projective normality of polarized abelian varieties to check the rank of very explicit matrices. This allow us to prove some results on normal generation of primitive line bundles on abelian threefolds and…