Showing 1–16 of 16 results for author: Rechenberger, S

FreeCHR: An Algebraic Framework for CHR-Embeddings

Authors: Sascha Rechenberger, Thom Frühwirth

Abstract: We introduce the framework FreeCHR, which formalizes the embedding of Constraint Handling Rules (CHR) into a host-language, using the concept of initial algebra semantics from category theory, to establish a high-level implementation scheme for CHR, as well as a common formalization for both theory and practice. We propose a lifting of the syntax of CHR via an endofunctor in the category Set and a… ▽ More We introduce the framework FreeCHR, which formalizes the embedding of Constraint Handling Rules (CHR) into a host-language, using the concept of initial algebra semantics from category theory, to establish a high-level implementation scheme for CHR, as well as a common formalization for both theory and practice. We propose a lifting of the syntax of CHR via an endofunctor in the category Set and a lifting of the operational semantics, using the free algebra, generated by the endofunctor. We then lift the very abstract operational semantics of CHR into FreeCHR, and give proofs for soundness and completeness w.r.t. their original definition. △ Less

Submitted 2 August, 2023; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: This is the extended version of a paper presented at the 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023); minor revision of section 5; additional examples, added acknowledgments, minor changes in section 1 and 5 as well as proofreading

Detecting inhomogeneous chiral condensation from the bosonic two-point function in the $(1 + 1)$-dimensional Gross-Neveu model in the mean-field approximation

Authors: Adrian Koenigstein, Laurin Pannullo, Stefan Rechenberger, Martin J. Steil, Marc Winstel

Abstract: The phase diagram of the $(1 + 1)$-dimensional Gross-Neveu model is reanalyzed for (non-)zero chemical potential and (non-)zero temperature within the mean-field approximation. By investigating the momentum dependence of the bosonic two-point function, the well-known second-order phase transition from the $\mathbb{Z}_2$ symmetric phase to the so-called inhomogeneous phase is detected. In the latte… ▽ More The phase diagram of the $(1 + 1)$-dimensional Gross-Neveu model is reanalyzed for (non-)zero chemical potential and (non-)zero temperature within the mean-field approximation. By investigating the momentum dependence of the bosonic two-point function, the well-known second-order phase transition from the $\mathbb{Z}_2$ symmetric phase to the so-called inhomogeneous phase is detected. In the latter phase the chiral condensate is periodically varying in space and translational invariance is broken. This work is a proof of concept study that confirms that it is possible to correctly localize second-order phase transition lines between phases without condensation and phases of spatially inhomogeneous condensation via a stability analysis of the homogeneous phase. To complement other works relying on this technique, the stability analysis is explained in detail and its limitations and successes are discussed in context of the Gross-Neveu model. Additionally, we present explicit results for the bosonic wave-function renormalization in the mean-field approximation, which is extracted analytically from the bosonic two-point function. We find regions -- a so-called moat regime -- where the wave function renormalization is negative accompanying the inhomogeneous phase as expected. △ Less

Submitted 16 September, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: 27 pages (main text 20, appendix 7), 2 tables, 13 figures (plot data included in arXiv source file); Updated, published version

Journal ref: J. Phys. A: Math. Theor. 55 375402 (2022)

Bosonic fluctuations in the $( 1 + 1 )$-dimensional Gross-Neveu(-Yukawa) model at varying $μ$ and $T$ and finite $N$

Authors: Jonas Stoll, Niklas Zorbach, Adrian Koenigstein, Martin J. Steil, Stefan Rechenberger

Abstract: Using analogies between flow equations from the Functional Renormalization Group and flow equations from (numerical) fluid dynamics we investigate the effects of bosonic fluctuations in a bosonized Gross-Neveu model -- namely the Gross-Neveu-Yukawa model. We study this model for finite numbers of fermions at varying chemical potential and temperature in the local potential approximation. Thereby w… ▽ More Using analogies between flow equations from the Functional Renormalization Group and flow equations from (numerical) fluid dynamics we investigate the effects of bosonic fluctuations in a bosonized Gross-Neveu model -- namely the Gross-Neveu-Yukawa model. We study this model for finite numbers of fermions at varying chemical potential and temperature in the local potential approximation. Thereby we numerically demonstrate that for any finite number of fermions and as long as the temperature is non-zero, there is no $\mathbb{Z}_2$ symmetry breaking for arbitrary chemical potentials. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: 52 pages (main text 36, appendix 16), 1 table, 34 figures (plot data included in arXiv source file)

