Equivalence of the Banach–Tarski paradox I am working on the Banach–Tarski paradox and the fact that the Hahn–Banach theorem implies that paradox. The proof involves the equivalence of the Hahn–Banach theorem and the fact that for every Boolean algebra $\mathcal A$ there is a finitely additive "measure" $\mathrm m:\mathcal A \to [0,+\infty]$  such that some element of $\mathcal A$ has finite measure.
$\mathsf{ZF}$ is not enough to derive the Banach-Tarski paradox, nor is $\mathsf{ZF}+\mathsf{DC}$.
However, I am interested in reversing the roles, in order to characterize the Banach–Tarski paradox in terms of choice-like axioms. Hahn–Banach is strictly weaker than the axiom of choice or the ultrafilter lemma/boolean prime ideal theorem.

Can we find a weaker axiom to derive the Banach–Tarski paradox? Do you know any reference or have any ideas on this? Are there weaker axioms that should suffice in order to get the Banach–Tarski paradox? Is it possible to reformulate the Banach–Tarski paradox in a way that this assumption allows us in $\mathsf{ZF}$ to recover the Hahn–Banach extension theorem?

These questions do not seem clear to me, so I would be very pleased if they are somehow absurd. Thanks in advance.
 A: The Banach-Tarski paradox is about real numbers, so it is limited to special kind of sets. The Hahn-Banach theorem is much more general. Therefore, trying to recover the Hahn-Banach theorem, we have to reformulate the Banach-Tarski paradox in a reasonable way. Recall that the core of the paradox is the existence of a free group of rotations acting on the sphere $\mathbb{S}^2$ in the way that the set of fixed points can be eliminated (we can absorb the points and recover two spheres from the one). Clearly, we can generalize the paradoxical construction to arbitrary group actions on some abstract spaces. The point is that we must care about fixed points. So consider a group $G$ acting on a space $X$, we say that the set $F$ of fixed points of the $G$-action is absorbable if $X$ is $G$-equidecomposable to $X \setminus F$, that is $X$ can be partitioned into finitely many sets $A_1,...A_k$ and $X \setminus F$ can be partitioned into finitely many sets $B_1,...,B_k$ such that $g_i(A_i) = B_i$ for $i=1,...,k$ and $g_i \in G$. Thus we have the following generalization of the Banach-Tarski paradox:
If a free non-abelian group of rank two $F_2$ acts on a set $X$ in the way that the set of fixed points is absorbable, then $X$ is $F_2$-paradoxical (there is a Banach-Tarski decomposition of X via elements of the group $F_2$).
I think that this general setting should correspond with the existence/non-existence of measures that is used in the implication Hahn-Banach theorem $\Rightarrow$ Banach-Tarski paradox.
