Constraint effective action and critical correlation functions at fixed magnetization

We present an extension of the functional renormalization group (FRG) framework developed to compute critical probability distributions of the order parameter to momentum-dependent observables. Focusing on the constraint effective action at fixed magnetization for the Ising universality class, we derive its exact flow equations and solve them at the second order of the derivative expansion (DE2). We solve these flow equations numerically for two- and three-dimensional systems, extract universal rate functions and momentum-dependent correlation functions, and benchmark them against Monte Carlo simulations. In three dimensions, we recover the rate function and accurately reproduce the first few Fourier modes of the constrained correlation function and demonstrate the convergence of the method. In two dimensions, the lowest-order approximations such as local potential approximation fail, and it is required to consider at least the DE2 to describe the critical point. Our results are in qualitative agreement with the numerics. We confirm the robustness of the FRG approach for calculating both zero- and finite-momentum critical observables at fixed magnetization.