Magnetic-Field Induced Critical Endpoint

Authors: Stefan Rechenberger

Abstract: The phase diagram of strong interaction matter is analyzed utilizing the Nambu--Jona-Lasinio model. Special emphasis is placed on its dependence on an external magnetic field and isospin chemical potential. Using flavor mixing induced by instanton effects the influence of isospin breaking due to the magnetic field and the isospin chemical potential is compared. It is found that at low temperatures… ▽ More The phase diagram of strong interaction matter is analyzed utilizing the Nambu--Jona-Lasinio model. Special emphasis is placed on its dependence on an external magnetic field and isospin chemical potential. Using flavor mixing induced by instanton effects the influence of isospin breaking due to the magnetic field and the isospin chemical potential is compared. It is found that at low temperatures and large quark chemical potential the magnetic field, depending on its strength, induces a new critical endpoint or a triple point. △ Less

Submitted 6 February, 2017; v1 submitted 22 December, 2016; originally announced December 2016.

Comments: 8 pages, 5 figures, references added in second version

Journal ref: Phys. Rev. D 95, 054013 (2017)

QCD-inspired determination of NJL model parameters

Authors: Paul Springer, Jens Braun, Stefan Rechenberger, Fabian Rennecke

Abstract: The QCD phase diagram at finite temperature and density has attracted considerable interest over many decades now, not least because of its relevance for a better understanding of heavy-ion collision experiments. Models provide some insight into the QCD phase structure but usually rely on various parameters. Based on renormalization group arguments, we discuss how the parameters of QCD low-energy… ▽ More The QCD phase diagram at finite temperature and density has attracted considerable interest over many decades now, not least because of its relevance for a better understanding of heavy-ion collision experiments. Models provide some insight into the QCD phase structure but usually rely on various parameters. Based on renormalization group arguments, we discuss how the parameters of QCD low-energy models can be determined from the fundamental theory of the strong interaction. We particularly focus on a determination of the temperature dependence of these parameters in this work and comment on the effect of a finite quark chemical potential. We present first results and argue that our findings can be used to improve the predictive power of future model calculations. △ Less

Submitted 18 November, 2016; originally announced November 2016.

Comments: 10 pages, 4 figures, Contribution to the proceedings of "XIIth Quark Confinement and the Hadron Spectrum" in Thessaloniki, Greece, Aug 28 - Sep 4, 2016

Crystalline Ground States in Polyakov-loop extended Nambu--Jona-Lasinio Models

Authors: Jens Braun, Felix Karbstein, Stefan Rechenberger, Dietrich Roscher

Abstract: Nambu--Jona-Lasinio-type models have been used extensively to study the dynamics of the theory of the strong interaction at finite temperature and quark chemical potential on a phenomenological level. In addition to these studies, which are often performed under the assumption that the ground state of the theory is homogeneous, searches for the existence of crystalline phases associated with inhom… ▽ More Nambu--Jona-Lasinio-type models have been used extensively to study the dynamics of the theory of the strong interaction at finite temperature and quark chemical potential on a phenomenological level. In addition to these studies, which are often performed under the assumption that the ground state of the theory is homogeneous, searches for the existence of crystalline phases associated with inhomogeneous ground states have attracted a lot of interest in recent years. In this work, we study the Polyakov-loop extended Nambu--Jona-Lasinio model and find that the existence of a crystalline phase is stable against a variation of the parametrization of the underlying Polyakov loop potential. To this end, we adopt two prominent parametrizations. Moreover, we observe that the existence of a quarkyonic phase depends crucially on the parametrization, in particular in the regime of the phase diagram where inhomogeneous chiral condensation is favored. △ Less

Submitted 14 October, 2015; originally announced October 2015.

Comments: 7 pages, 3 figures

Journal ref: Phys. Rev. D 93, 014032 (2016)

Delayed Magnetic Catalysis

Authors: Jens Braun, Walid Ahmed Mian, Stefan Rechenberger

Abstract: We study the effect of an external magnetic field on the chiral phase transition in the theory of the strong interaction by means of a renormalization-group (RG) fixed-point analysis, relying on only one physical input parameter, the strong coupling at a given large momentum scale. To be specific, we consider the interplay of the RG flow of four-quark interactions and the running gauge coupling. D… ▽ More We study the effect of an external magnetic field on the chiral phase transition in the theory of the strong interaction by means of a renormalization-group (RG) fixed-point analysis, relying on only one physical input parameter, the strong coupling at a given large momentum scale. To be specific, we consider the interplay of the RG flow of four-quark interactions and the running gauge coupling. Depending on the temperature and the strength of the magnetic field, the gauge coupling can drive the quark sector to criticality, resulting in chiral symmetry breaking. In accordance with lattice Monte-Carlo simulations, we find that the chiral phase transition temperature decreases for small values of the external magnetic field. For large magnetic field strengths, however, our fixed-point study predicts that the phase transition temperature increases monotonically. △ Less

Submitted 18 December, 2014; originally announced December 2014.

Comments: 5 pages, 3 figures

Renormalization group flow of Hořava-Lifshitz gravity at low energies

Authors: Adriano Contillo, Stefan Rechenberger, Frank Saueressig

Abstract: The functional renormalization group equation for projectable Hořava-Lifshitz gravity is used to derive the non-perturbative beta functions for the Newton's constant, cosmological constant and anisotropy parameter. The resulting coupled differential equations are studied in detail and exemplary RG trajectories are constructed numerically. The beta functions possess a non-Gaussian fixed point and a… ▽ More The functional renormalization group equation for projectable Hořava-Lifshitz gravity is used to derive the non-perturbative beta functions for the Newton's constant, cosmological constant and anisotropy parameter. The resulting coupled differential equations are studied in detail and exemplary RG trajectories are constructed numerically. The beta functions possess a non-Gaussian fixed point and a one-parameter family of Gaussian fixed points. One of the Gaussian fixed points corresponds to the Einstein-Hilbert action with vanishing cosmological constant and constitutes a saddle point with one IR-attractive direction. For RG trajectories dragged into this fixed point at low energies diffeomorphism invariance is restored. The emergence of general relativity from Hořava-Lifshitz gravity can thus be understood as a crossover-phenomenon where the IR behavior of the theory is controlled by this Gaussian fixed point. In particular RG trajectories with a tiny positive cosmological constant also come with an anisotropy parameter which is compatible with experimental constraints, providing a mechanism for the approximate restoration of diffeomorphism invariance in the IR. The non-Gaussian fixed point is UV-attractive in all three coupling constants. Most likely, this fixed point is the imprint of Asymptotic Safety at the level of Hořava-Lifshitz gravity. △ Less

Submitted 27 September, 2013; originally announced September 2013.

Comments: 32 pages, 6 figures

An asymptotic safety scenario for gauged chiral Higgs-Yukawa models

Authors: Holger Gies, Stefan Rechenberger, Michael M. Scherer, Luca Zambelli

Abstract: We investigate chiral Higgs-Yukawa models with a non-abelian gauged left-handed sector reminiscent to a sub-sector of the standard model. We discover a new weak-coupling fixed-point behavior that allows for ultraviolet complete RG trajectories which can be connected with a conventional long-range infrared behavior in the Higgs phase. This non-trivial ultraviolet behavior is characterized by asympt… ▽ More We investigate chiral Higgs-Yukawa models with a non-abelian gauged left-handed sector reminiscent to a sub-sector of the standard model. We discover a new weak-coupling fixed-point behavior that allows for ultraviolet complete RG trajectories which can be connected with a conventional long-range infrared behavior in the Higgs phase. This non-trivial ultraviolet behavior is characterized by asymptotic freedom in all interaction couplings, but a quasi conformal behavior in all mass-like parameters. The stable microscopic scalar potential asymptotically approaches flatness in the ultraviolet, however, with a non-vanishing minimum increasing inversely proportional to the asymptotically free gauge coupling. This gives rise to nonperturbative -- though weak-coupling -- threshold effects which induce ultraviolet stability along a line of fixed points. Despite the weak-coupling properties, the system exhibits non-Gaussian features which are distinctly different from its standard perturbative counterpart: e.g., on a branch of the line of fixed points, we find linear instead of quadratically running renormalization constants. Whereas the Fermi constant and the top mass are naturally of the same order of magnitude, our model generically allows for light Higgs boson masses. Realistic mass ratios are related to particular RG trajectories with a "walking" mid-momentum regime. △ Less

Submitted 27 June, 2013; originally announced June 2013.

Comments: 25 pages, 7 figures

A functional renormalization group equation for foliated spacetimes

Authors: Stefan Rechenberger, Frank Saueressig

