Related papers: Renormalization group approach to satisfiability
We review current progress in the functional renormalization group treatment of disordered systems. After an elementary introduction into the phenomenology, we show why in the context of disordered systems a functional renormalization group…
The partial success of the block renormalization group techniques is analysed in terms of a functional operator which formalizes the idea of self-replicability of a system in terms of smaller blocks which are similar to the original. The…
Large-$N$ renormalization group equations for one- and two-matrix models are derived. The exact renormalization group equation involving infinitely many induced interactions can be rewritten in a form that has a finite number of coupling…
The renormalization group is not only a powerful method for describing universal properties of phase transitions but it is also useful for evaluating non- universal properties beyond mean-field theory. In this contribution we concentrate on…
The problem considered here is the determination of the hamiltonian of a first quantized nonrelativistic particle by the help of some measurements of the location with a finite resolution. The resulting hamiltonian depends on the resolution…
This is the second in a series of articles aimed at exploring the relationship between the complexity classes of P and NP. The research in this article aims to find conditions of an algorithmic nature that are necessary and sufficient to…
A fundamental question in Computer Science is understanding when a specific class of problems go from being computationally easy to hard. Because of its generality and applications, the problem of Boolean Satisfiability (aka SAT) is often…
Complex networks have acquired a great popularity in recent years, since the graph representation of many natural, social and technological systems is often very helpful to characterize and model their phenomenology. Additionally, the…
The renormalization group has proven to be a very powerful tool in physics for treating systems with many length scales. Here we show how it can be adapted to provide a new class of algorithms for discrete optimization. The heart of our…
The theory of classical realizability is a framework in which we can develop the proof-program correspondence. Using this framework, we show how to transform into programs the proofs in classical analysis with dependent choice and the…
The Renormalization Group (RG) is a set of methods that have been instrumental in tackling problems involving an infinite number of degrees of freedom. What all these methods have in common -- which is what explains their success -- is that…
By adding a linear term to a renormalization-group equation in a system exhibiting infinite-order phase transitions, asymptotic behavior of running coupling constants is derived in an algebraic manner. A benefit of this method is presented…
Renormalization group in the internal space consists of the gradual change of the coupling constants. Functional evolution equations corresponding to the change of the mass or the coupling constant are presented in the framework of a scalar…
In the last 30 years it was found that many combinatorial systems undergo phase transitions. One of the most important examples of these can be found among the random k-satisfiability problems (often referred to as k-SAT), asking whether…
We investigate Hamiltonian systems with two degrees of freedom by using renormalization group method. We show that the original Hamiltonian systems and the renormalization group equations are integrable if the renormalization group…
Effective potential for scalar $\lambda\phi^4$ theory is obtained using the exact renormalization group method which includes both the usual one-loop contribution as well as the dominant higher loop effects. Our numerical calculation…
Renormalization group theory is a powerful and intriguing technique with a wide range of applications. One of the main successes of renormalization group theory is the description of continuous phase transitions and the development of…
While renormalization groups are fundamental in physics, renormalization of complex networks remains vague in its conceptual definition and methodology. Here, we propose a novel strategy to renormalize complex networks. Rather than…
The basic random $k$-SAT problem is: Given a set of $n$ Boolean variables, and $m$ clauses of size $k$ picked uniformly at random from the set of all such clauses on our variables, is the conjunction of these clauses satisfiable? Here we…
Two different models exhibiting self-organized criticality are analyzed by means of the dynamic renormalization group. Although the two models differ by their behavior under a parity transformation of the order parameter, it is shown that…