We present the first explicit construction of two-sided lossless expanders in the unbalanced setting (bipartite graphs that have many more nodes on the left than on the right). Prior to our work, all known explicit constructions in the unbalanced setting achieved only one-sided lossless expansion.

Specifically, we show that the one-sided lossless expanders constructed by Kalev and Ta-Shma (RANDOM'22)--that are based on multiplicity codes introduced by Kopparty, Saraf, and Yekhanin (STOC'11)--are, in fact, two-sided lossless expanders.

Using our unbalanced bipartite expander, we easily obtain lossless (non-bipartite) expander graphs on $N$ vertices with polynomial degree and a free group action. As far as we know, this is the first explicit construction of lossless (non-bipartite) expanders with $N$ vertices and degree $\ll N$.

Improvements in our main results from the earlier version

We present the first explicit construction of two-sided lossless expanders in the unbalanced setting (bipartite graphs that have many more nodes on the left than on the right). Prior to our work, all known explicit constructions in the unbalanced setting achieved only one-sided lossless expansion.

Specifically, we show that the one-sided lossless expanders constructed by Kalev and Ta-Shma (RANDOM'22)---that are based on multiplicity codes introduced by Kopparty, Saraf, and Yekhanin (STOC'11)---are, in fact, two-sided lossless expanders.

Using our unbalanced bipartite expander, we easily obtain lossless (non-bipartite) expander graphs with high degree and a free group action. As far as we know, this is the first explicit construction of lossless (non-bipartite) expanders with $N$ vertices and degree $\ll N$.