A three-dimensional effective lattice theory of Polyakov loops is derived from QCD by expansions in the fundamental character of the gauge action, u, and the hopping parameter, κ, whose action is correct to κ n u m with n + m = 4. At finite baryon density, the effective theory has a sign problem which meets all criteria to be simulated by complex Langevin as well as by Monte Carlo on small volumes. The theory is valid for the thermodynamics of heavy quarks, where its predictions agree with simulations of full QCD at zero and imaginary chemical potential. In its region of convergence, it is moreover amenable to perturbative calculations in the small effective couplings. In this work we study the challenging cold and dense regime. We find unambiguous evidence for the nuclear liquid gas transition once the baryon chemical potential approaches the baryon mass, and calculate the nuclear equation of state in the limit of heavy baryons. In particular, we find a negative binding energy per nucleon causing the condensation, whose absolute value decreases exponentially as mesons get heavier. For decreasing meson mass, we observe a first order liquid gas transition with an endpoint at some finite temperature, as well as a gap between the onset of isospin and baryon condensation.

Lattice QCD at finite density suffers from a severe sign problem, which has so far prohibited simulations of the cold and dense regime. Here we study the onset of nuclear matter employing a three-dimensional effective theory derived by combined strong coupling and hopping expansions, which is valid for heavy but dynamical quarks and has a mild sign problem only. Its numerical evaluations agree between a standard Metropolis and complex Langevin algorithm, where the latter is free of the sign problem. Our continuum extrapolated data approach a first order phase transition at μ(B) ≈ m(B) as the temperature approaches zero. An excellent description of the data is achieved by an analytic solution in the strong coupling limit.

A previously derived three-dimensional effective lattice theory describing the thermodynamics of QCD with heavy quarks in the cold and dense region is extended through order ∼ u 5 κ 8 in the combined character and hopping expansion of the original four-dimensional Wilson action. The systematics of the effective theory is investigated to determine its range of validity in parameter space. We demonstrate the severe cut-off effects due to lattice saturation, which afflict any lattice results at finite baryon density independent of the sign problem or the quality of effective theories, and which have to be removed by continuum extrapolation. We then show how the effective theory can be solved analytically by means of a linked cluster expansion, which is completely unaffected by the sign problem, in quantitative agreement with numerical simulations. As an application, we compute the cold nuclear equation of state of heavy QCD. Our continuum extrapolated result is consistent with a polytropic equation of state for non-relativistic fermions.

With combined hopping parameter and strong coupling expansions, we calculate a dimensionally reduced Polyakov-loop effective theory valid for heavy quarks at nonzero temperature and arbitrary chemical potential. We numerically compute the critical endpoint of the deconfinement transition as a function of quark masses and number of flavours. We also investigate the applicability of the model to the low-T and high density region, specifically in terms of baryon condensation phenomena.

The cold and dense regime of the QCD phase diagram is to this day inaccessible to first principle lattice calculations owing to the sign problem. Here we present progress of an ongoing effort to probe this particularly difficult regime utilising a dimensionally reduced effective lattice theory with a significantly reduced sign problem. The effective theory is derived by combined character and hopping expansion and is valid for heavy quarks near the continuum. We show an extension of the effective theory to order u 5 κ 8 in the cold regime. A linked cluster expansion is applied to the effective theory resulting in a consistent mechanism for handling the effective theory fully analytically. The new results are consistent with the ones from simulations confirming the viability of analytic methods. Finally we resum the analytical result which doubles the convergence region of the expansion.