A counterexample to the monotone increasing behavior of an Alt-Caffarelli-Friedman formula in the Heisenberg group

In this paper, we provide a counterexample about the existence of an increasing monotonicity behavior of a function introduced by Ferrari and Forcillo (2020), companion of the celebrated Alt-Caffarelli-Friedman monotonicity formula, in the noncommutative framework.