Schroedinger functional formalism with Ginsparg-Wilson fermion

The Schroedinger functional formalism is given as a field theory in a finite volume with a Dirichlet boundary condition in temporal direction. When one tries to construct this formalism with the Ginsparg-Wilson fermion including the overlap Dirac operator and the domain-wall fermion one easily runs into difficulties. The reason is that if the Dirichlet boundary condition is simply imposed on the Wilson Dirac operator $DW$ inside of the overlap Dirac operator an exponentially small eigenvalue appears in $DW$, which affects the locality properties of the operator. In this paper we propose a new procedure to impose the Schroedinger functional Dirichlet boundary condition on the overlap Dirac operator using an orbifolding projection.