1: \begin{abstract}

2: Following our recent study [P.Yu. Moshin, A.A. Reshetnyak,  Nucl.

3: Phys. B 888 (2014)  92], we discuss the notion of finite

4: BRST-antiBRST transformations,

5:  with a doublet $\lambda_{a}$,

6: $a=1,2$, of anticommuting (both global and field-dependent)

7: Grassmann parameters. It turns out that the global finite BRST-antiBRST transformations form

8: a 2-parametric Abelian supergroup.  We  find an explicit Jacobian corresponding

9: to this change of variables in the theories with a gauge group.

10: Special field-dependent BRST-antiBRST transformations  for the

11: Yang--Mills path integral with $s_{a}$-potential

12: (functionally-dependent) parameters $\lambda_{a}=s_{a}\Lambda$

13: generated  by a finite even-valued functional $\Lambda$ and the

14: anticommuting generators $s_{a}$ of BRST-antiBRST transformations,

15: amount to a precise change of the gauge-fixing functional. This

16: proves the independence of the vacuum functional under such

17: BRST-antiBRST transformations and leads to the presence of

18: modified Ward identities.  The form of transformation parameters

19: that induces a change of the gauge in the path integral is found

20: and is exactly evaluated  for connecting two arbitrary $R_{\xi

21: }$-like gauges. The finite field-dependent BRST-antiBRST

22: transformations are used to generalize the Gribov horizon

23: functional $h_{ 0   }$, in the Landau gauge of the BRST-antiBRST

24: setting in the Gribov--Zwanziger model, and to find $h_{\xi}$

25: corresponding to general $R_{\xi}$-like gauges in the form

26: compatible with a gauge-independent $S$-matrix.

27: \end{abstract}

28: