## 1 Introduction

Path integrals [3, 4] are a standard tool in the theoretical description of quantum systems. Starting from a classical theory, describing paths (orbits) of the underlying system in configuration space and an action, governing its dynamics, they provide formulas for the propagators, i.e. the time ordered scattering operators in the resulting quantum theory. These formulas yield useful algorithms for the treatment of concrete problems. The proper definition of the underlying functional integrals is a quite subtle matter, however. It frequently requires reformulations of the integrals, e.g. in Euclidean space or on discrete lattices, which defy a direct physical interpretation. Moreover, changes of the states of the system, such as the passage from vacuum to thermal states, require adequate modifications of the integrals. And, last but not least, even though this approach is known to give satisfactory results, its conceptual foundations remained obscure.

It is therefore gratifying that the essence of the path integral formalism can be replaced by simple algebraic relations without having to dive into the mathematical subtleties of functional integrals on infinite dimensional configuration spaces. Moreover, this reformulation sheds new light on the foundations of quantum physics. This new algebraic framework was established in quantum field theory in an effort to amend the axiomatic framework by some concrete dynamical input . It was then extended to quantum mechanics, where its conceptual foundations were also settled . It is the aim of the present letter to clarify its relation to the path integral formalism.

## 2 Path Integrals

Consider a system of N distinguishable particles of equal mass (put equal to 1) whose orbits are given by functions of time $$t \mapsto {\varvec{x}}(t) \in {{\mathbb {R}}}^{3N}$$. Their unperturbed motion is fixed by the Lagrangean $${\mathcal {L}}_0({\dot{{\varvec{x}}}}) = (1/2) \, {\dot{{\varvec{x}}}}^2$$. Temporary perturbations of this motion and interactions between the particles are described by time dependent potentials

\begin{aligned} {\varvec{x}}\mapsto V_t({\varvec{x}}) = \sum _k g_k(t) \, V_k({\varvec{x}}) , \end{aligned}

where the functions $$g_k$$ indicate when and for how long the potentials $$V_k$$ are effective. Their impact on any given orbit $${\varvec{x}}$$ is given by functionals $$F[{\varvec{x}}] = \int _{t_i}^{t_f} \! dt \, V_t({\varvec{x}}(t))$$, where $$t_i$$ is any time before the perturbation starts and $$t_f$$ any time after it has finished; the square bracket $$[{\varvec{x}}]$$ indicates that a quantity depends on the whole orbit $${\varvec{x}}$$. Turning to the quantum system, the effect of the perturbations can be described by a unitary scattering matrix S(F). It is given by the formula

\begin{aligned} S(F) = e^{it_f H_0} U_F(t_f,t_i) e^{-it_i H_0} , \end{aligned}

where $$H_0$$ is the Hamiltonian of the unperturbed system and $$U_F(t_f,t_i)$$ is the propagator for the perturbed Hamiltonian $$H_0 + V_t({\varvec{Q}})$$, $${\varvec{Q}}$$ being the position operator. The kernel of the propagator is given by a path integral in position space, involving the above functional F,

