Related papers: Noninvadability implies noncoexistence for a class…
Brouwer's constructivist foundations of mathematics is based on an intuitively meaningful notion of computation shared by all mathematicians. Martin-L\"of's meaning explanations for constructive type theory define the concept of a type in…
Gibbs' phase rule states that two-phase coexistence of a single-component system, characterized by an n-dimensional parameter-space, may occur in an n-1-dimensional region. For example, the two equilibrium phases of the Ising model coexist…
We prove existence and uniqueness for some nonlinear stochastic differential equation used in molecular dynamics, whose nonlinearity comes from a conditional expectation term. We also introduce an interacting particle system in order to…
In this letter a new solvable model of synchronization dynamics is introduced. It consists of a system of long range interacting tops with random precession frequencies. The model allows for an explicit study of orientational effects in…
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…
We consider the persistent exclusion process in which a set of persistent random walkers interact via hard-core exclusion on a hypercubic lattice in $d$ dimensions. We work within the ballistic regime whereby particles continue to hop in…
In this paper, we show that coherence witness for a single qubit itself yields conditions for nonlocality and entanglement inequalities for multiqubit systems. It also yields a condition for quantum discord in two--qubit systems. It is…
In this technical communique we study the maximal robust positively invariant set for state-constrained continuous-time nonlinear systems subjected to a bounded disturbance. Extending results from the theory of barriers, we show that this…
Coherent states, being the closest analog to classical states of wave systems, are well known to possess special properties that set them apart from most other quantum optical states. For example, they are robust against photon loss and do…
We consider exclusion processes with two types of particles which compete strongly with each other. In particular, we focus on the case where one species does not diffuse at all and killing rates of two species are given by monomials with…
We exhibit an infinite family of tight contact structures with the property that none of the supporting open books minimizes the genus and maximizes the Euler characteristic of the page simultaneously, answering a question of Baldwin and…
Multistable coupled map lattices typically support travelling fronts, separating two adjacent stable phases. We show how the existence of an invariant function describing the front profile, allows a reduction of the infinitely-dimensional…
We introduce cosurfaces with values in the group \(\PC_n(H)\) of \(H\)-valued reciprocal pairwise comparison matrices. The composition law is covariant on upper triangular coefficients and contravariant on lower triangular coefficients,…
We discuss a class of coupled systems of nonlocal nonlinear balance laws modeling multilane traffic, with the nonlocality present in both convective and source terms. The uniqueness and existence of the entropy solution are proven via…
We introduce a mathematical model of symbiosis between different species by taking into account the influence of each species on the carrying capacities of the others. The modeled entities can pertain to biological and ecological societies…
The problem for interface solutions in the quantum theory of heterostructures comprising narrow-gap semiconductors is reformulated in the language of commutative diagrams. By this way the theory of interface states in such heterostructures…
We study the propagation of currents along the interface of two $2$-$d$ magnetic systems, where one of them occupies the first quadrant of the plane. By considering the tight-binding approximation model and K-theory, we prove that, for an…
We introduce a family of Rock-Paper-Scissors type models with $Z_N$ symmetry ($N$ is the number of species) and we show that it has a very rich structure with many completely different phases. We study realizations which lead to the…
We study coexistence in discrete time multi-type frog models. We first show that for two types of particles on $\mathbb{Z}^d$, for $d\geq2$, for any jumping parameters $p_1, p_2 \in (0,1)$, coexistence occurs with positive probability for…
We consider uniformly strongly elliptic systems of the second order with bounded coefficients. First, sufficient conditions for the invariance of convex bodies obtained for linear systems without zero order term in bounded domains and…