Related papers: How badly are the Burholder-Davis-Gundy inequaliti…
We propose a new abstract formalism for probabilistic timed systems, Parametric Interval Probabilistic Timed Automata, based on an extension of Parametric Timed Automata and Interval Markov Chains. In this context, we consider the…
We present a short and self-contained proof of the following result: a random time is an honest time that avoids all stopping times if and only if it coincides with the (last) time of maximum of a nonnegative local martingale with zero…
Infinite sets of inequalities which generalize all the known inequalities that can be used in the majorization step of the Approximating Hamiltonian method are derived. They provide upper bounds on the difference between the quadratic…
A definition is proposed to give precise meaning to the counterfactual statements that often appear in discussions of the implications of quantum mechanics. Of particular interest are counterfactual statements which involve events occurring…
We give a short review of known exact inequalities that can be interpreted as "energy-time" and "frequency-time" uncertainty relations. In particular we discuss a precise form of signals minimizing the physical frequency-time uncertainty…
Adapting a counterexample recently proposed by J.L. Mancilla-Aguilar and H. Haimovich, we show here that, for time-delay systems, global asymptotic stability does not ensure that solutions converge uniformly to zero over bounded sets of…
Large unweighted directed graphs are commonly used to capture relations between entities. A fundamental problem in the analysis of such networks is to properly define the similarity or dissimilarity between any two vertices. Despite the…
We provide explicit time-varying feedback laws that locally stabilize the two dimensional internal controlled incompressible Navier-Stokes equations in arbitrarily small time. We also obtain quantitative rapid stabilization via stationary…
A closer look (with hindsight) at Newtonian and relativistic kinematics reveals two things. Not surprisingly, Newtonian time remains the empty and artificial - albeit useful - figment it is known to be. Quite unexpectedly however it turns…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
We prove several Littlewood-Offord type inequalities for arbitrary groups. In groups having elements of finite order the worst case scenario is provided by the simple random walk on a certain cyclic subgroup. The inequalities we obtain are…
We study Hopf-Andronov bifurcations in a class of random differential equations (RDEs) with bounded noise. We observe that when an ordinary differential equation that undergoes a Hopf bifurcation is subjected to bounded noise then the…
Isoperimetric inequalities form a very intuitive yet powerful characterization of the connectedness of a state space, that has proven successful in obtaining convergence bounds. Since the seventies they form an essential tool in…
We demonstrate that the EPR-Bohm probabilities can be easily obtained in the classical (but contextual) probabilistic framework by using the formula of interference of probabilities. From this point of view the EPR-Bell experiment is just…
Aldous [1] asked whether every graph in which the distribution of the return time of random is independent of the starting vertex must be transitive. We remark that this question can be reduced into a purely graph-theoretic one that had…
We establish discrete Ingham type and Haraux type inequalities for exponential sums satisfying a weakened gap condition. They enable us to obtain discrete simultaneous observability theorems for systems of vibrating strings or beams.
In this paper we first study the fixed-time stabilizability of discrete-time switched linear control systems. Using a geometric approach, we derive conditions under which such systems can be stabilized within a prescribed number of steps,…
The field of algorithmic randomness studies what it means for infinite binary sequences to be random for some given uncertainty model. Classically, martingale-theoretic notions of such randomness involve precise uncertainty models, and it…
In this paper, I prove necessary and sufficient conditions for the existence of Turing instabilities in a general system with three interacting species. Turing instabilities describe situations when a stable steady state of a reaction…
The Classical Twin Paradox is widely dealt in literature and neatly resolved. In addition, it is also well known that, when looking at two systems which are boosted relative to each other, the concept of the simultaneous effect of a quantum…