Jiang, Z.; Yehudayoff, A. An Isoperimetric Inequality for Hamming Balls and Local Expansion in Hypercubes. Electron. J. Combin. 2022, 29, P1.15.