Homotopy transfer for QFT on non-compact manifolds with boundary: A case study

In this work we report a homological perturbation calculation to construct effective theories of topological quantum mechanics on R_⩾0. Such calculation can be regarded as a generalization of Feynman graph computations. The resulting effective theories fit into a derived BV algebra structure, which generalizes BV quantization. Besides, our construction may serve as the simplest example of a process called "boundary transfer", which may help study bulk-boundary correspondence.