每个度数的显式近拉马努金图

对于每个常数 $d \geq 3$ 和 $\epsilon > 0$，我们给出一个确定性的 $\mathrm{poly}(n)$ 时间算法，其输出一个在 $\Theta(n)$ 个顶点上的 $d$-正则图，该图是 $\epsilon$-近拉马努金的；即，其特征值的模由 $2\sqrt{d-1} + \epsilon$ 界定（不包括唯一的平凡特征值 $d$）。