Scalar Finite-Proper-Time Field Theory as Spectral Operator Calculus

Technical Summary: Scalar Finite-Proper-Time Field Theory as Spectral Operator Calculus

Problem and Motivation
The paper addresses the conceptual and technical ambiguities surrounding the introduction of a finite lower endpoint, $s_0$, in Schwinger proper-time representations of quantum field theory. In conventional applications, the proper-time parameter $s$ is integrated from $0$ to $\infty$, with a lower cutoff often serving as a temporary ultraviolet (UV) regulator that is removed after renormalization. Recent work in Finite-Proper-Time (FPT) QED [5] proposed retaining a finite $s_0 = \Lambda^{-2}$ as a fundamental parameter of the theory rather than a removable regulator. However, separating the physical implications of a retained endpoint from standard renormalization group (RG) schemes, field redefinitions, and auxiliary cutoffs remains difficult in gauge theories due to the complexity of Ward–Takahashi identities.

This paper isolates these issues by constructing a scalar $\lambda\phi^4$ theory in Euclidean space. The primary goal is to determine whether a retained finite endpoint $s_0$ represents a physically distinct theory or merely a redundant scheme choice that can be absorbed by local counterterms or admissible field redefinitions. Specifically, the authors ask: (1) How is a finite endpoint defined representation-independently? (2) Does functional differentiation partition a single complete history or create new independent regulated propagators? (3) After matching renormalizable parameters, does a non-constant, momentum-dependent remainder survive that cannot be removed by local operations?

Methodology and Framework
The authors formulate the theory using spectral operator calculus rather than diagrammatic Feynman rules with ad-hoc cutoffs. The core definitions rely on two paired spectral functions for a positive operator $K$:

1. Open spectral function (Covariance): $R_{s_0}(K) = \int_{s_0}^\infty ds \, e^{-sK} = e^{-s_0 K} K^{-1}$.
2. Closed spectral function (Effective Action): $\Gamma^{(1)}_{s_0}[K] = -\frac{1}{2} \text{Tr} \, E_1(s_0 K)$, where $E_1$ is the exponential integral.

The theory is defined by a "complete-history" hierarchy:

• History Partitioning: Functional differentiation of a closed history (trace-log) or an open history (covariance) does not create new independent histories. Instead, it partitions the total proper time $T$ of a single pre-existing history into segments $u_j$ such that $\sum u_j = T \ge s_0$. The lower bound applies to the sum of segments, not individual segments.
• Higher-Loop Sewing: At higher loops, interaction vertices sew together separately complete open covariances. For example, in a two-loop "figure-eight" diagram, the two loops are distinct complete histories, each requiring its own total proper time $T_i \ge s_0$.
• Operator Calculus: The authors utilize Fréchet derivatives, divided differences, and the Duhamel formula to derive exact expressions for functional derivatives of all orders. This establishes a non-commutative derivative hierarchy that respects the geometry of the proper-time simplex.

Key Results and Derivations

1. Exact Effective Action and Loop Expansion: The paper derives the exact effective action identity and its expansion through two loops. The one-loop term is shown to be equivalent to a Gaussian differentiation, a trace-log, a Schwinger integral, or a heat-kernel trace. The two-loop effective action consists of the "figure-eight" and "sunset" topologies, constructed from the exact background covariance $R_{s_0}(K_{\bar{\phi}})$.
2. Distinction from Auxiliary Regulators: The authors demonstrate that a graph-global cutoff (imposing $\sum T_i \ge s_0$) is insufficient to remove subdivergences, as it leaves subgraph short-time limits accessible. In contrast, the "complete-history" prescription (imposing $T_i \ge s_0$ for each independent line) correctly suppresses UV regions while maintaining the operator structure.
3. Renormalization and Non-Redundancy:
   • The authors perform a one-loop calculation of the four-point function. After fixing the renormalized mass, field normalization, and quartic coupling via standard momentum-subtraction (MOM) conditions, a finite momentum-dependent remainder persists.
   • The leading $O(s_0)$ correction is kinematically constant (proportional to $s+t+u = 4m^2$) and thus on-shell redundant; it can be absorbed into the matched quartic coupling.
   • However, the first non-constant contribution appears at $O(s_0^2)$ and is proportional to $s^2 + t^2 + u^2$. This term varies over the physical scattering surface and cannot be removed by local counterterms or admissible S-matrix-preserving field redefinitions.
4. Predictive Trajectory: The infinite tower of higher-derivative coefficients in the low-energy expansion is not independent. They are all correlated by the single parameter $s_0$. The ratio of successive on-shell coefficients determines $s_0$, making the scale identifiable from matched kinematic data.
5. Lorentzian Structure and Positivity:
   • The free propagator retains the physical pole at $p^2 = m^2$ with unit residue.
   • The one-loop bubble discontinuity (Cutkosky cut) remains unchanged, as the entire exponential factor equals unity on the mass shell.
   • Crucial Limitation: The theory fails reflection positivity (Osterwalder–Schrader condition) for any $s_0 > 0$. The Euclidean covariance is not a Stieltjes function, and the formal Lorentzian propagator contains an entire factor $e^{s_0(p^2-m^2)}$ that grows exponentially in timelike directions, rendering it non-tempered.

Claims and Significance
The paper makes a precise, modest claim regarding the status of the finite endpoint:

• Non-Redundancy: The retained endpoint $s_0$ is not a removable UV regulator, a subtraction convention, or a trivial field redefinition. At one loop, it generates a physical, non-constant on-shell effect that distinguishes the theory from ordinary renormalized $\lambda\phi^4$ theory.
• Effective Field Theory (EFT) Correlation: While the low-energy limit can be represented as an EFT with higher-derivative operators, the Wilson coefficients are not independent. They form a correlated sequence fixed by $s_0$. This distinguishes the theory from a generic EFT where coefficients are arbitrary.
• No Non-Perturbative Unitarity Proof: The authors explicitly state that this construction does not prove the existence of a non-perturbative, unitary Lorentzian interacting theory. The failure of reflection positivity and the non-tempered nature of the propagator remain unresolved obstructions to a standard Hilbert space interpretation.
• Role as a Laboratory: The scalar theory serves as a "neutral test bed" to validate the structural rules (history partitioning, sewing, spectral calculus) proposed in the companion FPT QED work [5]. It isolates the operator calculus from gauge symmetry, allowing for a clean test of whether a retained scale is physically non-redundant.

In conclusion, the paper establishes that a finite proper-time scale, when defined via a complete-history spectral calculus, introduces a physically distinct, predictive structure at the perturbative level, provided one accepts the limitations regarding Lorentzian unitarity and reflection positivity. The scale $s_0$ acts as a retained parameter of the spectral operator calculus rather than an arbitrary cutoff.