Phenomenological quantum mechanics II: deducing the formalism from experimental observations

We propose an exercise in which one attempts to deduce the formalism of quantum mechanics solely from phenomenological observations. The only assumed inputs are the multi-time probability distributions estimated from the results of sequential measurements of quantum observables; no presuppositions about the underlying mathematical structures are permitted. In the concluding Part II of the paper, we carry out the deduction of the formalism from the phenomenological inputs described in Part I. We show that the resulting formalism exhibits an affinity with Hilbert spaces, and we derive an explicit representation in terms of those mathematical structures. Analogues of the obtained elementary building blocks -- such as projection operators -- are readily identifiable within the standard formalism. However, once these building blocks are assembled according to the blueprint of the deduced bi-trajectory formalism, it becomes evident that the new and the standard formalisms differ substantially at the conceptual level. These differences do not negate the fact that both formalisms are in perfect agreement with respect to empirically testable predictions. Rather, the emergence of a novel, non-standard formulation should be seen as a relatively rare opportunity to reassess, from a fresh perspective, some of the long-standing foundational issues in the theory. The hope is that the new approach may prove more successful in addressing problems that have resisted resolution within the established theoretical framework.