Related papers: A continuous constraint satisfaction problem for t…
Functional verification plays a central role in ensuring the correctness of modern integrated circuit designs, where constrained-random verification is widely adopted to generate diverse stimuli under high-level constraints. In industrial…
Optimization is fundamental in many areas of science, from computer science and information theory to engineering and statistical physics, as well as to biology or social sciences. It typically involves a large number of variables and a…
Constraint satisfaction problems (CSPs) consist of a set of variables taking values from some finite domain and a set of local constraints on these variables. The objective is to find an assignment to the variables that maximizes the…
The framework of transition state theory (TST) provides a powerful way for analyzing the dynamics of physical and chemical reactions. While TST has already been successfully used to obtain reaction rates for systems with a single…
The Mott transition is observed experimentally in materials that are magnetically frustrated so that long-range order does not hide the Mott transition at finite temperature. The Hubbard model on the triangular lattice at half-filling is a…
We study in this paper the phase transition in a mobile Potts model by the use of Monte Carlo simulation. The mobile Potts model is related to a diluted Potts model which is also studied here by a mean-field approximation. We consider a…
One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph…
The simulation of certain flow problems requires a means for modeling a free fluid surface; examples being viscoelastic die swell or fluid sloshing in tanks. In a finite-element context, this type of problem can, among many other options,…
We study the optimization version of constraint satisfaction problems (Max-CSPs) in the framework of parameterized complexity; the goal is to compute the maximum fraction of constraints that can be satisfied simultaneously. In standard…
Using formal asymptotic methods we derive a free boundary problem representing one of the simplest mathematical descriptions of the growth and death of a tumour or other biological tissue. The mathematical model takes the form of a closed…
In 2000, I published a relatively comprehensive study of mappings between propositional satisfiability (SAT) and constraint satisfaction problems (CSPs) [Wal00]. I analysed four different mappings of SAT problems into CSPs, and two of CSPs…
A spin-glass transition has been investigated for a long time but we have not yet reached a conclusion due to difficulties in the simulations. They are slow dynamics, strong finite-size effects, and sample-to-sample dependences. We…
Many critical biological processes, like wound healing, require confluent cell monolayers/bulk tissues to transition from a jammed solid-like to a fluid-like state. Although numerical studies anticipate changes in the cell shape alone can…
Residual stresses may appear in elastic bodies due to the formation of misfits in the micro-structure, driven by plastic deformations, thermal or growth processes. They are especially widespread in living matter, resulting from the dynamic…
A discrete temporal constraint satisfaction problem is a constraint satisfaction problem (CSP) whose constraint language consists of relations that are first-order definable over $(\Bbb Z,<)$. Our main result says that every distance CSP is…
Considering marginally relevant and relevant deformations of the weakly coupled $(3+1)$-dimensional large $N$ conformal gauge theories introduced in arXiv:2011.13981, we study the patterns of phase transitions in these systems that lead to…
We present a new phase-field model for binary fluids exhibiting typical signatures of self-glassiness, such as long-time relaxation, ageing and long-term dynamical arrest. The present model allows the cost of building an interface to become…
Constraint satisfaction problems are computational problems that naturally appear in many areas of theoretical computer science. One of the central themes is their computational complexity, and in particular the border between…
A main challenge in numerical simulations of moving contact line problems is that the adherence, or no-slip boundary condition leads to a non-integrable stress singularity at the contact line. In this report we perform the first steps in…
We study the statistical properties of a single free quantum particle evolving coherently on a discrete lattice in ${\rm d}$ spatial dimensions where every lattice site is additionally subject to continuous measurement of the occupation…