Related papers: On the Existence of Consistent Price Systems
A fast consistency prover is a consistent poly-time axiomatized theory that has short proofs of the finite consistency statements of any other poly-time axiomatized theory. Kraj\'\i\v{c}ek and Pudl\'ak proved that the existence of an…
We provide a Fundamental Theorem of Asset Pricing and a Superhedging Theorem for a model independent discrete time financial market with proportional transaction costs. We consider a probability-free version of the Robust No Arbitrage…
Recently, sufficient conditions of stability or instability for time-delay systems have been proven to be necessary. In this way, a remarkable necessary and sufficient condition has then been developed by Gomez et al. It is presented as a…
The increasing complexity of Cyber-Physical Systems (CPS) makes industrial automation challenging. Large amounts of data recorded by sensors need to be processed to adequately perform tasks such as diagnosis in case of fault. A promising…
In this work, we give sufficient conditions for the almost global asymptotic stability of a cascade in which the subsystems are only almost globally asymptotically stable. The result is extended to upper triangular systems of arbitrary…
Understanding the structural evolution of granular systems is a long-standing problem. A recently proposed theory for such dynamics in two dimensions predicts that steady states of very dense systems satisfy detailed-balance. We analyse…
In this paper, we extend and improve the production chain model introduced by Kikuchi et al. (2018). Utilizing the theory of monotone concave operators, we prove the existence, uniqueness, and global stability of equilibrium price, hence…
In this work we study constant-coefficient first order systems of partial differential equations and give necessary and sufficient conditions for those systems to have a well posed Cauchy Problem. In many physical applications, due to the…
This paper introduces an alternative approach to proving the existence of choice functions for specific families of sets within Zermelo-Fraenkel set theory (ZF) without assuming any form on the Axiom of Choice (AC). Traditional methods of…
Stability selection (Meinshausen and Buhlmann, 2010) makes any feature selection method more stable by returning only those features that are consistently selected across many subsamples. We prove (in what is, to our knowledge, the first…
For an underactuated (simple) Hamiltonian system with two degrees of freedom and one degree of underactuation, a rather general condition that ensures its stabilizability, by means of the existence of a (simple) Lyapunov function, was found…
This paper is devoted to a study of robust fundamental theorems of asset pricing in discrete time and finite horizon settings. Uncertainty is modelled by a (possibly uncountable) family of price processes on the same probability space. Our…
Storage-concerned Optimal Power Flow (OPF) with complementarity constraints is highly non-convex and intractable. In this paper, we propose two generalized sufficient conditions which guarantee no simultaneous charging and discharging (SCD)…
Consensus of autonomous agents is a benchmark problem in multi-agent control. In this paper, we consider continuous-time averaging consensus policies (or Laplacian flows) and their discrete-time counterparts over time-varying graphs in…
We study the trade-off between the Price of Anarchy (PoA) and the Price of Stability (PoS) in mechanism design, in the prototypical problem of unrelated machine scheduling. We give bounds on the space of feasible mechanisms with respect to…
A new sufficient condition for the existence of a stationary causal solution of an ARCH($\infty$) equation is provided. This condition allows to consider polynomially decaying coefficients, so that it can be applied to the so-called FIGARCH…
Lower semi-continuity (\texttt{LSC}) is a critical assumption in many foundational optimisation theory results; however, in many cases, \texttt{LSC} is stronger than necessary. This has led to the introduction of numerous weaker continuity…
We study stability criteria for discrete-time switched systems and provide a meta-theorem that characterizes all Lyapunov theorems of a certain canonical type. For this purpose, we investigate the structure of sets of LMIs that provide a…
Let $(X,d)$ be a compact metric space, $f:X \mapsto X$ be a continuous map with the specification property, and $\varphi: X \mapsto \IR$ a continuous function. We consider the set of points for which the Birkhoff average of $\varphi$ does…
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show that constraint consistency, a notion that has been developed to…