  In this paper, we develop the theory of punctured R-maps as a crucial
component of logarithmic gauged linear sigma models (log GLSM). A punctured
R-map is a punctured map in the sense of ACGS, further twisted by the sheaf of
differentials on the domain curve. They admit two different but closely related
perfect obstruction theories - a canonical one and a reduced one. While the
canonical theory leads to generalized double ramification cycles with targets
and spin structures, without expansions, the reduced theory describes boundary
contributions in log GLSM.
  Major results of this paper include a sequence of axioms in both canonical
and reduced theories:
  1. A product formula computing disconnected invariants in terms of connected
ones
  2. Fundamental class axioms, string and divisor equations
  As an important application, these formulas lead to a class of invariants in
the reduced theory, called effective invariants. They are at the heart of
recent advances in GW theory, and will be shown to give rise to explicit
correction terms to the quantum Lefschetz principle in higher genus GW theory
for arbitrary smooth complete intersections in a forthcoming paper.
  For quintic 3-folds, we show that all effective invariants are determined by
$[(2g-2)/5] + 1$ many basic effective invariants, using the formulas in (1) and
(2). This matches the number of free parameters of the famous BCOV B-model
theory in physics. Similar results apply to other complete intersections. This,
together with the joint works of the last two authors and S. Guo on the genus
two mirror theorem and the higher genus mirror conjectures for quintic 3-folds,
shows that log GLSM is an effective tool for proving BCOV-type conjectures in
higher genus GW theory.
  Further applications of punctured R-maps include an LG/CY correspondence for
effective invariants and a relation to the locus of holomorphic differentials.
