Related papers: Phase transition for Minesweeper
We analyse the computational complexity of finding Nash equilibria in turn-based stochastic multiplayer games with omega-regular objectives. We show that restricting the search space to equilibria whose payoffs fall into a certain interval…
Mean-payoff games are important quantitative models for open reactive systems. They have been widely studied as games of full observation. In this paper we investigate the algorithmic properties of several sub-classes of mean-payoff games…
We obtain an analytical solution of a one-dimensional sandpile problem in a thick flow regime, when it can be formulated in terms of linear equations. It is shown that a space periodicity takes place during the sandpile evolution even for a…
In this paper we study random linear systems with $k$ variables per equation over the finite field GF(2), or equivalently $k$-XOR-CNF formulas. In a previous paper Creignou and Daud\'e proved that the phase transition for the consistency…
In this paper we investigate peculiarities of phase transition high-symmetry - incommensurate phase in inhomogeneous systems. We obtain the nonlinear dispersion law and then present a renormalization group analysis of phase transitions in…
In this letter, we study a class of linear-quadratic mean-field-type difference games with coupled affine inequality constraints. We show that the mean-field-type equilibrium can be characterized by the existence of a multiplier process…
This letter investigates the molecular dynamics of inelastic disks without external forcing. By introducing a new observation frame with a rescaled time, we observe the virtual steady states converted from asymptotic energy dissipation…
Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information stochastic games, where some transitions of the game graph…
The notion of (auto) catalytic networks has become a cornerstone in understanding the possibility of a sudden dramatic increase of diversity in biological evolution as well as in the evolution of social and economical systems. Here we study…
We rigorously analyze the quantum phase transition between a metallic and an insulating phase in (non solvable) interacting spin chains or one dimensional fermionic systems. In particular, we prove the persistence of Luttinger liquid…
In this paper, we establish a zero-sum, hybrid state stochastic game model for designing defense policies for cyber-physical systems against different types of attacks. With the increasingly integrated properties of cyber-physical systems…
Many problems in compositional synthesis and verification of multi-agent systems -- such as rational verification and assume-guarantee verification in probabilistic systems -- reduce to reasoning about two-player multi-objective stochastic…
In this paper we introduce polytopal stochastic games, an extension of two-player, zero-sum, turn-based stochastic games, in which we may have uncertainty over the transition probabilities. In these games the uncertainty over the…
Recent successes of game-theoretic formulations in ML have caused a resurgence of research interest in differentiable games. Overwhelmingly, that research focuses on methods and upper bounds on their speed of convergence. In this work, we…
In this conference proceeding, I discuss in detail the deconfinement to quark matter that takes place at large densities and/or temperatures. The first-order phase transition that is assumed to appear beyond a critical point gives rise to…
This paper studies the problem of detecting the presence of a small dense community planted in a large Erd\H{o}s-R\'enyi random graph $\mathcal{G}(N,q)$, where the edge probability within the community exceeds $q$ by a constant factor.…
Conserved growth models that exhibit a nonlinear instability in which the height (depth) of isolated pillars (grooves) grows in time are studied by numerical integration and stochastic simulation. When this instability is controlled by the…
A one dimensional stochastic exclusion process with two species of particles, $+$ and $-$, is studied where density of each species can fluctuate but the total particle density is conserved. From the exact stationary state weights we show…
Consider a scenario in which an unknown signal is transformed by a known linear operator, and then the pointwise absolute value of the unknown output function is reported. This scenario appears in several applications, and the goal is to…
In this paper, we investigate the rational synthesis problem for concurrent game structure for a variety of objectives ranging from reachability to Muller condition. We propose a new algorithm that establishes the decidability of the non…