pith. sign in

arxiv: 2605.22264 · v1 · pith:ESWBYPUNnew · submitted 2026-05-21 · 🪐 quant-ph · math.OA

Statistical Interpretation of the Procedures Measurement of Physical Quantities

Pandiscia Carlo This is my paper

Pith reviewed 2026-05-22 06:40 UTC · model grok-4.3

classification 🪐 quant-ph math.OA
keywords quantum foundationsoperational interpretationmeasurement theorystatistical modelalgebraic formulationvon NeumannMackeyquantum probability
0
0 comments X

The pith

Reorganizing von Neumann and Mackey models yields an operational statistical basis for axiomatic quantum mechanics.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper aims to connect algebraic formulations of quantum mechanics with quantum probability approaches by focusing on how physical quantities are actually measured. It reorganizes von Neumann's measurement theory and subsequent Mackey developments to derive probabilistic measures directly from experimental procedures rather than from abstract postulates alone. A sympathetic reader would care because this offers a way to reconstruct quantum theory that stays closer to laboratory realities and avoids separating mathematical structures from their operational meaning. The work stresses clear distinctions among axioms, postulates, and presuppositions to improve conceptual clarity. Overall the synthesis seeks an axiomatic reformulation that remains faithful to physical practice without introducing entirely new empirical constraints.

Core claim

The central claim is that by adopting an operational perspective according to which physical quantities are defined solely through experimental measurement methods and the corresponding probabilistic measures are derived from measurement outcomes, one can reorganize existing models to provide a coherent path from operational principles to algebraic structures, thereby offering a basis for an axiomatic reformulation of quantum mechanics that remains faithful to physical practice.

What carries the argument

The statistical interpretation of measurement procedures that links experimentally feasible procedures to probabilistic measures grounded in laboratory practice.

If this is right

  • Reorganization of von Neumann's measurement theory and Mackey's developments suffices to extract the required operational content.
  • A clear distinction between axioms, postulates, and presuppositions clarifies the conceptual structures of the theory.
  • Purely mathematical formulations of quantum theory encounter limitations when detached from experimental interpretation.
  • The resulting synthesis respects both empirical constraints and the demand for conceptual clarity.
  • This supplies a foundation for future axiomatic work that stays anchored in physical operations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach may help address longstanding interpretational issues by elevating measurement operations over detached mathematical axioms.
  • Comparable reorganizations could be attempted in other physical theories where operational definitions play a central role.
  • One could test whether the derived algebraic structures reproduce all standard quantum predictions without introducing hidden gaps.

Load-bearing premise

Existing models such as von Neumann's and Mackey's already contain all necessary operational content that can be extracted simply by reorganization without new empirical constraints or mathematical gaps.

What would settle it

A concrete inconsistency or missing empirical feature when the reorganized statistical operational framework is used to recover a standard quantum prediction or algebraic structure that cannot be resolved within the given reorganization.

Figures

Figures reproduced from arXiv: 2605.22264 by Pandiscia Carlo.