Abstract: We derive an exact functional renormalization group equation for the projectable version of Hořava-Lifshitz gravity. The flow equation encodes the gravitational degrees of freedom in terms of the lapse function, shift vector and spatial metric and is manifestly invariant under background foliation-preserving diffeomorphisms. Its relation to similar flow equations for gravity in the metric formalis… ▽ More We derive an exact functional renormalization group equation for the projectable version of Hořava-Lifshitz gravity. The flow equation encodes the gravitational degrees of freedom in terms of the lapse function, shift vector and spatial metric and is manifestly invariant under background foliation-preserving diffeomorphisms. Its relation to similar flow equations for gravity in the metric formalism is discussed in detail, and we argue that the space of action functionals, invariant under the full diffeomorphism group, forms a subspace of the latter invariant under renormalization group transformations. As a first application we study the RG flow of the Newton constant and the cosmological constant in the ADM formalism. In particular we show that the non-Gaussian fixed point found in the metric formulation is qualitatively unaffected by the change of variables and persists also for Lorentzian signature metrics. △ Less

Submitted 20 December, 2012; originally announced December 2012.

Comments: 44 pages, 3 figures

Report number: MZ-TH/12-56

The R^2 phase-diagram of QEG and its spectral dimension

Authors: Stefan Rechenberger, Frank Saueressig

Abstract: Within the gravitational asymptotic safety program, the RG flow of the R^2 truncation in three and four spacetime dimensions is analyzed in detail. In particular, we construct RG trajectories which emanate from the non-Gaussian UV fixed point and possess long classical regimes where the effective average action is well approximated by the classical Einstein-Hilbert action. As an application we stu… ▽ More Within the gravitational asymptotic safety program, the RG flow of the R^2 truncation in three and four spacetime dimensions is analyzed in detail. In particular, we construct RG trajectories which emanate from the non-Gaussian UV fixed point and possess long classical regimes where the effective average action is well approximated by the classical Einstein-Hilbert action. As an application we study the spectral dimension of the effective QEG spacetimes resulting from these trajectories, establishing that the picture of a multi-fractal spacetime is robust under the extension of the truncated theory space. We demonstrate that regimes of constant spectral dimensions can either be attributed to universal features of RG fixed points or singular loci in the βfunctions. △ Less

Submitted 4 June, 2012; originally announced June 2012.

Comments: 13 pages, 10 figures

Report number: MZ-TH/12-23

Higher Derivative Gravity from the Universal Renormalization Group Machine

Authors: F. Saueressig, K. Groh, S. Rechenberger, O. Zanusso

Abstract: We study the renormalization group flow of higher derivative gravity, utilizing the functional renormalization group equation for the average action. Employing a recently proposed algorithm, termed the universal renormalization group machine, for solving the flow equation, all the universal features of the one-loop beta-functions are recovered. While the universal part of the beta-functions admits… ▽ More We study the renormalization group flow of higher derivative gravity, utilizing the functional renormalization group equation for the average action. Employing a recently proposed algorithm, termed the universal renormalization group machine, for solving the flow equation, all the universal features of the one-loop beta-functions are recovered. While the universal part of the beta-functions admits two fixed points, we explicitly show that the existence of one of them depends on the choice of regularization scheme, indicating that it is most probably unphysical. △ Less

Submitted 28 February, 2012; v1 submitted 7 November, 2011; originally announced November 2011.

Comments: 7 pages, published version

Report number: MZ-TH/11-38

Journal ref: PoS(EPS-HEP2011)124

Asymptotically Safe Lorentzian Gravity

Authors: Elisa Manrique, Stefan Rechenberger, Frank Saueressig

Abstract: The gravitational asymptotic safety program strives for a consistent and predictive quantum theory of gravity based on a non-trivial ultraviolet fixed point of the renormalization group (RG) flow. We investigate this scenario by employing a novel functional renormalization group equation which takes the causal structure of space-time into account and connects the RG flows for Euclidean and Lorentz… ▽ More The gravitational asymptotic safety program strives for a consistent and predictive quantum theory of gravity based on a non-trivial ultraviolet fixed point of the renormalization group (RG) flow. We investigate this scenario by employing a novel functional renormalization group equation which takes the causal structure of space-time into account and connects the RG flows for Euclidean and Lorentzian signature by a Wick-rotation. Within the Einstein-Hilbert approximation, the $β$-functions of both signatures exhibit ultraviolet fixed points in agreement with asymptotic safety. Surprisingly, the two fixed points have strikingly similar characteristics, suggesting that Euclidean and Lorentzian quantum gravity belong to the same universality class at high energies. △ Less

Submitted 24 February, 2011; originally announced February 2011.