\begin{aligned} \langle {\varvec{q}}| \, U_F(t_f,t_i) \, | {\varvec{q}}' \rangle = \int _{\varvec{q}}^{{\varvec{q}}'} \! {{\mathscr {D}}}{\varvec{x}}\, \exp \Bigg ( i \int _{t_i}^{t_f} \! dt \, ({\mathcal {L}}_0({\dot{{\varvec{x}}}}(t)) - V_t({\varvec{x}}(t)) \Bigg ) . \end{aligned}

Ignoring mathematical subtleties, $${{\mathscr {D}}}{\varvec{x}}$$ denotes the measure on the family of orbits (paths) $${\varvec{x}}$$, starting at time $$t_i$$ at $${\varvec{q}}$$ and ending at time $$t_f$$ at $${\varvec{q}}'$$. Still at a heuristic level, let us assume that this measure is invariant under deformations of the orbits by loops $$t \mapsto {\varvec{x}}_0(t)$$ about 0, i.e. smooth functions having their supports in the time interval $$t_i \le t \le t_f$$. The integrand is thereby transformed into

\begin{aligned} {\mathcal {L}}_0({\dot{{\varvec{x}}}}(t) + {\dot{{\varvec{x}}}}_0(t)) - V_t({\varvec{x}}(t) + {{\varvec{x}}}_0(t)) = {\mathcal {L}}_0({\dot{{\varvec{x}}}}(t)) + \delta {\mathcal {L}}_0({{\dot{{\varvec{x}}}}}_0(t))({\dot{{\varvec{x}}}}(t)) - V_t^{{\varvec{x}}_0}({\varvec{x}}(t)) , \end{aligned}

where we make use of the short hand notation

\begin{aligned} \delta {\mathcal {L}}_0({{\dot{{\varvec{x}}}}}_0)({\dot{{\varvec{x}}}})&: = {\mathcal {L}}_0({\dot{{\varvec{x}}}} + {\dot{{\varvec{x}}}}_0) - {\mathcal {L}}_0({\dot{{\varvec{x}}}}) = \dot{{\varvec{x}}_0} \, {\dot{{\varvec{x}}}} + (1/2) \, {\dot{{\varvec{x}}}}_0^2 \\ V_t^{{\varvec{x}}_0}({\varvec{x}})&:= V_t({\varvec{x}}+ {\varvec{x}}_0) . \end{aligned}

Now by a partial integration, the velocity $${\dot{{\varvec{x}}}}$$ in the integral $$\int _{t_i}^{t_f} \! dt \, \delta {\mathcal {L}}_0({{\dot{{\varvec{x}}}}}_0(t))({\dot{{\varvec{x}}}}(t))$$ can be transformed into $${\varvec{x}}$$, so the term $$\int _{t_i}^{t_f} \! dt \, (\delta {\mathcal {L}}_0({{\dot{{\varvec{x}}}}}_0(t))({\dot{{\varvec{x}}}}(t)) - V_t^{{\varvec{x}}_0}({\varvec{x}}(t))$$ describes just another perturbation. Plugging this information into the scattering matrix for given perturbing functional F and any given loop $${\varvec{x}}_0$$, and putting $$F^{{\varvec{x}}_0}[{\varvec{x}}] := F[{\varvec{x}}+ {\varvec{x}}_0]$$, we arrive at the equality

\begin{aligned} S(F) = S(F^{{\varvec{x}}_0} + \delta {\mathcal {L}}_0({\dot{{\varvec{x}}}}_0)) , \end{aligned}
(1)

containing dynamical information. The second fundamental ingredient in the functional integral formalism is the time ordering involved in the definition of the scattering operators. A perturbing functional $$F_1$$ is said to lie in the future of $$F_2$$ if the underlying potential $$t \mapsto V_{1,t}$$ in $$F_1$$ has support in the future of $$t \mapsto V_{2,t}$$, entering in $$F_2$$. The preceding discussion then implies that the resulting scattering matrices satisfy the equality $$S(F_1) S(F_2) = S(F_1 + F_2)$$. As a matter of fact, given any other functional $$F_3$$, one obtains by splitting it into $$F_3 = F_{3 +} + F_{3 -}$$, such that $$F_1 + F_{3 +}$$ lies in the future of $$F_2 + F_{3 -}$$, the more refined equality 

\begin{aligned} S(F_1 + F_2 + F_3) = S(F_1 + F_3) S(F_3)^{-1} S(F_2 + F_3) \, . \end{aligned}
(2)

The preceding two equalities is all what is needed in order to define dynamical algebras.

## 3 Dynamical Algebras

We leave now the mathematically subtle territory of path integrals and take a fresh look at the problem of describing our interventions into the quantum world. From a macroscopic point of view there are two obvious facts. First, quantum systems are tested by perturbing them; in laboratories this happens in a systematic manner, but its surroundings produce such perturbations as well. We therefore propose to take the operations, induced by perturbations, as primary ingredients of the theory. If one happens to know the particular shape of some perturbation in space and time, being described by a functional F, the resulting operation is denoted by S(F). The second ingredient taken from the macroscopic world is the arrow of time. It enters into the quantum world since we can firmly state whether some operation $$S(F_1)$$ was performed after or before some other operation $$S(F_2)$$. Moreover, it is impossible to make up for missed operations in the past, time is directed.

Since operations can be performed time and again, it is meaningful to assume that they form a semigroup. As a matter of fact, dealing with experimentally accessible systems, it is also plausible that the effect of some operation can be rubbed out by another one, in accordance with the fact that experiments can be repeated. We therefore postulate that the operations S(F), which can be performed on quantum systems, form a group. It becomes a dynamical group for given Lagrangean. For the case at hand of a mechanical system, we take for simplicity the free Lagrangean $${\mathcal {L}}_0$$ and rely on findings obtained in the preceding step.

Definition Let $${\mathcal {L}}_0$$ be a Lagrangean. An operation, fixed by a functional F describing some perturbation of the dynamics, is represented by the symbol S(F). So, in particular, $$S(0) = 1$$. These symbols generate a dynamical group $${\mathcal {G}}_{{\mathcal {L}}_0}$$. They satisfy the relations

1. (i)

$$S(F) = S(F^{{\varvec{x}}_0} + \delta {\mathcal {L}}_0({\dot{{\varvec{x}}}}_0))$$ for any functional F and loop $${\varvec{x}}_0$$

2. (ii)

$$S(F_1 + F_2 + F_3) = S(F_1 + F_3) S(F_3)^{-1} S(F_2 + F_3)$$ for any functional $$F_3$$, provided $$F_1$$ lies in the future of $$F_2$$.

Based only on macroscopic (classical) concepts, the dynamical group is defined by these relations; there is no quantization condition built in from the outset. Nevertheless, the group is inherently non-commutative. As we shall see, the value of Planck’s constant is determined by operations corresponding to the constant functionals $${\varvec{x}}\mapsto F_{\text {h}}[{\varvec{x}}]:= {\text {h}}$$, $${\text {h}} \in {{\mathbb {R}}}$$. These functionals have empty support in time; phrased differently, they can be realized by time integrals $$\int \! dt \, h(t) = {\text {h}}$$, where $$t \mapsto h(t)$$ has arbitrary support. It therefore follows from the causality condition (ii) that $$S(F) S(F_{\text {h}}) = S(F + F_{\text {h}}) = S(F_{\text {h}}) S(F)$$. So the operations $${\text {h}} \mapsto S(F_{\text {h}})$$ form an abelian group in the center of $${\mathcal {G}}_{{\mathcal {L}}_0}$$. Without essential loss of generality, we fix a scale and put $$S(F_{\text {h}}) = e^{i {\text {h}} } 1$$, $${\text {h}} \in {{\mathbb {R}}}$$. We also note that the dynamical relation (i) implies $$S(\delta {\mathcal {L}}_0({\dot{{\varvec{x}}}}_0)) = 1$$ for all loops; these equalities correspond to the classical Euler–Lagrange equation.

Having defined the group $${\mathcal {G}}_{{\mathcal {L}}_0}$$, it is a standard procedure to construct a corresponding dynamical algebra $${\mathcal {A}}_{{\mathcal {L}}_0}$$. One declares that the elements $$S_k$$ of the group are basis elements of some complex vector space, leading to finite sums with complex coefficients, $$\sum _k c_k S_k$$. The adjoint operators are defined by $$(\sum _k c_k S_k)^*:= \sum _k {\overline{c}}_k S_k^{-1}$$, where the bar denotes complex conjugation. The rules for multiplication are inherited from the group by the distributive law. One can show  that the algebra $${\mathcal {A}}_{{\mathcal {L}}_0}$$ is equipped with a norm which promotes it to a C*-algebra, i.e. an algebra which can be realized as a norm closed subalgebra of the algebra of bounded operators on some Hilbert space.

Before showing that this algebra contains the entire information incorporated in the conventional quantum mechanical setting, let us emphasize that our scheme of constructing dynamical algebras covers a large set of systems of physical interest. What is needed is that the system can be described in terms of some classical configuration space, on which a group acts (the loops in the present case), and some Lagrangean. Moreover, one needs a causal structure, given in the present context by the direction of time. In  this scheme was applied to an interacting scalar quantum field in Minkowski space for which one also has a classical configuration space, the analogue of loops, and Lagrangeans. The causal structure, however, has to be replaced by the relativistic one, and is concretely given by the partially ordered set of forward lightcones. With that modification, the definition of the dynamical algebra is identical to the preceding one and one arrives in this manner at a consistent description of field theoretic models, satisfying all fundamental postulates of relativistic quantum field theory.

## 4 Recovery of Quantum Mechanics

In this section we give a brief account of results established in , showing that the dynamical algebra of mechanical systems entails the standard formalism of quantum mechanics. In view of the fact that no explicit quantization condition was incorporated into the dynamical algebra, we are led to the conclusion that the origin of quantum effects is the arrow of time, being encoded in the operations. The specific form of commutation relations then follows from the Lagrangean.

Proceeding from the non-interacting Lagrangean $${\mathcal {L}}_0$$, we consider the simplest functionals (perturbations) of the form $$F_{{\varvec{f}}}[{\varvec{x}}] = \int \! dt \, {\varvec{f}}(t) {\varvec{x}}(t) + {\mathrm h}$$. Here $$t \mapsto {\varvec{f}}(t)$$ is some continuous function, the integral extends over the (compact) support of $${\varvec{f}}$$, and $${\mathrm h}$$ is a constant. A convenient choice which simplifies subsequent formulas is

\begin{aligned} {\mathrm h}({\varvec{f}}) := (1/2) \iint \! ds ds' \, |s - s'| {\varvec{f}}(s) \, {\varvec{f}}(s') . \end{aligned}

Given another function $${\varvec{f}}'$$ for which the first two moments coincide with those of $${\varvec{f}}$$, i.e.

\begin{aligned} \int \! dt \, ({\varvec{f}}'(t)- {\varvec{f}}(t)) = \int \! dt \, t \, ({\varvec{f}}'(t) - {\varvec{f}}(t)) = 0 , \end{aligned}

their difference $$\ddot{{\varvec{x}}}_0 = {\varvec{f}}' - {\varvec{f}}$$ determines a loop function

\begin{aligned} t \mapsto {\varvec{x}}_0(t) = \int _{- \infty }^t \! ds \, (t-s) \, ({\varvec{f}}' - {\varvec{f}})(s) . \end{aligned}

By a straightforward computation one obtains for the resulting functionals the equalities, cf. ,

\begin{aligned} F_{\varvec{f}}[{\varvec{x}}] = F_{{\varvec{f}}'}[{\varvec{x}}+ {\varvec{x}}_0] + F_{-\ddot{{\varvec{x}}}_0}[{\varvec{x}}] = F_{{\varvec{f}}'}^{{\varvec{x}}_0}[{\varvec{x}}] + \delta {\mathcal {L}}_0({\dot{{\varvec{x}}}}_0)[{\varvec{x}}] . \end{aligned}

Plugging the latter expression into the dynamical relation (i), one arrives at $$S(F_{\varvec{f}}) = S(F_{{\varvec{f}}'})$$ for arbitrary pairs of functions $${\varvec{f}}, {\varvec{f}}'$$ whose first two moments coincide. In particular, $$S(F_{\ddot{{\varvec{x}}}_0}) = 1$$ for all loop functions $${\varvec{x}}_0$$. As we shall see, these relations determine solutions of the Heisenberg equation.

Next, let $$F_{\varvec{g}}[{\varvec{x}}] = \int \! dt \, {\varvec{g}}(t) {\varvec{x}}(t) + {\mathrm h}({\varvec{g}})$$ be another functional. We want to determine the relation between the unitary operators $$S(F_{\varvec{f}})$$ and $$S(F_{\varvec{g}})$$. To this end we replace $${\varvec{f}}$$ as in the preceding step by a function $${\varvec{f}}'$$ which has support in the future of $${\varvec{g}}$$. Making use of the causal relation (ii), we obtain

\begin{aligned} S(F_{\varvec{f}}) S(F_{\varvec{g}}) = S(F_{{\varvec{f}}'}) S(F_{\varvec{g}}) = S(F_{{\varvec{f}}'} + F_{{\varvec{g}}}) . \end{aligned}

In view of the linear dependence of the given functionals on the underlying orbits it is apparent that $$F_{{\varvec{f}}'} + F_{{\varvec{g}}} - F_{{\varvec{f}}' + {\varvec{g}}}$$ is a constant functional. By another routine computation one finds 

\begin{aligned} F_{{\varvec{f}}'}[{\varvec{x}}] + F_{{\varvec{g}}}[{\varvec{x}}] - F_{{\varvec{f}}' + {\varvec{g}}}[{\varvec{x}}] = -(1/2) \langle {\varvec{f}}', \Delta {\varvec{g}}\rangle , \end{aligned}

where we have defined

\begin{aligned} \langle {\varvec{f}}', \Delta {\varvec{g}}\rangle := \iint \! ds ds' {\varvec{f}}'(s) (s'-s) {\varvec{g}}(s') . \end{aligned}

In view of the fact that this is a constant functional on the space of paths, we can proceed to

\begin{aligned} S(F_{{\varvec{f}}'} + F_{{\varvec{g}}}) = S( F_{{\varvec{f}}' + {\varvec{g}}} - (1/2) \langle {\varvec{f}}', \Delta {\varvec{g}}\rangle ) = S( F_{{\varvec{f}}' + {\varvec{g}}}) \, e^{-(i/2) \langle {\varvec{f}}', \Delta {\varvec{g}}\rangle } , \end{aligned}

where in the second equality our choice of scale for the constant functionals entered. Now, by construction, the first and second moments of the functions $$({\varvec{f}}' + {\varvec{g}})$$ and $$({\varvec{f}}+ {\varvec{g}})$$ coincide, so according to the first step we have $$S( F_{{\varvec{f}}' + {\varvec{g}}}) = S(F_{{\varvec{f}}+ {\varvec{g}}})$$. By inspection of its defining equation, it is also clear that $$\langle {\varvec{f}}', \Delta {\varvec{g}}\rangle = \langle {\varvec{f}}, \Delta {\varvec{g}}\rangle$$. Thus we have arrived at the equality

\begin{aligned} S(F_{\varvec{f}}) S(F_{\varvec{g}}) = e^{- (i/2) \langle {\varvec{f}}, \Delta {\varvec{g}}\rangle } \, S(F_{{\varvec{f}}+ {\varvec{g}}}) . \end{aligned}

This relation shows that the unitary operators $$S(F_{\varvec{f}})$$ do not commute amongst each other. They form a familiar Lie group, the Weyl group. We proceed from this Lie group to its Lie algebra (defined in suitable representations) and represent the unitaries by exponentials of the corresponding generators,

\begin{aligned} e^{\, i \int \! dt \, {\varvec{f}}(t) {\varvec{Q}}(t)} := S(F_{\varvec{f}}) . \end{aligned}

Now, as we have seen, $$S(F_{\ddot{{\varvec{x}}}_0}) = S(0) = 1$$ for the second derivatives of all loop functions $${\varvec{x}}_0$$. So the time dependence of the generators is given by

\begin{aligned} t \mapsto {\varvec{Q}}(t) = {\varvec{Q}}+ t {\dot{{\varvec{Q}}}} . \end{aligned}

Putting $${\varvec{a}}:= \int \! dt \, {\varvec{f}}(t)$$ and $${\varvec{b}}:= \int \! dt \, t \, {\varvec{f}}(t)$$, we therefore obtain

\begin{aligned} \int \! dt \, {\varvec{f}}(t) \, {\varvec{Q}}(t) = {\varvec{a}}\, {\varvec{Q}}+ {\varvec{b}}\, {\dot{{\varvec{Q}}}} = \sum _{k = 1}^{3N} ({\varvec{a}}_k {\varvec{Q}}_k + {\varvec{b}}_k {\dot{{\varvec{Q}}}}_k) . \end{aligned}

In view of the freedom to choose the functions $${\varvec{f}}$$, it then follows from the above Weyl relations for the exponentials that

\begin{aligned}{}[{\varvec{Q}}_k, {\dot{{\varvec{Q}}}}_l] = i \delta _{k l} 1 \, , \quad [{\varvec{Q}}_k, {\varvec{Q}}_l] = [{\dot{{\varvec{Q}}}}_k, {\dot{{\varvec{Q}}}}_l] = 0 . \end{aligned}

Identifying $${\varvec{Q}}$$ with the observable “position” and $${\dot{{\varvec{Q}}}}$$ with “momentum”, we have thus arrived at the Heisenberg commutation relations. With our choice of scale for the constant functionals, Planck’s constant is put equal to 1 (atomic units). We also find that the time evolution of the operators is given by the solution of the Heisenberg equation $${{\dot{{\varvec{Q}}}}}(t) =i \, [H_0, {\varvec{Q}}(t)]$$, where $$H_0 = (1/2) \, {{\dot{{\varvec{Q}}}}}^2$$ is the Hamiltonian corresponding to the underlying Lagrangean. So we have recovered from our macroscopic point of view the structure of quantum mechanics.

Interacting systems of particles can now be described by making use of an abstract version of the interaction picture. Consider a Lagrangean of the form

\begin{aligned} {\mathcal {L}}({\varvec{x}}, {\dot{{\varvec{x}}}}) = (1/2) \, {\dot{{\varvec{x}}}}^2 - V_I({\varvec{x}}) , \end{aligned}

where $$V_I$$ describes the interaction. One first localizes it in time by some characteristic function $$t \mapsto \chi (t)$$ with arbitrary compact support. This yields the time-dependent Lagrangean

\begin{aligned} {\mathcal {L}}_\chi (t, {\varvec{x}}, {\dot{{\varvec{x}}}}) = (1/2) \, {\dot{{\varvec{x}}}}^2 - \chi (t) \, V_I({\varvec{x}}) . \end{aligned}

Defining $$\chi V_I[{\varvec{x}}] := \int \! dt \, \chi (t) V_I({\varvec{x}}(t))$$, one then introduces relative operations $$S_{{\mathcal {L}}_\chi }$$. They depend on functionals F as in the non-interacting case which are given by

\begin{aligned} S_{{\mathcal {L}}_\chi }(F) := S(-\chi V_I)^{-1} S(F -\chi V_I). \end{aligned}

Here S are the operations considered before in the non-interacting case. Thus the operators $$S_{{\mathcal {L}}_\chi }(F)$$ are still elements of the non-interacting algebra $${\mathcal {A}}_{{\mathcal {L}}_0}$$. Moreover, by some standard computation  one finds that they satisfy the defining relations for the dynamical algebra $${\mathcal {A}}_{{\mathcal {L}}_\chi }$$, where the non-interacting Lagrangean $${\mathcal {L}}_0$$ in the definition given in Sect. 3 is replaced by $${\mathcal {L}}_\chi$$. So all these dynamical algebras can be accommodated in $${\mathcal {A}}_{{\mathcal {L}}_0}$$. By some more detailed analysis , one then shows that this feature prevails for the algebra $${\mathcal {A}}_{{\mathcal {L}}}$$, which is obtained in the limit $$\chi \rightarrow 1$$. To be precise, this has been established so far only for some large family of interaction potentials. Condoning this point, we conclude that there is a single dynamical algebra for all mechanical systems, the algebra $${\mathcal {A}}_{{\mathcal {L}}_0}$$. Algebras corresponding to different Lagrangeans merely amount to a reinterpretation of its elements.

We conclude this section by noting how one can proceed from the present abstract algebraic setting to the familiar Hilbert space formulation in the Schrödinger representation, based on wave functions $${\varvec{x}}\mapsto \psi ({\varvec{x}})$$. There one represents $${\varvec{Q}}$$ by multiplying the wave functions with $${\varvec{x}}$$ and $${\varvec{P}}$$ by taking their gradient $$-i \partial _{\varvec{x}}$$. The operators S(F), representing operations, are then given by time ordered exponentials,

\begin{aligned} S(F) \simeq T e^{i \int \! dt \, F({\varvec{Q}}+ t{\varvec{P}})}. \end{aligned}

We also note that the familiar statistical interpretation of quantum mechanics in terms of expectation values of observables can be based on the present concept of operations. The interested reader may consult  for further details.

## 5 Summary and Outlook

In the present letter we have established a relation between the path integral approach to quantum physics and the framework of dynamical algebras, established in [1, 2]. This new approach is based on a macroscopic concept of operations, describing perturbations of the dynamics; it dispenses with assumptions about their actual implementation in the quantum world. Quantum effects are inherited from the macroscopic arrow of time, determining the causal structure of operations; detailed properties, such as commutation relations, then follow from the given dynamics. The framework of dynamical algebras avoids the mathematical subtleties involved in the definition of path integrals; but it comprises the same physical information. It is defined in the mathematically well established and convenient setting of C*-algebras. As we have shown, computations of integrals can be replaced by algebraic manipulations.

Such as the path integral formalism, the framework of dynamical algebras covers a large class of theories. It requires that classical concepts, such as the notion of configuration space, transformation groups, Lagrangeans and macroscopic causal structures provide a physically meaningful starting point. With this input, it offers a complementary approach to quantum physics and already led to progress in the rigorous formulation of interacting quantum field theories . Within that context, it seems worthwhile to have a look at other longstanding problems. Examples are an algebraic version of Noether’s theorem and the study of anomalies; the algebraic treatment of gauge quantum field theories and an algebraic version of the renormalization group. For the mathematical consolidation of quantum field theory in physical spacetime it would, however, be most important to make progress in the representation theory of dynamical algebras which goes beyond renormalized perturbation theory.