Related papers: A continuous constraint satisfaction problem for t…
We analyse the complexity of the satisfiability problem ssmSAT for State Space Models (SSM), which asks whether an input sequence can lead the model to an accepting configuration. We find that ssmSAT is undecidable in general, reflecting…
We study the fixed points of outer-totalistic cellular automata on sparse random regular graphs. These can be seen as constraint satisfaction problems, where each variable must adhere to the same local constraint, which depends solely on…
Continuum models of plasticity fail to capture the richness of microstructural evolution because the continuum is a homogeneous construction. The present study shows that an alternative way is available at the mesoscale in the form of truly…
We study the symmetry resolution of the entanglement entropy of an interval in two-dimensional conformal field theories (CFTs), by relating the bipartition to the geometry of an annulus with conformal boundary conditions. In the presence of…
Various phase transitions in models for coupled charge-density waves are investigated by means of the $\epsilon$-expansion, mean-field theory, and Monte Carlo simulations. At zero temperature the effective action for the system with…
We investigate spontaneously symmetry breaking states in the attractive SU($N$) Hubbard model at half filling. Combining dynamical mean-field theory with the continuous-time quantum Monte Carlo method, we obtain the finite temperature phase…
The mechanical properties of cells, which influence the properties of the tissue they belong to, are controlled by various mechanisms. Bi et al. theoretically demonstrated that density-independent rigidity transition occurs in…
Hybrid evolution protocols, composed of unitary dynamics and repeated, weak or projective measurements, give rise to new, intriguing quantum phenomena, including entanglement phase transitions and unconventional conformal invariance.…
In this paper, we try to further demonstrate that the models of random CSP instances proposed by [Xu and Li, 2000; 2003] are of theoretical and practical interest. Indeed, these models, called RB and RD, present several nice features.…
The workflow satisfiability problem (WSP) asks whether there exists an assignment of authorized users to the steps in a workflow specification that satisfies the constraints in the specification. The problem is NP-hard in general, but…
We study the structure of the solution space and behavior of local search methods on random 3-SAT problems close to the SAT/UNSAT transition. Using the overlap measure of similarity between different solutions found on the same problem…
The paper presents a novel, parameter free, density evaluation method for topology optimization based on normalized product of a scalar field. The approach imposes length scale on solid phase implicitly and allows for pure 0-1 singularity…
We introduce a novel method to bootstrap crossing equations in Conformal Field Theory and apply it to finite temperature theories on $S^1\times \mathbb{R}^{d-1}$. The proposed approach does not rely on positivity constraints and does not…
We study the problem of satisfiability of randomly chosen clauses, each with K Boolean variables. Using the cavity method at zero temperature, we find the phase diagram for the K=3 case. We show the existence of an intermediate phase in the…
The general intractability of the constraint satisfaction problem has motivated the study of restrictions on this problem that permit polynomial-time solvability. One major line of work has focused on structural restrictions, which arise…
Constraint satisfaction problems (CSPs) are about finding values of variables that satisfy the given constraints. We show that Transformer extended with recurrence is a viable approach to learning to solve CSPs in an end-to-end manner,…
We introduce a family of boundary conditions and point constraints for conformal immersions that increase the controllability of surfaces defined as minimizers of conformal variational problems. Our free boundary conditions fix the metric…
This work deals with numerical simulation of water freezing and thawing in a complex three-dimensional geometry of a porous medium. The porous structure is represented by a virtual container filled with glass beads. Phase transition…
Shortened abstract: A mean field theory of long range frustration is constructed for spin glass systems with quenched randomness of vertex--vertex connections and of spin--spin coupling strengths. This theory is applied to a spin glass…
We derive universal constraints on $(1+1)d$ rational conformal field theories (CFTs) that can arise as transitions between topological theories protected by a global symmetry. The deformation away from criticality to the trivially gapped…