Related papers: Renormalization group approach to satisfiability
We describe a renormalization group transformation that is related to the breakup of golden invariant tori in Hamiltonian systems with two degrees of freedom. This transformation applies to a large class of Hamiltonians, is conceptually…
Approximately 10 years ago, the method of renormalization-group symmetries entered the field of boundary value problems of classical mathematical physics, stemming from the concepts of functional self-similarity and of the Bogoliubov…
The renormalization group (RG) is known to provide information about radiative corrections beyond the order in perturbation theory to which one has calculated explicitly. We first demonstrate the effect of the renormalization scheme used on…
The renormalization group method developed by Ken Wilson more than four decades ago has revolutionized the way we think about problems involving a broad range of energy scales such as phase transitions, turbulence, continuum limits and…
We show with several examples that renormalization group (RG) theory can be used to understand singular and reductive perturbation methods in a unified fashion. Amplitude equations describing slow motion dynamics in nonequilibrium phenomena…
We present a simple proof of the all-order exponentiation of soft logarithmic corrections to hard processes in perturbative QCD. Our argument is based on proving that all large logs in the soft limit can be expressed in terms of a single…
We study higher order approximations in the renormalization group approach to matrix models. We use constraint equations on the free energy resulting from a freedom of field redefinitionsand obtain the effective beta function for a single…
In these lectures I discuss peculiarities of the critical behaviour of ``non-ideal'' systems as it is explained by the renormalization group approach. Examples considered here include account of the single-ion anisotropy, structural…
We consider the problem of distribution-free conformal prediction and the criterion of group conditional validity. This criterion is motivated by many practical scenarios including hidden stratification and group fairness. Existing methods…
We study the typical case properties of the 1-in-3 satisfiability problem, the boolean satisfaction problem where a clause is satisfied by exactly one literal, in an enlarged random ensemble parametrized by average connectivity and…
The review presents general methods for treating complicated problems that cannot be solved exactly and whose solution encounters two major difficulties. First, there are no small parameters allowing for the safe use of perturbation theory…
We give an example of infinite order rational transformation that leaves a linear differential equation covariant. This example can be seen as a non-trivial but still simple illustration of an exact representation of the renormalization…
Let $X$ be a finite set such that $|X|=n$. Let $\trans$ and $\sym$ denote respectively the transformation monoid and the symmetric group on $n$ points. Given $a\in \trans\setminus \sym$, we say that a group $G\leq \sym$ is $a$-normalizing…
This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea…
We give a pedagogical introduction into the functional renormalization group treatment of disordered systems. After a review of its phenomenology, we show why in the context of disordered systems a functional renormalization group treatment…
A matched formula is a CNF formula whose incidence graph admits a matching which matches a distinct variable to every clause. We study phase transition in a context of matched formulas and their generalization of biclique satisfiable…
In physics one attempts to infer the rules governing a system given only the results of imperfect measurements. Hence, microscopic theories may be effectively indistinguishable experimentally. We develop an operationally motivated procedure…
We study the non-canonical method for solving the Satisfiability problem which given by a formula in the form of the conjunctive normal form. The essence of this method consists in counting the number of tuples of Boolean variables, on…
The requirement that duality and renormalization group transformations commute as motions in the space of a theory has recently been explored to extract information about the renormalization flows in different statistical and field…
The renormalization group has played an important role in the physics of the second half of the twentieth century both as a conceptual and a calculational tool. In particular it provided the key ideas for the construction of a qualitative…