Related papers: An exactly solvable random satisfiability problem
Bound states generated by K coupled PT-symmetric square wells are studied in a series of models where the Hamiltonians are assumed $R-$pseudo-Hermitian and $R^2-$symmetric. Specific rotation-like generalized parities $R$ are considered such…
We construct a tensor network that delivers an unnormalized quantum state whose coefficients are the solutions to a given instance of 3SAT, an NP-complete problem. The tensor network contraction that corresponds to the norm of the state…
As a natural variant of the $k$-SAT problem, NAE-$k$-SAT additionally requires the literals in each clause to take not-all-equal (NAE) truth values. In this paper, we study the worst-case time complexities of solving NAE-$k$-SAT and…
We show that there exist infinitely many $n \in \mathbb{Z}^+$ such that for any constant $\epsilon > 0$, any deterministic algorithm to solve $k$-\textsf{SAT} for $k \geq 3$ must perform at least…
We present an exactly solvable extension of the quantum XY chain with longer range multi-spin interactions. Topological phase transitions of the model are classified in terms of the number of Majorana zero modes which are in turn related to…
We consider the models of distributed computation defined as subsets of the runs of the iterated immediate snapshot model. Given a task $T$ and a model $M$, we provide topological conditions for $T$ to be solvable in $M$. When applied to…
An exactly solvable model of a quantum spin interacting with a spin environment is considered. The interaction is chosen to be such that the state of the environment is conserved. The reduced density matrix of the spin is calculated for…
We discuss a universal algebraic approach to quasi-exactly solvable models which allows us to interpret them as constrained Hamiltonian systems with a finite number of physical states. Using this approach we reproduce well-known…
Non-hermitian, $\mathcal{PT}$-symmetric Hamiltonians, experimentally realized in optical systems, accurately model the properties of open, bosonic systems with balanced, spatially separated gain and loss. We present a family of exactly…
In this paper we present a new solution of the star-triangle relation having positive Boltzmann weights. The solution defines an exactly solvable two-dimensional Ising-type (edge interaction) model of statistical mechanics where the local…
A systematic procedure to derive exact solutions of the associated Lame equation for an arbitrary value of the energy is presented. Supersymmetric transformations in which the seed solutions have factorization energies inside the gaps are…
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 ground state solution of the random dimer model is at a critical point after, which has been shown with random link excitations. In this paper we test the robustness of the random dimer model to the random link excitation by imposing…
We present a class of exactly solvable quantum spin models which consist of two Heisenberg-subsystems coupled via a long-range Lieb-Mattis interaction. The total system is exactly solvable whenever the individual subsystems are solvable and…
We have constructed a one dimensional exactly solvable model, which is based on the t-J model of strongly correlated electrons, but which has additional quantum group symmetry, ensuring the degeneration of states. We use Bethe Ansatz…
Starting from a system of $N$ radial Schr\"odinger equations with a vanishing potential and finite threshold differences between the channels, a coupled $N \times N$ exactly-solvable potential model is obtained with the help of a single…
The critical behavior of the 1/5-depleted square-lattice Ising model with nearest neighbor ferromagnetic interaction has been investigated by means of both an exact solution and a high-temperature series expansion study of the zero-field…
We study the behavior of ASAT, a heuristic for solving satisfiability problems by stochastic local search near the SAT/UNSAT transition. The heuristic is focused, i.e. only variables in unsatisfied clauses are updated in each step, and is…
Through a series of exact mappings we reinterpret the Bernoulli model of sequence alignment in terms of the discrete-time totally asymmetric exclusion process with backward sequential update and step function initial condition. Using…
We present a novel binary convex reformulation of the sparse regression problem that constitutes a new duality perspective. We devise a new cutting plane method and provide evidence that it can solve to provable optimality the sparse…