Related papers: On the Existence of Consistent Price Systems
In this paper, by using a characterization of functions having fractional derivative, we propose a rigorous fractional Lyapunov function candidate method to analyze stability of fractional-order nonlinear systems. First, we prove an…
In this paper, we study the existence of higher order Poisson type systems. In detail, we prove a Residue type phenomenon for the fundamental solution of Laplacian in $\RR^n, n\ge 3$. This is analogous to the Residue theorem for the Cauchy…
Under what condition is a random constraint satisfaction problem hard to refute by the sum-of-squares (SoS) algorithm? A sufficient condition is t-wise uniformity, that is, each constraint has a t-wise uniform distribution of satisfying…
In system analysis, conformance indicates that two systems simultaneously satisfy the same set of specifications of interest; thus, the results from analyzing one system automatically transfer to the other, or one system can safely replace…
Transition rates in continuously driven steady states were derived in [Evans R M L, 2005 J. Phys. A: Math. Gen. 38, 293] by demanding that no information other than the microscopic laws of motion and the macroscopic observables of the…
Attention has been recently drawn towards models in which inflation and quintessence schemes are unified. In such `quintessential inflation' models, a unique scalar field is required to play both the role of the inflaton and of the…
The problem of existence and uniqueness of a state of a joint system with given restrictions to subsystems is studied for a Fermion system, where a novel feature is non-commutativity between algebras of subsystems. For an arbitrary (finite…
While periodic responses of periodically forced dissipative nonlinear mechanical systems are commonly observed in experiments and numerics, their existence can rarely be concluded in rigorous mathematical terms. This lack of a priori…
Previously, in underdeveloped countries, people tried to keep the prices of food products artificially low, in order to help the poor to buy their food. But it became soon clear that such system, although helpful for the city poor, was…
We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). The dynamics of the calculus is expressed in terms of a labelled transition system in the SOS style of Plotkin. This is used to define a…
In this paper, paired comparison models with stochastic background are investigated. We focus on the models that allow three options for choice. We estimate all parameters, the strength of the objects and the boundaries of equal decision,…
Developing suitable approximate models for analyzing and simulating complex nonlinear systems is practically important. This paper aims at exploring the skill of a rich class of nonlinear stochastic models, known as the conditional Gaussian…
We study a matching problem between agents and public goods, in settings without monetary transfers. Since goods are public, they have no capacity constraints. There is no exogenously defined budget of goods to be provided. Rather, each…
While procedures prevail on the European market for the greater good of its citizens, it might be daunting when trying to introduce a product, whether innovative or not. In the current world, Cyber-Physical Systems (CPSs) are ubiquitous in…
Cyber physical systems CPSs embodies the conception as well as the implementation of the integration of the state-of-art technologies in sensing, communication, computing, and control. Such systems incorporate new trends such as cloud…
Switching systems are an important mathematical formalism when dealing with Cyber-Physical Systems (CPSs). In this paper we provide conditions for the exact reconstruction of the initial discrete state of a switching system, when only the…
We consider a stochastic matching model with a general compatibility graph, as introduced in \cite{MaiMoy16}. We show that the natural necessary condition of stability of the system is also sufficient for the natural matching policy 'First…
We present an elementary and explicit proof of the separability criterion for continuous variable two-party Gaussian systems. Our proof is based on an elementary formulation of uncertainty relations and an explicit determination of…
The 2008 financial crisis has been attributed to "excessive complexity" of the financial system due to financial innovation. We employ computational complexity theory to make this notion precise. Specifically, we consider the problem of…
We consider the two-dimensional Vlasov-Poisson system to model a two-component plasma whose distribution function is constant with respect to the third space dimension. First, we show how this two-dimensional Vlasov-Poisson system can be…