Comments: 4 pages, 2 figures

Report number: MZ-TH/11-02

Journal ref: Phys.Rev.Lett.106:251302,2011

Phase transition and critical behavior of d=3 chiral fermion models with left/right asymmetry

Authors: Holger Gies, Lukas Janssen, Stefan Rechenberger, Michael M. Scherer

Abstract: We investigate the critical behavior of three-dimensional relativistic fermion models with a U(N_L)_L x U(1)_R chiral symmetry reminiscent of the Higgs-Yukawa sector of the standard model of particle physics. We classify all possible four-fermion interaction terms and the corresponding discrete symmetries. For sufficiently strong correlations in a scalar parity-conserving channel, the system can… ▽ More We investigate the critical behavior of three-dimensional relativistic fermion models with a U(N_L)_L x U(1)_R chiral symmetry reminiscent of the Higgs-Yukawa sector of the standard model of particle physics. We classify all possible four-fermion interaction terms and the corresponding discrete symmetries. For sufficiently strong correlations in a scalar parity-conserving channel, the system can undergo a second-order phase transition to a chiral-symmetry broken phase which is a 3d analog of the electroweak phase transition. We determine the critical behavior of this phase transition in terms of the critical exponent $ν$ and the fermion and scalar anomalous dimensions for N_L >= 1. Our models define new universality classes that can serve as prototypes for studies of strongly correlated chiral fermions. △ Less

Submitted 5 October, 2009; originally announced October 2009.

Comments: 13 pages, 5 figures

Journal ref: Phys.Rev.D81:025009,2010

An asymptotic-safety mechanism for chiral Yukawa systems

Authors: Michael M. Scherer, Holger Gies, Stefan Rechenberger

Abstract: We introduce Weinberg's idea of asymptotic safety and pave the way towards an asymptotically safe chiral Yukawa system with a $U(N_L)_L \otimes U(1)_R$ symmetry in a leading-order derivative expansion using nonperturbative functional RG equations. As a toy model sharing important features with the standard model we explicitely discuss N_L=10 for which we find a non-Gaussian fixed point and compu… ▽ More We introduce Weinberg's idea of asymptotic safety and pave the way towards an asymptotically safe chiral Yukawa system with a $U(N_L)_L \otimes U(1)_R$ symmetry in a leading-order derivative expansion using nonperturbative functional RG equations. As a toy model sharing important features with the standard model we explicitely discuss N_L=10 for which we find a non-Gaussian fixed point and compute its critical exponents. We observe a reduced hierarchy problem as well as predictions for the toy Higgs and the toy top mass. △ Less

Submitted 2 October, 2009; originally announced October 2009.

Comments: 15 pages, 6 figures, talk presented at the Cracow School of Theoretical Physics, XLIX Course, Zakopane, Poland, May 31 - June 10, 2009, to appear in the proceedings

Journal ref: Acta Phys.Polon. Supp.2:541,2009

Towards an Asymptotic-Safety Scenario for Chiral Yukawa Systems

Authors: Holger Gies, Stefan Rechenberger, Michael M. Scherer

Abstract: We search for asymptotic safety in a Yukawa system with a chiral $U(N_L)_L\otimes U(1)_R$ symmetry, serving as a toy model for the standard-model Higgs sector. Using the functional RG as a nonperturbative tool, the leading-order derivative expansion exhibits admissible non-Ga\ssian fixed-points for $1 \leq N_L \leq 57$ which arise from a conformal threshold behavior induced by self-balanced boso… ▽ More We search for asymptotic safety in a Yukawa system with a chiral $U(N_L)_L\otimes U(1)_R$ symmetry, serving as a toy model for the standard-model Higgs sector. Using the functional RG as a nonperturbative tool, the leading-order derivative expansion exhibits admissible non-Ga\ssian fixed-points for $1 \leq N_L \leq 57$ which arise from a conformal threshold behavior induced by self-balanced boson-fermion fluctuations. If present in the full theory, the fixed-point would solve the triviality problem. Moreover, as one fixed point has only one relevant direction even with a reduced hierarchy problem, the Higgs mass as well as the top mass are a prediction of the theory in terms of the Higgs vacuum expectation value. In our toy model, the fixed point is destabilized at higher order due to massless Goldstone and fermion fluctuations, which are particular to our model and have no analogue in the standard model. △ Less

Submitted 2 July, 2009; originally announced July 2009.

Comments: 16 pages, 8 figures

Journal ref: Eur.Phys.J.C66:403-418,2010