1: \begin{abstract}

2: %We characterize hyperfinite bipartite graphings that admit measurable perfect matchings.

3: %In particular, we prove that every regular hyperfinite one-ended bipartite graphing admits a measurable perfect matching.

4: %This allows us to extend the Lyons-Nazarov theorem by showing that a bipartite Cayley graph admits a factor of iid perfect matching if and only if the group is not isomorphic to the semidirect product of $\mathbb{Z}$ and a finite group of odd order, answering a question of Kechris and Marks in the bipartite case. We apply our theorems to construct measurable equidecompositions and give a simple approach to measurable circle squaring and an alternative proof of Borel circle squaring. We use our approach more generally for rounding measurable flows and perfect fractional matchings. 

5: 

6: We characterize hyperfinite bipartite graphings that admit measurable perfect matchings. In particular, we prove that every regular hyperfinite bipartite graphing admits a measurable perfect matching if it is one-ended or the degree is odd. We give several applications of this result, answering various open questions in the field.

7: For instance, we extend the Lyons--Nazarov theorem by characterizing bipartite Cayley graphs which admit a factor of iid perfect matching, % if and only if the group is not isomorphic to the semidirect product of $\mathbb{Z}$ and a finite group of odd order, 

8: answering the bipartite case of a well-known question of Lyons and Nazarov %\cite{lyons.nazarov},

9: popularized by Kechris and Marks%\cite{kechris.marks}

10: .

11: %{\color{blue} OK! {\color{purple} (refs removed)}}

12: Moreover, we show how our results apply to measurable equidecompositions and, in particular,  generalize the recent result of Grabowski, M\'ath\'e and Pikhurko on the measurable circle squaring. Our approach applies more generally to rounding measurable perfect fractional matchings. %{\color{yellow}and flows} {\color{red}Nope!}. 

13: \end{abstract}

14: