Related papers: Exact Phase Transitions in Random Constraint Satis…
We introduce a new model for the generation of random satisfiability problems. It is an extension of the hyper-SAT model of Ricci-Tersenghi, Weigt and Zecchina, which is a variant of the famous K-SAT model: it is extended to q-state…
The Promise Constraint Satisfaction Problem (PCSP) is a recently introduced vast generalization of the Constraint Satisfaction Problem (CSP). We investigate the computational complexity of a class of PCSPs beyond the most studied cases -…
A finite constraint language $\mathscr{R}$ is a finite set of relations over some finite domain $A$. We show that intractability of the constraint satisfaction problem $\operatorname{CSP}(\mathscr{R})$ can, in all known cases, be replaced…
The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and…
We determine under which conditions certain natural models of random constraint satisfaction problems have sharp thresholds of satisfiability. These models include graph and hypergraph homomorphism, the $(d,k,t)$-model, and binary…
Recent results show that a constraint satisfaction problem (CSP) defined over rational numbers with their natural ordering has a solution if and only if it has a definable solution. The proof uses advanced results from topology and modern…
We present an extension to the robust phase estimation protocol, which can identify incorrect results that would otherwise lie outside the expected statistical range. Robust phase estimation is increasingly a method of choice for…
Phase transition in the two-dimensional $q$-state Potts model with random ferromagnetic couplings in the large-q limit is conjectured to be described by the isotropic version of the infinite randomness fixed point of the random…
The typical complexity of Constraint Satisfaction Problems (CSPs) can be investigated by means of random ensembles of instances. The latter exhibit many threshold phenomena besides their satisfiability phase transition, in particular a…
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 explore an extended quantum Rabi model describing the interaction between a two-mode bosonic field and a three-level atom. Quantum phase transitions of this few degree of freedom model is found when the ratio $\eta$ of the atom energy…
Repulsive point processes arise in models where competition forces entities to be more spread apart than if placed independently. Simulation of these types of processes can be accomplished using dominated coupling from the past with a…
Quadratic systems with lossless quadratic terms arise in many applications, including models of atmosphere and incompressible fluid flows. Such systems have a trapping region if all trajectories eventually converge to and stay within a…
The comprehensive computer simulation study of the phase diagram of the repulsive step potential system in three dimensions is represented. We show that the system with a simple purely repulsive isotropic potential demonstrates a number of…
We study the adsorption-desorption of fluid molecules on a solid substrate by introducing a schematic model in which the adsorption/desorption transition probabilities are given by irreversible kinetic constraints with a tunable violation…
The phase-space of a simple synchronization model is thoroughly investigated. The model considers two-mode stochastic oscillators, coupled through a pulse-like interaction controlled by simple optimization rules. A complex phase space is…
We examine the phase transition phenomenon for the Knapsack problem from both a computational and a human perspective. We first provide, via an empirical and a theoretical analysis, a characterization of the phenomenon in terms of two…
Nuclear matter at finite temperature and barion density exhibits several phase transitions that could happen at the early stages of the Universe evolution and could be realized in heavy-ion or hadron-hadron collisions. Microscopic…
A matched formula is a CNF formula whose incidence graph admits a matching which matches a distinct variable to every clause. We study phase transition in a context of matched formulas and their generalization of biclique satisfiable…
The ability to achieve precise and smooth trajectory tracking is crucial for ensuring the successful execution of various tasks involving robotic manipulators. State-of-the-art techniques require accurate mathematical models of the robot…