English
Related papers

Related papers: Renormalization group approach to satisfiability

200 papers

Based on the Renormalization Group method, a reduction of non integrable multi-dimensional hamiltonian systems has been performed. The evolution equations for the slowly varying part of the angle-averaged phase space density, and for the…

Accelerator Physics · Physics 2008-11-26 Stephan I. Tzenov

For a first-order theory $T$, the Constraint Satisfaction Problem of $T$ is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of $T$. In this article we develop sufficient…

Logic · Mathematics 2020-12-03 Manuel Bodirsky , Johannes Greiner

The most general version of a renormalizable $d=4$ theory corresponding to a dimensionless higher-derivative scalar field model in curved spacetime is explored. The classical action of the theory contains $12$ independent functions, which…

High Energy Physics - Theory · Physics 2010-04-06 E. Elizalde , A. G. Jacksenaev , S. D. Odintsov , I. L. Shapiro

A renormalization group study of a scalar theory coupled to gravity through a general functional dependence on the Ricci scalar in the action is discussed. A set of non-perturbative flow equations governing the evolution of the new…

High Energy Physics - Phenomenology · Physics 2009-10-30 Alfio Bonanno , Dario Zappalá

The summation of logarithmic contributions to perturbative radiative corrections in physical processes through use of the renormalization group equation has proved to be a useful way of enhancing the information one can obtain from explicit…

High Energy Physics - Phenomenology · Physics 2017-11-17 D. G. C. McKeon

We present a renormalization group (RG) procedure which works naturally on a wide class of interacting one-dimension models based on perturbed (possibly strongly) continuum conformal and integrable models. This procedure integrates Kenneth…

Strongly Correlated Electrons · Physics 2016-07-05 Robert M. Konik , Yury Adamov

We investigate the nature of divergences in quantum field theory, showing that they are organized in the structure of a certain `` motivic Galois group'', which is uniquely determined and universal with respect to the set of physical…

Number Theory · Mathematics 2007-05-23 Alain Connes , Matilde Marcolli

Constraint satisfaction problems (CSPs) consist of a set of variables taking values from some finite domain and a set of local constraints on these variables. The objective is to find an assignment to the variables that maximizes the…

Computational Complexity · Computer Science 2026-05-12 Amey Bhangale , Yezhou Zhang

As applied to quantum theories, the program of renormalization is successful for `renormalizable models' but fails for `nonrenormalizable models'. After some conceptual discussion and analysis, an enhanced program of renormalization is…

High Energy Physics - Theory · Physics 2009-05-01 John R. Klauder

We develop a renormalization group method to investigate synchronization clusters in a one-dimensional chain of nearest-neighbor coupled phase oscillators. The method is best suited for chains with strong disorder in the intrinsic…

Pattern Formation and Solitons · Physics 2016-11-28 Oleg Kogan , Jeffrey L. Rogers , M. C. Cross , G. Refael

Block spin renormalization group is the main tool used in our program to see symmetry breaking in a weakly interacting many Boson system on a three dimensional lattice at low temperature. In this paper, we discuss some of its purely…

Mathematical Physics · Physics 2016-09-06 Tadeusz Balaban , Joel Feldman , Horst Knörrer , Eugene Trubowitz

Subgraph reconfiguration is a family of problems focusing on the reachability of the solution space in which feasible solutions are subgraphs, represented either as sets of vertices or sets of edges, satisfying a prescribed graph structure…

Data Structures and Algorithms · Computer Science 2018-03-19 Tesshu Hanaka , Takehiro Ito , Haruka Mizuta , Benjamin Moore , Naomi Nishimura , Vijay Subramanya , Akira Suzuki , Krishna Vaidyanathan

The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance.…

Logic in Computer Science · Computer Science 2015-11-05 Maximilian Jaroschek , Pablo Federico Dobal , Pascal Fontaine

General prescriptions of differential renormalization are presented. It is shown that renormalization group functions are straightforwardly expressed through some constants that naturally arise within this approach. The status of the action…

High Energy Physics - Theory · Physics 2009-10-28 V. A. Smirnov

Studies of first-order phase transitions through the use of the exact renormalization group are reviewed. In the first part the emphasis is on universal aspects: We discuss the universal critical behaviour near weakly first-order phase…

High Energy Physics - Theory · Physics 2009-10-31 N. Tetradis

In many decision-making processes, one may prefer multiple solutions to a single solution, which allows us to choose an appropriate solution from the set of promising solutions that are found by algorithms. Given this, finding a set of…

Data Structures and Algorithms · Computer Science 2024-12-06 Tatsuya Gima , Yuni Iwamasa , Yasuaki Kobayashi , Kazuhiro Kurita , Yota Otachi , Rin Saito

We establish the renormalization group equation for the running action in the context of a one quantum particle system. This equation is deduced by integrating each fourier mode after the other in the path integral formalism. It is free of…

Quantum Physics · Physics 2009-11-06 P. Gosselin , H. mohrbach

We give an introduction to renormalisation, focusing first on a pedagogical description of fundamental concepts of the procedure and its features, then we introduce the renormalisation group and its equations. We discuss then the case of…

High Energy Physics - Phenomenology · Physics 2026-05-21 Leonardo Di Giustino

Renormalization of Hamiltonian field theory is usually a rather painful algebraic or numerical exercise. By combining a method based on the coupled cluster method, analysed in detail by Suzuki and Okamoto, with a Wilsonian approach to…

High Energy Physics - Phenomenology · Physics 2010-02-03 Amir H. Rezaeian , Niels R. Walet

In this paper, we study renormalization, that is, the procedure for eliminating singularities, for a special model using both combinatorial techniques in the framework of working with formal series, and using a limit transition in a…

Mathematical Physics · Physics 2025-08-26 A. V. Ivanov