Figure 1.1
Figure 1.1. Figure 1.1: N copies of the ensemble possibility of eliminating all the effects of the measurements previously carried out in his laboratory (obviously spending time and energy to do so) to prepare a new mea￾surement on the same physical quantity and repeat the experiment. This assumption is referred to as the reproducibility conditions of the experiment. In other words, if we repeat the experiment without resetting… view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: N displaced copies of the ensemble (1.2) from the results of the frequencies (1.1), it is necessary to ask ourselves to what extent these methodologies are influenced by the experimenter’s choice – a choice adopted by his instinct and therefore by what the experimenter expects. We will try to resolve this problem later, in Chapter 4. 11Here the observer is the one who collects the data of the various mea… view at source ↗
Figure 1.3
Figure 1.3. Figure 1.3: Double cone into account preparation times for the instruments tp = t p j − t o j lower than the time 17Besides the problem of the discrete-continuous time transition, experimentally we have the non￾trivial problem of the rational-real transition, since a measuring instrument always determines frac￾tional values of the physical quantity in question. So one might think that the field of rational numbers i… view at source ↗
Figure 1.4
Figure 1.4. Figure 1.4: Perturbative region of space We further clarify the situation through [PITH_FULL_IMAGE:figures/full_fig_p035_1_4.png] view at source ↗
Figure 1.5
Figure 1.5. Figure 1.5: Laboratory-type region We note that the analogous expression for states is not true, i.e., given the set of observables X(O) associated with the region O, we have S(O) ̸= [ a∈X(O) Sa In other words, given an observable a ∈ X(O), there could exist a state ω∈Sa whose preparation is different from that given by the region O in (1.10), or which cannot be prepared at all within that region. We have a simple s… view at source ↗
Figure 1.6
Figure 1.6. Figure 1.6: Laboratory with different preparation times [PITH_FULL_IMAGE:figures/full_fig_p041_1_6.png] view at source ↗
Figure 1.7
Figure 1.7. Figure 1.7: Measurement range During this time interval σj = t m j,f − t m j,s the perturbations due to the measurement could cause not only the parametric state ωc to change but also the setting and operation of the various apparatuses and devices in the laboratory or the source of the measurement itself. Indeed, after the measurement, we cannot say that the same experimental pro￾cedures for measuring a contained i… view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: Simultaneous measurements - Ensemble we have indicated the number of times that a and b take on values in ∆0 and ∆1 respectively and therefore we obtain the joint probabilities P(a ∈ ∆0 : b ∈ ∆1, τ )ω at the time τ given by (2.1). In [PITH_FULL_IMAGE:figures/full_fig_p052_2_1.png] view at source ↗
Figure 2.2
Figure 2.2. Figure 2.2: From double to single value We have another fundamental Remark 12. It could happen that Sa ∩ Sb ̸= ∅ but these states, even if they are suitable for the measurement of a and b, are not necessarily suitable for their simultaneous measurement. Let us make the following note on the simultaneous measurement of two observables and on their joint preparation: Joint preparation refers to the setup of the labora… view at source ↗
Figure 2.3
Figure 2.3. Figure 2.3: Subsequent Measurements I - Ensemble [PITH_FULL_IMAGE:figures/full_fig_p059_2_3.png] view at source ↗
Figure 2.4
Figure 2.4. Figure 2.4: Subsequent measurements with reading In the state ω there is already information that a < b and that they are measured subsequently at the times τ and τ ′ ; therefore the notations given in (2.18) and (2.19) seem redundant. It could be written compactly as P(a ∈ ∆1)ω for (2.18) and P(b ∈ ∆2)ω for (2.19), but in this way the information contained in our ω state is not explicitly revealed, a 18We reiterate… view at source ↗
Figure 2.5
Figure 2.5. Figure 2.5: Subsequent measurement II [PITH_FULL_IMAGE:figures/full_fig_p062_2_5.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Yes/No counting on N measurements carried out Let’s now make some mathematical considerations on frequency and density. We note that it is possible to give another mathematical expression for our relative frequency. Indeed, let us consider the set En =  j ∈ I + n : Xn(j) = 1 ⊂ In (4.9) [PITH_FULL_IMAGE:figures/full_fig_p086_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Yes/No count on the N trials carried out in each ensemble For example, we can repeat the count of how many times we obtain a ∈ ∆ in the ω state over N trials, through a new ensemble prepared later7 , as in [PITH_FULL_IMAGE:figures/full_fig_p088_4_2.png] view at source ↗
Figure 4.3
Figure 4.3. Figure 4.3: Yes/No count on N + 1 trials Let us consider a family of ensembles {En}n∈N+ where En ⪯ En+1 , ∀n ∈ N The symbol ⪯ indicates that En+1 is composed of the trials contained in the ensemble En plus a new trial of the same experiment prepared identically to the other trials of En. In this way we can define a map ξ : N + 7−→ N as follows: The value ξ(n) is the number of times, out of n experimental trials, tha… view at source ↗
Figure 4.4
Figure 4.4. Figure 4.4: Yes/No count with ensembles 9Since we add the trials to the ensemble EN . 10As we discussed in previous sections, the act of counting does not influence the preparation of subsequent ensembles [PITH_FULL_IMAGE:figures/full_fig_p090_4_4.png] view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: Evolution State We consider the two laboratory-type regions (see [PITH_FULL_IMAGE:figures/full_fig_p111_5_1.png] view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2: Temporal Evolution Let us now consider the set of possible temporal evolutions of the chronological state ω: S ω = \ a∈Xω Sa,ω (5.7) 7 In this way the connection between our evolution from the observable a and the state ω is highlighted [PITH_FULL_IMAGE:figures/full_fig_p113_5_2.png] view at source ↗
Figure 7.1
Figure 7.1. Figure 7.1: States and purity in the measurement of a 8We underline that such a state could be a mixture of states of Sa but of different sectors, as represented in [PITH_FULL_IMAGE:figures/full_fig_p157_7_1.png] view at source ↗
Figure 11
Figure 11. Figure 11: ), defined as follows [PITH_FULL_IMAGE:figures/full_fig_p209_11.png] view at source ↗
Figure 11.1
Figure 11.1. Figure 11.1: Simultaneous Cartesian Product X ×S X As in the case of a single observable, for each ω ∈ Sa:b we can define the following family of subsets of R 2 : F ω (a : b) =  V open set of R 2 : µω,a:b(V ) = 0 and the related open set: ρ ω (a : b) = [ V ∈F ω(a:b) V ⊂ R 2 here too, by definition, we have that the support of the measure is given by Supp µω,a:b = R 2 \ ρ ω (a : b) We define F ∞(a : b) =  V open se… view at source ↗
Figure 13.1
Figure 13.1. Figure 13.1: R.S. change and preparation time 6Also because in order to note down in my notebook the procedures, etc., that I carry out in the laboratory, I have to rely on a reference system that is also noted down, so as to indicate to a new experimenter the operations to be carried out in order to reproduce the same experiment [PITH_FULL_IMAGE:figures/full_fig_p255_13_1.png] view at source ↗
Figure 13.2
Figure 13.2. Figure 13.2: Source Unlike the measuring devices/equipment D, which must reside in the laboratory Lo, the source S may not. For example, if we want to determine the velocity or position of an object S moving in space, as depicted in [PITH_FULL_IMAGE:figures/full_fig_p257_13_2.png] view at source ↗
Figure 13.3
Figure 13.3. Figure 13.3: Reference Change - Illuminated Regions [PITH_FULL_IMAGE:figures/full_fig_p259_13_3.png] view at source ↗
Figure 13.4
Figure 13.4. Figure 13.4: Space-Time of R 4 "curved by gravitational time" (see schematic [PITH_FULL_IMAGE:figures/full_fig_p261_13_4.png] view at source ↗
Figure 13.5
Figure 13.5. Figure 13.5: Laboratory Regions G, which describes the reference changes given in relation (13.7), which we choose according to the conditions dictated by our operational needs. Let us now consider a group of transformations G and take a point O of E and any reference system (K, O) 19 . Definition 59. An open set R of R 3 ×R is called a G-laboratory region if there exists a new reference (K′ , O′ ) such that the tra… view at source ↗
Figure 14.1
Figure 14.1. Figure 14.1: Centered Sublaboratory Postulate 14. Let Oo, O1 be two laboratory-type regions. If Oo ⊂ O1, then every observable measurable in Oo is measurable in O1: X(Oo) ⊂ X(O1) This apparently banal statement has some critical issues; let us highlight them. If a ∈ X(Oo), then for every state ωo ∈ Sa(Oo) there must exist at least one state ω1 ∈ Sa(O1) 2 such that P Lo (a ∈ ∆, τ )ωo = P L1 (a ∈ ∆, τ )ω1 , ∀∆ ∈ B(R) … view at source ↗
Figure 14.2
Figure 14.2. Figure 14.2: Sublaboratory in evidence Moreover, as mentioned, for every a ∈ X(Oo) the restriction of the map P to the set Sa(O1|Oo) determines a surjective map Pa : Sa(O1|Oo) → Sa(Oo) (14.9) which obviously satisfies the same relations as Proposition 45. Remark 75. If x, y ∈ X(Oo), then the sets Sx(O1|Oo) and Sy(O1|Oo) may have elements in common, and therefore from the surjectivity of the map P it follows that P (… view at source ↗
Figure 14.3
Figure 14.3. Figure 14.3: From the Regions to the Ensemble 14.2 Operational Space-Time Consider the laboratory L and its associated physical system (X, S) and with it also the relevant region: O∞ = [ t>0 Ot , Ot = L × [0, t] ⊂ E × R + (14.12) [PITH_FULL_IMAGE:figures/full_fig_p273_14_3.png] view at source ↗
Figure 14
Figure 14. Figure 14 [PITH_FULL_IMAGE:figures/full_fig_p274_14.png] view at source ↗
Figure 14.4
Figure 14.4. Figure 14.4: From Regions to Ensembles - Inclusions Remark 76. Operationally, when I perform a measurement in the sublaboratory Lo of L, one might think that automatically the same measurement is carried out in the larger laboratory L, since Lo is included in L, but this is not true (even if we have the same preparation time in both laboratories). In Lo we make the measurement in the state ωo, which, as we have esta… view at source ↗
Figure 14.5
Figure 14.5. Figure 14.5: Time-shifted laboratories in our laboratory L. We explicitly note that the set S(OA ∩ OB) is not contained in S(OA). What we can say is that there exists a surjective map P : S(OA|OA ∩ OB) −→ S(OA ∩ OB) as described in Proposition 45. 14.3 Dislocated Laboratories Let us assume that we have two laboratories A and B located at two different points in space-time which are not moving with respect to each ot… view at source ↗
Figure 14.6
Figure 14.6. Figure 14.6: Dislocated laboratories We set in both laboratories the preparation time intervals for the experiments, which we denote by s p,A and s p,B: s p,A = t p,A − t o,A , sp,B = t p,B − t o,B with t o,A = 0. In this way, as shown in [PITH_FULL_IMAGE:figures/full_fig_p277_14_6.png] view at source ↗
Figure 14.7
Figure 14.7. Figure 14.7: From Regions to Ensembles - Lab. A with it an ensemble consisting of N copies of the experiment, as shown in [PITH_FULL_IMAGE:figures/full_fig_p278_14_7.png] view at source ↗
Figure 14.8
Figure 14.8. Figure 14.8: From Regions to Ensembles - Second case As we discussed in section 1.2, everything that happens in the past light cone generated by the laboratory set LB has no effect on the preparation of the parametric state and on the experimental procedures carried out in the laboratory itself; they will only influence the act of measurement during the time interval between the end of the preparation and the measur… view at source ↗
Figure 14.9
Figure 14.9. Figure 14.9: Simultaneous ensembles This could happen if in LB there is a device capable of recording this event22 (with the fixed preparation time sufficient to operate such devices). We can prepare two states ωB and ω ′ B which have the same preparation time for the measurement at time τ = 0, with the same fixed physical parameters, where ωB has the same equipment/devices and procedures as ω ′ B, with the only dif… view at source ↗
Figure 14.10
Figure 14.10. Figure 14.10: External source it whose preparation requires a time t p,B, i.e., whether there exists a state of SB suitable for a. Therefore a ∈ XB ⇐⇒ SB a ̸= ∅ Before proceeding with the discussion, we must make a banal but necessary remark: In the laboratory we have the instruments that are needed to measure our observ￾ables, and by definition they must be present only in the laboratory and not outside it. In fact… view at source ↗
Figure 14.11
Figure 14.11. Figure 14.11: Sub-laboratories to each other. They can always be considered part of a larger laboratory Lo centered at the point O between the two reference systems, as in [PITH_FULL_IMAGE:figures/full_fig_p285_14_11.png] view at source ↗
Figure 14.12
Figure 14.12. Figure 14.12: Sub-laboratory A This is essentially the case discussed in section 14.1. In fact, the matter does not change if laboratory LA is not centered in Lo or if the preparations in A and B occur simultaneously or not (see Figures 14.12 and 14.13). In this case, for the Lo laboratory it is enough to fix a preparation time t p ≥ max  t p,A, tp,B in such a way as to illuminate from O the entire laboratory Lo 33… view at source ↗
Figure 14.13
Figure 14.13. Figure 14.13: Sub-laboratory B for systems A and B and the related sets of states. Sa(Oo|OA) ⊂ Sa(Oo) , Sb(Oo|OB) ⊂ Sb(Oo) and, as discussed in section 14.1, we have two surjective maps P A a : Sa(Oo|OA) −→ SA a , P B a : Sa(Oo|OB) −→ SB a such that µ Lo ω,a = µ A PA a (ω),a , ∀ω ∈ Sa(Oo|OA) and µ Lo ω,a = µ B PB a (ω),a , ∀ω ∈ Sa(Oo|OB) • Second case: Joint Inclusion. Compared to the previous situation, the matter … view at source ↗
Figure 14.14
Figure 14.14. Figure 14.14: Non-Simultaneous Sub-laboratories Thus, if ωA ∈ SA a and ωB ∈ SB b , it does not necessarily mean that there exists ωo ∈ Sa<b(Oo) such that - XωA , XωB ⊂ Xωo ; [PITH_FULL_IMAGE:figures/full_fig_p288_14_14.png] view at source ↗
Figure 14.15
Figure 14.15. Figure 14.15: Measurement Disturbance In this way, can we say that all observables in LA and LB can be jointly prepared 37where the dark region collects all N copies of the ensemble for both laboratories 38In other words, OA ⊂ Oc B, where Oc denotes the causal complement of O. 39We underline that experimentally this can only happen by considering very short times tA and tB or astronomical distances between the two l… view at source ↗
Figure 14.16
Figure 14.16. Figure 14.16: Equivalent Regions - Lab. Let us now ask ourselves the following question: How do we determine when two laboratories are physically equivalent? Let us first give the following definition: Definition 71. Two laboratory-type regions OA and OB are said to be G-equivalent if there exists a G-region R and an element T of G such that: TOA = R , T −1OB = R Question 12. Verify that this definition is mathemati… view at source ↗
Figure 14.17
Figure 14.17. Figure 14.17: EPR 14.7 EPR Experiment and the Classical Analogy Let Lo be a laboratory containing two sub-laboratories LA, LB ⊂ Lo, identical and positioned symmetrically with respect to the origin O of the main laboratory, as shown in [PITH_FULL_IMAGE:figures/full_fig_p295_14_17.png] view at source ↗
read the original abstract

This work develops a conceptual framework for the foundations of quantum physics, linking two main approaches: the algebraic formulation and quantum probability. Rather than proposing new axioms or theories, the text reorganizes and synthesizes existing models, highlighting their assumptions, conceptual structures, and operational significance. The analysis begins with von Neumann's measurement theory and its subsequent developments by Mackey, emphasizing the role of experimentally feasible procedures and the need for a statistical model grounded in laboratory practice. The work adopts an operational perspective, according to which physical quantities are defined solely through experimental measurement methods, and the corresponding probabilistic measures are derived from measurement outcomes. The introduction critically examines the limitations of purely mathematical formulations - such as the algebraic method - when separated from experimental interpretation. The text argues for a clear distinction between axioms, postulates, and presuppositions, and for a reconstruction of quantum theory that respects both empirical constraints and conceptual clarity. Overall, the goal is to provide a coherent path from operational principles to algebraic structures, offering a basis for an axiomatic reformulation of quantum mechanics that remains faithful to physical practice.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript develops a conceptual framework for the foundations of quantum physics by reorganizing and synthesizing von Neumann's measurement theory with Mackey's subsequent developments. It adopts an operational perspective in which physical quantities are defined solely via experimentally feasible procedures, derives corresponding probabilistic measures from measurement outcomes, and distinguishes axioms from postulates and presuppositions. The central goal is to supply a coherent path from these operational principles to algebraic structures that could serve as a basis for an axiomatic reformulation of quantum mechanics faithful to laboratory practice, without introducing new axioms or theories.

Significance. If the claimed path is made explicit, the work could usefully clarify hidden assumptions in existing operational and algebraic approaches and thereby support more careful foundational reconstructions. Credit is due for the explicit focus on statistical models grounded in laboratory practice and for the critical examination of purely mathematical formulations detached from experimental interpretation.

major comments (2)
  1. [Abstract] Abstract and Introduction: the claim to provide 'a coherent path from operational principles to algebraic structures' is load-bearing for the central thesis, yet the description remains at the level of reorganization and synthesis of von Neumann and Mackey without exhibiting a concrete reconstruction step (e.g., deriving a specific probabilistic measure or observable algebra directly from a described measurement procedure).
  2. [Introduction] Introduction: the distinction between axioms, postulates, and presuppositions is presented as enabling a reconstruction that respects empirical constraints, but no worked example is supplied showing how this distinction fills a documented gap in the algebraic or Mackey-style approaches; without such an illustration the asserted basis for axiomatic reformulation is not yet established.
minor comments (1)
  1. All references to specific results in von Neumann or Mackey should include precise citations (theorem or section numbers) so that readers can verify which elements have been reorganized and which assumptions have been highlighted.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. Our manuscript is a conceptual reorganization and synthesis of von Neumann and Mackey rather than a derivation of new mathematical structures. We address the two major comments below and indicate where revisions will strengthen the presentation while preserving the paper's scope.

read point-by-point responses

  1. Referee: [Abstract] Abstract and Introduction: the claim to provide 'a coherent path from operational principles to algebraic structures' is load-bearing for the central thesis, yet the description remains at the level of reorganization and synthesis of von Neumann and Mackey without exhibiting a concrete reconstruction step (e.g., deriving a specific probabilistic measure or observable algebra directly from a described measurement procedure).

    Authors: We agree that the central claim would be strengthened by an explicit illustration. The manuscript's contribution lies in clarifying how operational procedures ground the statistical model and how this model connects to the algebraic formulation through shared presuppositions, without introducing new axioms. To make this link more concrete, we will add a short worked example in the revised introduction showing how a laboratory measurement procedure for a physical quantity yields a probability measure that can be represented within the observable algebra. revision: partial

  2. Referee: [Introduction] Introduction: the distinction between axioms, postulates, and presuppositions is presented as enabling a reconstruction that respects empirical constraints, but no worked example is supplied showing how this distinction fills a documented gap in the algebraic or Mackey-style approaches; without such an illustration the asserted basis for axiomatic reformulation is not yet established.

    Authors: The distinction is used throughout the text to separate what must be postulated from what is presupposed by laboratory practice. We acknowledge that a single illustrative case would help readers see how this separation addresses limitations in purely algebraic reconstructions. In the revision we will insert a concise example in the introduction that contrasts a Mackey-style axiomatization with one that explicitly tracks presuppositions arising from measurement procedures. revision: yes

Circularity Check

0 steps flagged

Reorganization of von Neumann/Mackey models exhibits no internal circularity

full rationale

The paper states it reorganizes and synthesizes existing models from von Neumann and Mackey without proposing new axioms, theories, or derivations of new quantities. All load-bearing starting points are external citations to established literature rather than self-referential definitions, fitted parameters renamed as predictions, or ansatzes smuggled via self-citation. No equations or steps are presented that reduce by construction to the paper's own inputs, and the claimed path from operational principles to algebraic structures is framed as conceptual clarification rather than a closed mathematical derivation. This qualifies as a self-contained synthesis against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper draws its content from prior literature on von Neumann measurement theory and Mackey’s work. No new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract; the contribution is described as reorganization of existing structures.

axioms (2)
  • domain assumption Physical quantities are defined solely through experimental measurement methods.
    Stated in the abstract as the adopted operational perspective.
  • domain assumption Probabilistic measures are derived from measurement outcomes.
    Abstract claims this follows from the operational view.

pith-pipeline@v0.9.0 · 5706 in / 1341 out tokens · 44196 ms · 2026-05-22T06:40:13.100982+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Rather than proposing new axioms or theories, the text reorganizes and synthesizes existing models, highlighting their assumptions... The analysis begins with von Neumann's measurement theory and its subsequent developments by Mackey... adopts an operational perspective, according to which physical quantities are defined solely through experimental measurement methods

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    a statistical model on the measurement procedure is given by a family of maps {Pθ}... classical parametrized statistical model is associated with the algebra of real measurable functions... map (X, θ) → μX,θ

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

131 extracted references · 131 canonical work pages

  1. [1]

    1975:L’edificio matematico della meccanica quantistica non- relativistica: situazione attuale.In laboratorio di cibernetica del C.N.R

    Accardi L. 1975:L’edificio matematico della meccanica quantistica non- relativistica: situazione attuale.In laboratorio di cibernetica del C.N.R. Arco Felice, Napoli, 1-42

    work page 1975

  2. [2]

    1981:Stato fisico.In Enciclopedia, XIII: società tecnica, Einaudi, Torino, 514-548

    Accardi L. 1981:Stato fisico.In Enciclopedia, XIII: società tecnica, Einaudi, Torino, 514-548

    work page 1981

  3. [3]

    1981:Probabilità e teoria quantistica.Physis, rivista internazionale di storia della scienza 23, 485-524

    Accardi L. 1981:Probabilità e teoria quantistica.Physis, rivista internazionale di storia della scienza 23, 485-524

    work page 1981

  4. [4]

    1984:The probabilistic roots of the quantum mechanical paradoxes.In The Wave-Particle Dualism - A Tribute to Louis de Broglie on his 90th Birthday - D

    Accardi L. 1984:The probabilistic roots of the quantum mechanical paradoxes.In The Wave-Particle Dualism - A Tribute to Louis de Broglie on his 90th Birthday - D. Reidel Publishing Company pp 297-330

    work page 1984

  5. [5]

    1985:Non-Kolmogorovian probabilistic models and quantum theory, Abstract in ISI Bulletin Volume: Bull

    Accardi L. 1985:Non-Kolmogorovian probabilistic models and quantum theory, Abstract in ISI Bulletin Volume: Bull. Inst. Internat. Statist. 51, No. 27.3

    work page 1985

  6. [6]

    1988:Foundations of quantum mechanics: A quantum probabilistic approach, in the nature of quantum paradoxes.Tarozzi and Merwe Reidel, 257- 323

    Accardi L. 1988:Foundations of quantum mechanics: A quantum probabilistic approach, in the nature of quantum paradoxes.Tarozzi and Merwe Reidel, 257- 323

    work page 1988

  7. [7]

    1997:Urns and Chameleons, to be published

    Accardi L. 1997:Urns and Chameleons, to be published. Italian versionUrne e camaleonti.Il saggiatore (1997)

    work page 1997

  8. [8]

    2018:Quantum probability and Hilbert’s sixth problem.Philos

    Accardi L. 2018:Quantum probability and Hilbert’s sixth problem.Philos. Trans. A Math. Phys. Eng. Sci. Vol. 376 Issue 2118

    work page 2018

  9. [9]

    1970:La costruzione operativa della fisica.Boringhieri

    Ageno M. 1970:La costruzione operativa della fisica.Boringhieri

    work page 1970

  10. [10]

    Alfsen E. M. and Shultz F.W. 1978:State spaces of Jordan algebras.Acta Math. Vol. 140, 155-190

    work page 1978

  11. [11]

    Alfsen E. M. and Shultz F.W. 1980:State spaces of C*-algebras.Acta Math. Vol.144, 267-305

    work page 1980

  12. [12]

    2014:Infinitesimal - How a Dangerous Mathematical Theory Shaped the Modern World.Scientific American

    Amir A. 2014:Infinitesimal - How a Dangerous Mathematical Theory Shaped the Modern World.Scientific American. 377 378BIBLIOGRAPHY

    work page 2014

  13. [13]

    1976:An invitation to C*-algebras.Spinger Verlag Inc

    Arveson W. 1976:An invitation to C*-algebras.Spinger Verlag Inc

    work page 1976

  14. [14]

    1994:Recent trends in the field of Jordan-Banach Algebras.Func

    Aupetit B. 1994:Recent trends in the field of Jordan-Banach Algebras.Func. Anal.and Op. Theo. Vol. 30 Banach Center Pubbl. 9 -19

    work page 1994

  15. [15]

    1970:The statistical interpretation of quantum mechanis.Rev

    Ballentine L.E. 1970:The statistical interpretation of quantum mechanis.Rev. Mod. Phys vol. 42 no.4

    work page 1970

  16. [16]

    2013:Il paradosso dei paradossi quantistici

    Hans Christian von Baeyer H.C. 2013:Il paradosso dei paradossi quantistici. Le Scienze, Italian edition of Scientific American, n. 540, pp. 32-37

    work page 2013

  17. [17]

    2017:L’ordine del mondo.Bollati Boringhieri

    Barone V. 2017:L’ordine del mondo.Bollati Boringhieri

    work page 2017

  18. [18]

    2003:Real operator algebras.World Scientific

    Bingren L. 2003:Real operator algebras.World Scientific

    work page 2003

  19. [19]

    2006:Operator algebras.Springer-Verlag

    Blackadar B. 2006:Operator algebras.Springer-Verlag

    work page 2006

  20. [20]

    2005:Functional analysis for probability and stochastic processes

    Bobrowski A. 2005:Functional analysis for probability and stochastic processes. Cambridge University press

    work page 2005

  21. [21]

    2007:Measure Theory Vol

    Bogachev V.I. 2007:Measure Theory Vol. 2.Springer-Verlag

    work page 2007

  22. [22]

    1958:Quantum Physics and Philosophy – Causality and Complemen- tarity.Reprinted inThe Philosophical Writings of Niels Bohr Vol

    Bohr N. 1958:Quantum Physics and Philosophy – Causality and Complemen- tarity.Reprinted inThe Philosophical Writings of Niels Bohr Vol. III, Essays 1958-1962 on Atomic physics and Human Knowledge.Woodbridge: Ox Bow, 1987 (originally, Wiley 1963), 1-7

    work page 1958

  23. [23]

    and Robinson D

    Bratteli O. and Robinson D. 1979:Operator algebra and quantum statistical mechanics I.Springer

    work page 1979

  24. [24]

    1967 :Lectures in Theoretical Physics Vol

    Brittin , Barut and Guennin Eds. 1967 :Lectures in Theoretical Physics Vol. IX A Mathematical Methods of Theoretical Physics. Gordon and Breach

    work page 1967

  25. [25]

    , Bastein D

    Capasso V. , Bastein D. 2005:An introduction continuous-time stochastic pro- cesses.Birkhausser

    work page 2005

  26. [26]

    2011:Probability and Stochastics.Springer Science

    Cinlar E. 2011:Probability and Stochastics.Springer Science

    work page 2011

  27. [27]

    1990 :A Course in Functional Analysis.Springer-Verlag, Second Edition

    Conway J.B. 1990 :A Course in Functional Analysis.Springer-Verlag, Second Edition

    work page 1990

  28. [28]

    and Fogli G

    Costa G. and Fogli G. 2012:Symmetries and Group Theory in Particle Physics. An Introduction to Space Time and Internal Symmetries.Springer

    work page 2012

  29. [29]

    1946:Probability, frequency and reasonable expectation.Amer Jour

    Cox R.T. 1946:Probability, frequency and reasonable expectation.Amer Jour. Phys. Vol.14, No.1

    work page 1946

  30. [30]

    1987:Calcolo delle probabilità.Zanichelli

    Dall’Aglio G. 1987:Calcolo delle probabilità.Zanichelli

    work page 1987

  31. [31]

    1985:Joint Browder spectra and tensor product.Bull

    Dash A.T. 1985:Joint Browder spectra and tensor product.Bull. Austral. Math. Soc. Vol. 32, 119-128. BIBLIOGRAPHY379

    work page 1985

  32. [32]

    and Lewis J.T

    Davies E.B. and Lewis J.T. 1970:An operational approach to quantum mechan- ics, Commun. Math Phys. 17, 239-260

    work page 1970

  33. [33]

    and Meyer P.A

    Dellacherie C. and Meyer P.A. 1978:Probabilities and potential.Hermann Pub- lisher, North-Holland

    work page 1978

  34. [34]

    1969:Theory of observables.J

    Deliyannis P.C. 1969:Theory of observables.J. Math. Phys. Vol.10, No.11, 2114- 2127

    work page 1969

  35. [35]

    , Nagel R

    Derndinger R. , Nagel R. and Palm G. 1987:Ergodic theory in the perspective of funtional analysis.Unpublished manuscript, downloadable from the website: https://www.math.uni-tuebingen.de/de/forschung/ /agfa/members/ergthfuan.pdf

    work page 1987

  36. [36]

    1979:Prinipi della meccanica quantistica.Boringhieri - Seconda edizione - Titolo originale:The principles of quantum mechanics 1930

    Dirac P.A.M. 1979:Prinipi della meccanica quantistica.Boringhieri - Seconda edizione - Titolo originale:The principles of quantum mechanics 1930

    work page 1979

  37. [37]

    1978:, ”The Mathematical Foundations of Quantum Theory”, in Marlow A.R

    Dirac P.A.M. 1978:, ”The Mathematical Foundations of Quantum Theory”, in Marlow A.R. (ed.),Mathematical Foundations of Quantum Theory, Academic Press

    work page 1978

  38. [38]

    Doplicher S. Haag R. and Roberts J.E. 1969:Fields, observables and gauge transformations I.Commun. Math. Phys. 13, 1-23

    work page 1969

  39. [39]

    Doplicher S. Haag R. and Roberts J.E. 1969:Fields, observables and gauge transformations II.Commun. Math. Phys. 15 , 173-200

    work page 1969

  40. [40]

    and Onofri E

    Destri C. and Onofri E. 1996 :Istituzione di fisica teorica.Carocci Editore

    work page 1996

  41. [41]

    Foundations and Symmetries

    DoebnerH.D., SchererW.andSchroeckF.Jr.1991:Classical and Quantum Sys- tems. Foundations and Symmetries. Proceedings of the II International Wigner Symposium.World Scientific Publishing

    work page 1991

  42. [42]

    Summers S.J

    Driessler W. Summers S.J. and Wichmann E.H. 1986:On the connection between quantum fields and von Neumann algebras of locals operators.Commun. Math. Phys. 105 pag 49-84

    work page 1986

  43. [43]

    2008:Superselection rules for philosophers.Erkenn

    Earman J. 2008:Superselection rules for philosophers.Erkenn. Vol. 69, No.3, 377-414

    work page 2008

  44. [44]

    1970:The operational approach to algebraic quantum field theory, Commun

    Edwards C.M. 1970:The operational approach to algebraic quantum field theory, Commun. Math Phys. 17, 207-230

    work page 1970

  45. [45]

    1960:Relatività

    Einstein A. 1960:Relatività. Esposizione divulgativa.Boringhieri-Enciclopedia di autori classici n.40 - Titolo originale:Über die Spezielle und Allgemeine Rel- ativitätstheorie 1917

    work page 1960

  46. [46]

    1945:The meaning of relativity.Princeton University Press

    Einstein A. 1945:The meaning of relativity.Princeton University Press. Original book title:Vier Vorlesungen Über Relativitätstheorie 1922. 380BIBLIOGRAPHY

    work page 1945

  47. [47]

    1972:Algebraic methods in statistical mechanics and quantum field theory.J

    Emch G.C. 1972:Algebraic methods in statistical mechanics and quantum field theory.J. Wiley-Interscience, New York

    work page 1972

  48. [48]

    1984:Mathematical and conceptual foundations of 20th-entury physics.North-Holland, Mathematical Studies

    Emch G.C. 1984:Mathematical and conceptual foundations of 20th-entury physics.North-Holland, Mathematical Studies

    work page 1984

  49. [49]

    1999:Conceptual foundations of quantum mechanics

    D’Espagnat B. 1999:Conceptual foundations of quantum mechanics. Advanced Book Program, Perseus Books

    work page 1999

  50. [50]

    2005:Insegnare la relatività nel XXI secolo.AIF publication - Quaderno 16

    Fabri E. 2005:Insegnare la relatività nel XXI secolo.AIF publication - Quaderno 16

    work page 2005

  51. [51]

    1957 :On the Interpretation of Quantum Mechanics.Czechosl

    Fock V.A. 1957 :On the Interpretation of Quantum Mechanics.Czechosl. Journ. Phys. 7, 643-656

    work page 1957

  52. [52]

    Folland G. B. 1985:Real analysis.John Wiley and Sons, New York

    work page 1985

  53. [53]

    Folland G. B. 1989:Harmonic analysis in phase space.Princeton University press

    work page 1989

  54. [54]

    1970:Foundations for quantum mechanics.J

    Giles R. 1970:Foundations for quantum mechanics.J. Math. Phys. Vol.11, No.7, 2139-2160

    work page 1970

  55. [55]

    1992:Local quantum physics.Springer Verlag

    Haag R. 1992:Local quantum physics.Springer Verlag

    work page 1992

  56. [56]

    and Kastler D

    Haag R. and Kastler D. 1964.An algebraic approach to quantum field theory.J. Math. Phys. Vol.5, No.7, 848-861

    work page 1964

  57. [57]

    2003:Quantum measure theory.Kluwer Academic Publishers

    Hamhalter J. 2003:Quantum measure theory.Kluwer Academic Publishers

    work page 2003

  58. [58]

    and Størmer E

    Hanche-Olsen H. and Størmer E. 1984:Jordan operator algebras.free available https://folk.ntnu.no/hanche/joa/joa-m.pdf

    work page 1984

  59. [59]

    Heisenberg 1963:W

    W. Heisenberg 1963:W. Heisenberg intervista a T.S. Kuhn, 15 febbraio 1963. Niels Bohr Library and Archives, American Institute of Physics:

    work page 1963

  60. [60]

    HolevoA.S.2011:Probabilistic and statistical aspects of quantum theory.Edizioni della Normale

    work page 2011

  61. [61]

    and Whitaker M.A.B

    Home D. and Whitaker M.A.B. 1986:Ensemble interpretations and context- dependence in quantum systems.Phys. Let. A 115 no. 3 81-83

    work page 1986

  62. [62]

    and Whitaker M.A.B

    Home D. and Whitaker M.A.B. 1992:Ensemble interpretations of quantum me- chanics. A modern perspective.Rev. Phys. Let. 210 No.4, 223-317

    work page 1992

  63. [63]

    1986:Introdution to algebraic quantum field theory.Kluwer Aca- demic Publishers

    Horuzhy S.S. 1986:Introdution to algebraic quantum field theory.Kluwer Aca- demic Publishers

    work page 1986

  64. [64]

    Lenin V. I. 1908:Materialismo ed Empiriocriticmo.Italian edition - Edizioni Rinascita 1953. BIBLIOGRAPHY381

    work page 1908

  65. [65]

    1974:The Philosophy of Quantum Mechanics: The Interpretations of QM in Historical Perspective, John Wiley and Sons

    Jammer M. 1974:The Philosophy of Quantum Mechanics: The Interpretations of QM in Historical Perspective, John Wiley and Sons

    work page 1974

  66. [66]

    1960:Systems of observables in quantum mechanics.Helv

    Jauch J.M. 1960:Systems of observables in quantum mechanics.Helv. phys. acta (33) pag. 711-726

    work page 1960

  67. [67]

    and Misra B

    Jauch J.M. and Misra B. 1961:Supersymmetries and essential observables.Helv. phys. acta (34) pag. 699-709

    work page 1961

  68. [68]

    and Piron C

    Jauch J.M. and Piron C. 1963:Can hidden variables be excluded in quantum mechanics?Helv. phys. acta (36) pag. 826-837

    work page 1963

  69. [69]

    , von Neumann J

    Jordan P. , von Neumann J. and Wigner E. 1934:On an algebraic generalization of quantum mechanics formalism.Ann. of Math. 35, 29-64

    work page 1934

  70. [70]

    Kadison R. V. 1965:Transformations of states in operator theory and dynamics. Topology Vol.3, Suppl.2, 177-198

    work page 1965

  71. [71]

    V., Ringrose J.R

    Kadison R. V., Ringrose J.R. 1983:Fundamental theory of operator algebras Vol I e II.Academic press

    work page 1983

  72. [72]

    1947:On Jordan special algebras.Trans

    Kalisch G.K. 1947:On Jordan special algebras.Trans. Amer. Math Soc. Vol.61, No.3 482-494

    work page 1947

  73. [73]

    2008:A course in commutative Banach algebras.Springer, Graduate texts in Mathematics 246

    Kaniuth E. 2008:A course in commutative Banach algebras.Springer, Graduate texts in Mathematics 246

    work page 2008

  74. [74]

    1975:Equilibrium states of matter and operator algebras.Symposia Mathematica vol

    Kastler D. 1975:Equilibrium states of matter and operator algebras.Symposia Mathematica vol. XX. Eds- Elsevier Science and Technology Books, 1977

    work page 1975

  75. [75]

    , Srinivasan T.P

    Kelley J.L. , Srinivasan T.P. 1988:Measure and integral vol. 1Springer, Grad- uate texts in Mathematics 116

    work page 1988

  76. [76]

    1957:Mathematical foundations of information theory.Dover Books on Mathematics

    Khinchin A.I. 1957:Mathematical foundations of information theory.Dover Books on Mathematics

    work page 1957

  77. [77]

    2009:Contextual Approach to Quantum Formalism, Springer Science

    Khrennikov A. 2009:Contextual Approach to Quantum Formalism, Springer Science

    work page 2009

  78. [78]

    1961:The structure of Scientific Revolution,University of Chicago Press

    Kuhn T.S. 1961:The structure of Scientific Revolution,University of Chicago Press

    work page 1961

  79. [79]

    Kolmogorov A. N. 1995:Teoria della probabilità.Teknos edizioni (Italian edition edited by Accardi L.) - Original title:Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung 1931

    work page 1995

  80. [80]

    1983.States, effects, and operatons, Lectures Notes in Physics vol

    Kraus K. 1983.States, effects, and operatons, Lectures Notes in Physics vol. 190 - Springer-Verlag. 382BIBLIOGRAPHY

    work page 1983

Showing first 80 references.