A Simple Proof of the Kinematic Formula.
Negative association for a family of random variables means that for any coordinatewise increasing functions f,g we have for any disjoint sets of indices (iₘ), (jₙ). It is a way to indicate the negative correlation in a family of random variables. It was first introduced in 1980s in statistics by Alem Saxena and Joag-Dev Proschan, and brought to convex geometry in 2005 by Wojtaszczyk Pilipczuk to prove the Central Limit Theorem for Orlicz balls. The paper gives a relatively simple proof of...
Consider games where players wish to minimize the cost to reach some state. A subgame-perfect Nash equilibrium can be regarded as a collection of optimal paths on such games. Similarly, the well-known state-labeling algorithm used in model checking can be viewed as computing optimal paths on a Kripke structure, where each path has a minimum number of transitions. We exploit these similarities in a common generalization of extensive games and Kripke structures that we name “graph games”. By extending...