Related papers: Noninvadability implies noncoexistence for a class…
We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that…
We consider a system of charged particles moving on the real line driven by electrostatic interactions. Since we consider charges of both signs, collisions might occur in finite time. Upon collision, some of the colliding particles are…
We use convex decomposition theory to (1) reprove the existence of a universally tight contact structure on every irreducible 3-manifold with nonempty boundary, and (2) prove that every toroidal 3-manifold carries infinitely many…
No-Cloning and No-Deleting theorems are verified with the constraint on local state transformations via the existence of incomparable states. Assuming the existence of exact cloning or deleting operation defined on a minimum number of two…
We study two new models of two particle species invading a surface from opposite sides. Collisions of particles of different species lead to the formation of congestion fronts. One of the models implements a reversible process whereas in…
The inhabitation problem for intersection types in the lambda-calculus is known to be undecidable. We study the problem in the case of non-idempotent intersection, considering several type assignment systems, which characterize the solvable…
We show global well-posedness and exponential stability of equilibria for a general class of nonlinear dissipative bulk-interface systems. They correspond to thermodynamically consistent gradient structure models of bulk-interface…
We attempt to characterize irreversibility of a dynamical system from the existence of different forward and backward mathematical representations depending on the direction of the time arrow. Such different representations have been…
We consider families of chain-cochain infinite complexes $\mathcal C$ of spaces with elements depending on a number of parameters, and endowed with a converging associative multiple product. The existence of left/right local/non-local…
We present a type system that combines, in a controlled way, first-order polymorphism with intersectiontypes, union types, and subtyping, and prove its safety. We then define a type reconstruction algorithm that issound and terminating.…
Employing a two-species Cahn-Hilliard model with nonreciprocal interactions we show that the interplay of nonreciprocity and conservation laws results in the robust coexistence of uniform stationary and oscillatory phases as well as of…
An important dynamical property of biological interaction networks is persistence, which intuitively means that "no species goes extinct". It has been conjectured that dynamical system models of weakly reversible networks (i.e., networks…
We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it…
While equilibrium interfaces display universal large-scale statistics, interfaces in phase-separated active and driven systems are predicted to belong to distinct non-equilibrium universality classes. Yet, such behavior has proven difficult…
We prove for residually finite groups the following long standing conjecture: the number of twisted conjugacy classes of an automorphism of a finitely generated group is equal (if it is finite) to the number of finite dimensional…
Natural phenomena frequently involve a very large number of interacting molecules moving in confined regions of space. Cellular transport by motor proteins is an example of such collective behavior. We derive a deterministic compartmental…
For one-dimensional many-body systems interacting via the \textit{Coulomb force} and with \textit{arbitrary} external potential energy, we derive (\textit{i}) the \textit{node coalescence condition} for the wave function. This condition…
The contact invariant is an element in the monopole Floer homology groups of an oriented closed three manifold canonically associated to a given contact structure. A non-vanishing contact invariant implies that the original contact…
Bivariate generating functions for various subsets of the class of permutations containing no descending sequence of length three or more are determined. The notion of absolute indecomposability of a permutation is introduced, and used in…
Biodiversity conservation becoming increasingly urgent. It is important to find mechanisms of competitive coexistence of species with different fitness in especially difficult circumstances - on one limiting resource, in isolated stable…