Related papers: Decision problem on interactions
We prove that the following problem is decidable: given a finite set of relations, decide whether this set admits a near-unanimity function.
We study the reachability problem of a quantum system modelled by a quantum automaton. The reachable sets are chosen to be boolean combinations of (closed) subspaces of the state space of the quantum system. Four different reachability…
For a differential equation with interaction, we investigate its ergodic properties. We apply the obtained results to study the limiting behavior of braid invariants associated with the flow of solutions.
P-time event graphs are discrete event systems able to model cyclic production systems where tasks need to be performed within given time windows. Consistency is the property of admitting an infinite execution of such tasks that does not…
In quantum mechanics, outcomes of measurements on a state have a probabilistic interpretation while the evolution of the state is treated deterministically. Here we show that one can also treat the evolution as being probabilistic in nature…
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
There is a long-standing debate about whether gravity should be quantised. A powerful line of argument in favour of quantum gravity considers models of hybrid systems consisting of coupled quantum-classical sectors. The conclusion is that…
Given a countable set of sites and a collection of flip rates at each site, we give a sufficient condition on the long-range dependancies of the flip rates ensuring the well-definedness of the corresponding spin system. This hypothesis has…
The interpretation of quantum theory is one of the longest-standing debates in physics. Type I interpretations see quantum probabilities as determined by intrinsic properties of the observed system. Type II see them as relational…
Representation of classical dynamics by unitary transformations has been used to develop unified description of hybrid classical-quantum systems with particular type of interaction, and to formulate abstract systems interpolating between…
For a set of quantum states generated by the action of a group, we consider the graph obtained by considering two group elements adjacent whenever the corresponding states are non-orthogonal. We analyze the structure of the connected…
Quantum theory's irreducible empirical core is a probability calculus. While it presupposes the events to which (and on the basis of which) it serves to assign probabilities, and therefore cannot account for their occurrence, it has to be…
The distinction between interacting and noninteracting integrable systems is proposed to be characterized by the Onsager matrix. It being zero is the defining property of a noninteracting integrable system. To support our view we discuss…
The origin of non-classical correlations is difficult to identify since the uncertainty principle requires that information obtained about one observable invariably results in the disturbance of any other non-commuting observable. Here,…
Irreversible random sequential deposition of interacting particles is widely used to model aggregation phenomena in physical, chemical, and biophysical systems. We show that in one dimension the exact time dependent solution of such…
The dynamical behavior of interacting systems plays a fundamental role for determining quantum correlations, such as entanglement. In this Letter, we describe temporal quantum effects of the inseparable evolution of composite quantum states…
We propose a unified theoretical framework for quantifying spatio-temporal interactions in a stochastic dynamical system based on information geometry. In the proposed framework, the degree of interactions is quantified by the divergence…
Recently a number of approaches has been developed to connect the microscopic dynamics of particle systems to the macroscopic properties of systems in nonequilibrium stationary states, via the theory of dynamical systems. This way a direct…
Entropy is the distinguishing and most important concept of our efforts to understand and regularize our observations of a very large class of natural phenomena, and yet, it is one of the most contentious concepts of physics. In this…