Related papers: A continuous constraint satisfaction problem for t…
An important question in the study of constraint satisfaction problems (CSP) is understanding how the graph or hypergraph describing the incidence structure of the constraints influences the complexity of the problem. For binary CSP…
Context: We integrate the 2D MHD ideal equations of a straight slab to simulate observational results associated with fundamental sausage trapped modes. Aims: Starting from a non-equilibrium state with a dense chromospheric layer, we…
We study phase transitions in uniformly frustrated SU(N)-symmetric $(2+\epsilon)$-dimensional lattice models describing type-II superconductors near the upper critical magnetic field $H_{c2}(T)$. The low-temperature renormalization-group…
The conformational free energy landscape of a system is a fundamental thermodynamic quantity of importance particularly in the study of soft matter and biological systems, in which the entropic contributions play a dominant role. While…
A Constraint Satisfaction Problem (CSP) is a computational problem where we are given variables and constraints about them; the question is whether the variables can be assigned values such that all constraints are satisfied. We give an…
In this short paper we present a survey of some results concerning the random SAT problems. To elaborate, the Boolean Satisfiability (SAT) Problem refers to the problem of determining whether a given set of $m$ Boolean constraints over $n$…
Semiflexible polymers in poor solvents exhibit a rich variety of collapsed morphologies, including globules, toroids, and rodlike bundles, arising from the competition between attractive interactions and chain stiffness. Computer…
Foundational optimization embeddings have recently emerged as powerful pre-trained representations for mixed-integer programming (MIP) problems. These embeddings were shown to enable cross-domain transfer and reduce reliance on…
Using the canonical Monte Carlo simulation technique, we study a Regge calculus model on triangulated spherical surfaces. The discrete model is statistical mechanically defined with the variables $X$, $g$ and $\rho$, which denote the…
In this work, we focus on the Partial Constraint Satisfaction Problem (PCSP) over control-flow graphs (CFGs) of programs. PCSP serves as a generalization of the well-known Constraint Satisfaction Problem (CSP). In the CSP framework, we…
We couple a free solute diffusion model to a model of crystal surface growth represented by, but not limited to, a (2 + 1)-dimensional solid-on-solid (SOS) model confined by a flat surface. We use kinetic Monte Carlo (KMC) with dissolution…
A mathematical model for crack-tip fields is proposed in this paper for the response of a three-dimensional (3-D) porous elastic solid whose material moduli are dependent on the density. Such a description wherein the generalized Lam\`e…
At ambient pressure tin transforms from its ground-state semi-metal $\alpha$-Sn (diamond structure) phase to the compact metallic $\beta$-Sn phase at 13$^\circ$C (286K). There may be a further transition to the simple hexagonal $\gamma$-Sn…
We determine the exact freezing threshold, r^f, for a family of models of random boolean constraint satisfaction problems, including NAE-SAT and hypergraph 2-colouring, when the constraint size is sufficiently large. If the…
The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c^n) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special…
The impact of confinement on self-assembly of particles interacting with short-range attraction and long-range repulsion (SALR) potential is studied for thermodynamic states corresponding to local ordering of clusters or layers in the bulk.…
$SU(N)$ gauge theories on compact spaces have a non-trivial vacuum structure characterized by a countable set of topological sectors and their topological charge. In lattice simulations, every topological sector needs to be explored a…
The fixed-template constraint satisfaction problem (CSP) can be seen as the problem of deciding whether a given primitive positive first-order sentence is true in a fixed structure (also called model). We study a class of problems that…
It was proposed by Ryu and Takayanagi that the entanglement entropy in conformal field theory (CFT) is related through the AdS/CFT correspondence to the area of a minimal surface in the bulk. We apply this holographic geometrical method of…
Recently, the existence and properties of unbounded cavity modes, resulting in extensive plastic deformation failure of two-dimensional sheets of amorphous media, were discussed in the context of the athermal Shear-Transformation-Zones…