--
You received this message because you are subscribed to the Google Groups "Bell inequalities and quantum foundations" group.
To unsubscribe from this group and stop receiving emails from it, send an email to Bell_quantum_found...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/CALLw9Yw2zfxA7xUW-f0BDyj61kXTxq2fwuo_gaNGPiHVLCZn5w%40mail.gmail.com.


set.seed(12345)
alpha <- 0
gamma <- runif(10000, 0, 2 * pi)
results <- rep(0, 361)
for (i in 1:361){
beta <- (i - 1) * pi / 180
x <- 2 * ((gamma - alpha) %% (2 * pi) < pi / 2 | (alpha - gamma) %% (2 * pi) < pi / 2) - 1
y <- - (2 * ((gamma - beta) %% (2 * pi) < pi / 2 | (beta - gamma) %% (2 * pi) < pi / 2) - 1)
results[i] <- mean(x * y)
}
plot(0:360, results, type = "p", pch = 3, cex = 0.2,
main = "EPR correlations using a Gill-cosine rotor", xlab = "(a - b)", col = "blue")
points(0:360, cos(-pi/2 + results * pi/2), pch = 3, cex = 0.2, col = "red")
text(300, 0.7, "Bell's Boolean pairs", col = "blue")
text(300, 0.8, "Gill's cosine phase", col = "red")

On 23 May 2026, at 02:22, Bryan Sanctuary <bryancs...@gmail.com> wrote:
Check.
Bell locality is not the same as microcausal locality, and Richard-compliance is not Bell's original language. If a model has Bell-local scalar response functions with one unconditional ensemble, the Richard spreadsheet follows. Richard-compliance is a later finite protocol, not Bell's original wording, but it is not arbitrary goalpost-moving for Bell-local LHV models; it is the finite spreadsheet form of their CHSH counterfactual structure, PV can evade it only by becoming selection-contextual or noncommutative, Richard's additional caveats and refinement of Bell's theorem may indeed illustrate he understands where its purview stopped. Your spreadsheet challenge tests global Booleanization. These programs test the Bell-only algebraic event law. PV passes the latter and deliberately rejects the former. These programs complete the Bell-only diagram task, not the Gill spreadsheet task. The issue is that if the task were Bell-only, it would be fair, but the Gill-spreadsheet requirement makes it unfair. Bell's theorem did not originally say: “Assume a Gill spreadsheet.” Bell's theorem did not originally present itself as merely a theorem about “Kolmogorov/global-Boolean spreadsheets.”
Richard’s spreadsheet is a valid test of Bell-factorizable hidden-variable programs, but it is not Bell’s original theorem itself. It is a finite global-Boolean operationalization of one normal form of Bell locality. PV does not claim that the pre-Boolean event structure is a table of simultaneous scalar values (A_0,A_1,B_0,B_1). PV lifts the Lorentz coefficient into a branch/fiber rotor or into holomorphic/saddle event geometry. The resulting model has cross-wing microcausality ([A(a),B(b)]=0), locally noncommuting alternatives, and the singlet law (P(x,y|a,b)=\frac14(1-xy\cos(a-b))). Thus it reproduces the Bell/EPR graph while rejecting the Gill spreadsheet ontology. The spreadsheet proves that global Boolean shadows cannot violate CHSH; it does not prove that PV event algebra cannot reproduce the EPR law.
PV need not be described as “abandoning a Bell-locality premise” unless Gill first establishes that Bell’s foundational criterion legitimately requires PV’s event structure to be represented by his factorizing/global-counterfactual format. Bell’s theorem is a theorem about locality as Bell formulated it; Gill’s spreadsheet is a particular executable formalization of that locality criterion. If PV contends that Gill’s formalization has added a Boolean counterfactual requirement not warranted by Bell’s more general foundational logic, then the issue is not which premise PV abandons, but whether Gill’s protocol has faithfully represented Bell’s premise for the PV case at all. Bell’s own later definition of local causality refers to probabilities for local beables being unaffected by sufficiently specified spacelike-separated beables and relevant past causes; the disputed move is turning that causal requirement into a four-column Boolean outcome table for a non-Boolean event model.



To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/96229dc5-0d18-465f-9a93-1d688fd50ffdn%40googlegroups.com.
Check.
Bell locality is not the same as microcausal locality, and Richard-compliance is not Bell's original language. If a model has Bell-local scalar response functions with one unconditional ensemble, the Richard spreadsheet follows. Richard-compliance is a later finite protocol, not Bell's original wording, but it is not arbitrary goalpost-moving for Bell-local LHV models; it is the finite spreadsheet form of their CHSH counterfactual structure, PV can evade it only by becoming selection-contextual or noncommutative, Richard's additional caveats and refinement of Bell's theorem may indeed illustrate he understands where its purview stopped. Your spreadsheet challenge tests global Booleanization. These programs test the Bell-only algebraic event law. PV passes the latter and deliberately rejects the former. These programs complete the Bell-only diagram task, not the Gill spreadsheet task. The issue is that if the task were Bell-only, it would be fair, but the Gill-spreadsheet requirement makes it unfair. Bell's theorem did not originally say: “Assume a Gill spreadsheet.” Bell's theorem did not originally present itself as merely a theorem about “Kolmogorov/global-Boolean spreadsheets.”
Richard’s spreadsheet is a valid test of Bell-factorizable hidden-variable programs, but it is not Bell’s original theorem itself. It is a finite global-Boolean operationalization of one normal form of Bell locality. PV does not claim that the pre-Boolean event structure is a table of simultaneous scalar values (A_0,A_1,B_0,B_1). PV lifts the Lorentz coefficient into a branch/fiber rotor or into holomorphic/saddle event geometry. The resulting model has cross-wing microcausality ([A(a),B(b)]=0), locally noncommuting alternatives, and the singlet law (P(x,y|a,b)=\frac14(1-xy\cos(a-b))). Thus it reproduces the Bell/EPR graph while rejecting the Gill spreadsheet ontology. The spreadsheet proves that global Boolean shadows cannot violate CHSH; it does not prove that PV event algebra cannot reproduce the EPR law.
PV need not be described as “abandoning a Bell-locality premise” unless Gill first establishes that Bell’s foundational criterion legitimately requires PV’s event structure to be represented by his factorizing/global-counterfactual format. Bell’s theorem is a theorem about locality as Bell formulated it; Gill’s spreadsheet is a particular executable formalization of that locality criterion. If PV contends that Gill’s formalization has added a Boolean counterfactual requirement not warranted by Bell’s more general foundational logic, then the issue is not which premise PV abandons, but whether Gill’s protocol has faithfully represented Bell’s premise for the PV case at all. Bell’s own later definition of local causality refers to probabilities for local beables being unaffected by sufficiently specified spacelike-separated beables and relevant past causes; the disputed move is turning that causal requirement into a four-column Boolean outcome table for a non-Boolean event model.
<03_holomorphic_phase_fiber.png><02_holomorphic_saddle_diagram.png><01_pv_lorentz_rotor_diagram.png>
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/CANitqNkvXXYaoOz%3DRC2_e7%2B56XFgQieLMD2oM114ChzGabeH%2Bg%40mail.gmail.com.
<Bell_only_PV_Holomorphic_Saddle_Challenge_Diagrams.ipynb>
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/96229dc5-0d18-465f-9a93-1d688fd50ffdn%40googlegroups.com.
But excluding the PV microcausal model on the ground that it is not a member of that scalar Boolean class is not a test of the PV model. It is a tautological admission rule: a noncommutative event model is rejected because the challenge was defined to accept only commutative scalar models. Now to be fair, diagnosing this tautology of yours was time intensive and complex, so it would indeed get the better of most.
The updated program addresses your challenge in the form that actually matters operationally: it generates run-by-run binary outputs at Alice and Bob, chooses the measurement settings independently after source preparation and separation, scores every run unconditionally in the PV lane, and produces the singlet correlation table with CHSH value approaching (2\sqrt{2}).
The program is not merely plotting (-\cos(a-b)), and it is not substituting a precomputed correlation curve for trial outcomes. It now produces explicit event records:
[
(a_i,b_j,A_i,B_j,A_iB_j)
]
for every run, with (A_i,B_j\in{\pm1}). The PV microcausal lane then computes the CHSH statistic from those recorded outcomes exactly as an experimental run log would.
The crucial point is that the program contains three separate lanes and does not conflate them.
The first lane is the ordinary Bell/Gill scalar-output model:
[
A(a,\lambda)=\operatorname{sgn}(\cos(\lambda-a)),\qquad
B(b,\lambda)=-\operatorname{sgn}(\cos(\lambda-b)).
]
It satisfies the classical Bell premises and produces the expected triangular correlation with (S\approx2). Parker’s mathematics agrees with this. There is no claim that a Gill-admissible classical scalar table reproduces (2\sqrt2).
The second lane implements the setting-dependent acceptance construction. It also uses run-by-run local scalar outputs, but the accepted sample is setting dependent. It reproduces (-\cos(a-b)) on accepted data, while explicitly recording that unconditional all-run scoring has been abandoned. That lane is included as a diagnostic control, not as the unconditional PV result.
The third lane is the actual unconditional PV construction. It uses the phenomenological-velocity parameter through
[
\kappa(v)=\sqrt{1-\frac{v^2}{c^2}},\qquad
\vartheta(v)=\arccos(v/c),
]
and the associated local rotor
[
U(v)=\exp!\left(-\frac{i}{2}\vartheta(v)\sigma_y\right).
]
The Alice and Bob observables are
[
A_v(a)=\bigl(U(v)^\ast\sigma(a)U(v)\bigr)\otimes I,
\qquad
B_v(b)=I\otimes\bigl(U(v)^\ast\sigma(b)U(v)\bigr).
]
These are local in the microcausal sense:
[
[A_v(a),B_v(b)]=0.
]
The program verifies this directly. It also verifies that the within-wing alternative observables do not commute, which is precisely why the model is not reducible to the classical Boolean counterfactual spreadsheet assumed by the scalar Bell program class.
In the singlet state, the common PV frame shift cancels relationally:
-\cos(a-b).
]
The run-by-run simulator samples actual (\pm1) event outcomes from this joint event law, with unbiased local marginals and the required pair correlations. On the standard CHSH quartet,
[
a_0=0,\quad a_1=\frac{\pi}{2},\quad
b_0=\frac{\pi}{4},\quad b_1=-\frac{\pi}{4},
]
the all-run PV output converges to
[
S=2\sqrt2.
]
Thus the PV lane preserves:
What it does not assume is the extra classical premise that all four counterfactual outcomes must already coexist as scalar functions on a single Kolmogorov sample space:
[
A_0(\lambda),A_1(\lambda),B_0(\lambda),B_1(\lambda).
]
That is exactly the premise your scalar Bell program tests. It is not a rule that prohibits phenomenological velocity, nor is it a consequence of spacelike separation alone.
Therefore the issue is straightforward. If your challenge requires only run-by-run local outputs, later independent settings, unconditional scoring, and no communication, then the PV program meets those requirements and produces the singlet CHSH value.
If you instead require every submitted mechanism to reduce in advance to a single Boolean scalar counterfactual table, then you have imposed the disputed Bell premise as an admission rule. In that case, the challenge does not refute Parker’s PV construction; it excludes the construction by definition before testing it.
Bell did not independently prove that every locally microcausal event mechanism, including a PV-indexed one, must possess a faithful scalar Boolean reduction of that kind. That reduction is precisely what would need to be established before failure of a scalar-table test could answer the PV theorem.
The updated program makes this distinction executable rather than rhetorical. It includes the scalar Bell lane, the selection lane, and the unconditional PV microcausal lane; it records the premises preserved or abandoned by each; and it produces run-by-run outputs for direct audit.
So the relevant question is no longer whether I can supply actual runs. I have. The question is whether you are willing to test the submitted local event mechanism on its stated premises, or only a substituted scalar model that my theorem never claimed to be. Just be glad we don't have a running bet. I'm not a betting man. I prefer code and certainty.
\code,
Parker
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/6f58216e-11cb-4ff1-b539-e6ccc8c78f34n%40googlegroups.com.
Left![]() | |
--
You received this message because you are subscribed to the Google Groups "Bell inequalities and quantum foundations" group.
To unsubscribe from this group and stop receiving emails from it, send an email to Bell_quantum_found...@googlegroups.com.

On 26 May 2026, at 15:02, Richard Gill <gill...@gmail.com> wrote:
Mark, you can post your rebuttal on PubPeer.
Dear Richard, Bryan, Mark, and all,
Apologies to Mark in advance for the length. Occam’s razor is a useful heuristic, but it is not a logical premise, and it cannot replace distinguishing the assumptions in a complex issue.
I hope you will enjoy the exact semantic assertions provided by the ipynb notebook attached. Thank you for your feedback on the first version, Richard. This is even more precise and true to the conception of phenomenological velocity's response to Einstein's concerns. Please read the following analysis of the problem at your own pace.
I want to separate several claims that are being run together.
First, I accept the strict scalar-output conclusion. If a submitted program has the form
[ A(a,\lambda)\in{\pm1},\qquad B(b,\lambda)\in{\pm1}, ]
with one source law for (\lambda), late user-supplied settings, no communication, and all runs scored, then on a CHSH quartet each source record fixes one of the sixteen deterministic rows
[ (A_0,A_1,B_0,B_1)\in{\pm1}^4. ]
Each such row has pointwise CHSH score (\pm2). Therefore no PV formula inserted inside separated scalar methods alice(a, source) and bob(b, source) can yield (S=2\sqrt2). I have no disagreement with that theorem. The executable notebook confirms it.
But that is exactly why the scope of the test must be stated carefully.
Bell was responding to Einstein. Einstein’s concern was not merely whether one can write down a classical spreadsheet of scalar counterfactuals. The deeper issue was whether quantum mechanics is incomplete because there is an underlying causal reality not captured by the wavefunction. The question is therefore:
[ \text{Does Einstein’s demand for an underlying causal reality necessarily require one classical scalar Kolmogorov space carrying }A_0,A_1,B_0,B_1\text{ simultaneously?} ]
That is the point at issue.
PV is treated as an automorphism acting on commuting local observable algebras, and a common PV action is gauge-like in the singlet correlator because only relative action can matter.
In Bell’s 1964 deterministic theorem, the relevant mathematical object is indeed a separated scalar form,
[ A(a,\lambda),\qquad B(b,\lambda), ]
with the remote magnet setting absent from the local outcome. In later Bell-local-causality and CHSH/Fine formulations this becomes the factorization or screening-off condition
P_A(x\mid a,\lambda)P_B(y\mid b,\lambda), ]
or equivalently the existence of a joint scalar distribution for
[ A_0,A_1,B_0,B_1. ]
But that stochastic factorization formula is not literally the wording of Bell’s original 1964 theorem. It is the later local-causality/scalarization formalization of the same classical family. Gill’s challenge operationalizes this family as an executable replay test.
That distinction matters.
My PV claim is not that a classical scalar instruction table beats Bell. It does not. The notebook already acknowledges that.
My claim is that PV proposes an underlying realist event mechanism whose locality is microcausal and noncommutative, rather than Bell-factorizable and Boolean. In the PV operator construction, Alice’s and Bob’s local observables belong to commuting cross-wing algebras:
[ [A_v(a),B_v(b)]=0. ]
The singlet law is reproduced by the noncommutative event algebra:
[ E(a,b)=-\cos(a-b), \qquad S=2\sqrt2. ]
This is local in the microcausal/operator-algebraic sense, but it is not local in Bell’s scalar-factorizable sense. That distinction is not evasion; it is precisely the mathematical issue.
So if the claim is:
“PV supplies a strict classical shared-randomness local-output simulator that passes Gill’s interface and reaches (2\sqrt2),”
then the claim is false. I agree.
But if the claim is:
“PV supplies an underlying microcausal, noncommutative event algebra reproducing the singlet statistics without cross-wing operator noncommutation,”
then failure in Gill’s scalar-output challenge does not refute it. The challenge tests whether the model admits a faithful scalar reduction of the form (A(a,\lambda),B(b,\lambda)). The PV operator construction is explicitly not such a reduction.
Richard, this is also why I need clarification about the phrase “no restrictions whatsoever.” Earlier the challenge was described as explicitly restricted in advance, but later as imposing no restrictions. Those cannot both be literally true unless the distinction is this:
If that is the intended meaning, then I agree. But then the test decides only whether a classical Bell/Fine/Gill scalar adapter exists. It does not decide whether a noncommutative microcausal event theory exists, which is not necessarily, "quantum mechanics."
The binary singlet sampler in the notebook makes the distinction visible. It reproduces the singlet joint law, but it fails the strict replay test because the sampled event uses the setting pair. The notebook even finds a remote-setting witness. Good. That sampler is not a strict Bell/Gill adapter.
The PV operator theorem is different again. It does not submit scalar run records. It gives an operator-algebraic event mechanism with cross-wing commutation. To refute that theorem, one must show either that the operator calculation is wrong, or that any acceptable Einstein-complete causal event mechanism must reduce to Bell’s scalar local-causal form. That second claim is substantive. It cannot simply be assumed by imposing Gill’s scalar interface and then declaring non-passage a refutation.
So I propose the following clean separation.
Classical scalar adapter claim: PV cannot pass Gill’s strict challenge while retaining (S=2\sqrt2). This is settled by the sixteen-row CHSH certificate.
Microcausal PV event-algebra claim: PV supplies a noncommutative local event mechanism, with cross-wing commutation, reproducing the singlet law. Gill’s scalar challenge does not decide this claim unless a theorem is added showing that such a microcausal event algebra must reduce faithfully to a scalar Bell/Fine joint distribution.
Bell-local-causality claim: If “locality” is defined to mean Bell factorization or scalar screening-off, then the PV operator model is not local in that sense. But that is not the same as saying it has remote-setting operator influence, because it satisfies ([A_v(a),B_v(b)]=0). It means Bell locality and microcausal locality are different mathematical notions.
Please do not substitute the slogan “local hidden-variable model” for the actual logical issue. The question is not whether PV can be squeezed into the exact classical scalar form Bell ruled out. It cannot. The question is whether Einstein’s incompleteness concern forces that scalar form, or whether an underlying noncommutative microcausal event algebra is a legitimate alternative notion of causal completion.
If Richard’s claim is only:
“My test decides whether a classical shared-randomness separated scalar-output implementation exists,”
then I agree. PV cannot win that test while keeping (2\sqrt2).
If the stronger claim is:
“Therefore the PV microcausal operator theorem itself is refuted,”
then that overreaches. It replaces microcausal locality by classical run-by-run factorization and then rules out the replacement.
That is not a refutation of the PV claim. It is a refutation of a scalar reduction of the PV claim.
Best, Parker
<PV_Microcausal_Ontology_RH_Control_and_Gill_Interface_Audit_FINAL_EXECUTED.ipynb>
On 26 May 2026, at 21:14, Parker Emmerson <powerin...@gmail.com> wrote:
<PV_Microcausal_Ontology_RH_Control_and_Gill_Interface_Audit_FINAL_EXECUTED.ipynb>
Dear Richard,
Thank you. Your feedback has been extremely helpful in advancing the phenomenological velocity program, which has gone through several evolutions. Your reply is useful because it brings the issue to its sharpest point.
First, a small clarification of terminology. By PV-REC I mean Phenomenological-Velocity Relational Event Completion. This is the proposed event-completion lane, not merely the operator-control lane and not the contextual singlet sampler.
Also, by “RH” I mean the Riemann Hypothesis. In the present Bell notebook, the RH/PV material is not a Bell-run output mechanism. It supplies no functions
A(a, λ), B(b, λ),
and no Bell event records. It is a semantic/source-fiber annotation layer, not the mechanism by which PV-REC produces outcomes.
Now to the Bell issue.
I agree with your statistical audit of the scalar event sampler. If a notebook lane produces binary event records and, after all random seeds are included in the source record λ, the outputs have the form
x = A(a, b, λ),
y = B(a, b, λ),
then that lane is not Bell-local in the 1964 separated-result sense. If it could instead be written as
x = A_A(a, λ),
y = B_B(b, λ),
with a setting-independent preparation law, then the CHSH proof applies and gives
S ≤ 2.
So I am not claiming that a strict separated scalar PV adapter can pass your same-source replay test and reach 2√2. It cannot. The strict scalar lane of the notebook confirms this.
But this is exactly why I object to letting the phrase “local hidden variables” do all the work. The real issue is not whether PV can be squeezed into Bell’s scalar replay interface. It cannot. The real issue is whether that scalar replay interface is a faithful mathematical rendering of Einstein’s demand for an underlying local and realist mechanics.
I do not think it is.
Bell’s theorem is exact. What is not exact is the common slogan that Bell has ruled out Einstein’s whole vision of locality and reality. Bell ruled out a particular scalarization of that vision.
The crucial distinction is this:
ACTUAL SCALAR READOUTS IN A CHOSEN EXPERIMENT
are not the same as
ONE GLOBAL SCALAR COUNTERFACTUAL TABLE
FOR ALL UNCHOSEN EXPERIMENTS.
Every Bell experiment ultimately reports scalar outcomes,
x, y ∈ {−1, +1},
because the laboratory scoring interface is scalar. In that sense, scalar readouts are not some alien classical imposition. They are also how quantum experiments are recorded: detector clicks, signs, eigenvalue labels, binary scores.
The questionable move is different. Bell takes the scalar reporting layer and asks whether there exists one underlying scalar ledger
(A₀, A₁, B₀, B₁) ∈ {−1, +1}⁴
attached to the same source record. That is a much stronger demand. It is not merely the demand that actual experiments have actual outcomes. It is the demand that all possible local measurement alternatives be jointly scalarized on one Boolean sample space.
That is the mathematical compression I am challenging.
Einstein asked whether quantum mechanics is incomplete: whether there is an underlying real state of affairs behind the statistical wavefunction. Bell reformulated that question into a test of whether the underlying account can be represented as separated scalar functions
A = A_A(a, λ),
B = B_B(b, λ),
or, in stochastic form,
P(x, y | a, b, λ)
= P_A(x | a, λ) P_B(y | b, λ).
That is a brilliant theorem about that formalization. But it is not innocent to identify that formalization with Einstein’s entire physical demand.
Einstein’s concern was mechanical and realist. Bell’s tested object is scalar and counterfactual. Those are not the same thing.
The PV program is intended to expose precisely that gap.
The strict Bell/Gill scalar lane
The strict scalar lane has one setting-independent source law,
ρ(λ | a, b) = ρ(λ),
and separated scalar response maps,
A_A(a, λ), B_B(b, λ).
The correlations are
E(a, b) = ∫ A_A(a, λ) B_B(b, λ) ρ(dλ).
Then the CHSH proof is pointwise. For each λ,
A₀B₀ + A₀B₁ + A₁B₀ − A₁B₁ = ±2,
so
S ≤ 2.
No PV formula inside this lane can evade Bell. I accept this completely.
But notice what this lane assumes: it assumes that the complete source record λ supports simultaneous scalar values for mutually exclusive local measurement contexts. That is not “realism” by itself. That is a particular scalar counterfactual representation of realism.
Or, put differently:
actual scalar readout
≠ global scalar counterfactual ledger.
Bell’s theorem begins after that ledger has been admitted.
The selection / exceptional-locus lane
There is another PV-related issue: exceptional-locus or “defined-only” semantics.
If a radical expression, branch convention, detector rule, coincidence window, or validity condition changes which trials are counted, then the reported law is no longer the emission law ρ. It is the accepted law
γ(a, b, λ) ρ(dλ)
ν_ab(dλ) = ─────────────────────────────── .
∫ γ(a, b, λ) ρ(dλ)
Then the observed correlator is
E_obs(a, b)
= ∫ A_A(a, λ) B_B(b, λ) ν_ab(dλ).
The four CHSH terms are now evaluated under
ν₀₀, ν₀₁, ν₁₀, ν₁₁,
not one common measure. The usual CHSH integration step no longer applies.
This is not a loophole-free local explanation. It is selection/contextual conditioning. But it is mathematically explicit. It can be audited by total-variation geometry, for example with
S_obs ≤ 2 + 2Δ_Q.
So if PV appears through exceptional-locus semantics, it is not mystical. It is a change of ensemble:
ρ → ν_ab.
That is one possible PV semantics, but it is not the final PV-REC claim.
The PV operator-control lane
The operator-control lane introduces PV as a common local action:
A_v(a) = U_v† σ(a) U_v ⊗ I,
B_v(b) = I ⊗ U_v† σ(b) U_v.
The cross-wing commutator vanishes:
[A_v(a), B_v(b)] = 0.
In the singlet pairing,
ω(A_v(a) B_v(b)) = −cos(a − b).
This lane is important because the common PV action cancels from the singlet correlator. It shows that PV can be represented as a shared relational action without introducing cross-wing operator noncommutation.
But this lane alone is not an event ontology. It supplies expectation values, not actual binary event records. Therefore it is not a Gill replay adapter.
The implementation substrate is secondary. The calculation may be represented on paper, in NumPy, in a symbolic algebra system, or eventually on IBM quantum hardware. The substrate does not decide the Bell question. The Bell question is whether the represented model supplies separated scalar maps
X = X_A(a, λ),
Y = Y_B(b, λ).
The operator-control lane does not supply such maps.
This is also why I do not want the discussion reduced to “your laptop only manipulates numbers.” Any implementation has a substrate. A classical computer may represent a PV multiplication rule using arrays of scalar entries; a quantum backend may represent the same structure differently. Neither fact settles the Bell question. The Bell question is not the machine. The Bell question is the event interface.
PV-REC: the actual event-completion lane
PV-REC, the Phenomenological-Velocity Relational Event Completion, is the event-completion proposal. This is the part that is not merely standard singlet quantum mechanics.
The compatibility weights are
m_xy(a, b) = ¼[1 − xy cos(a − b)],
with
x, y ∈ {−1, +1}.
PV-REC does not simply identify these weights with Born probabilities. It converts them into event-channel intensities:
Γ_xy^PV(a, b; λ)
= Γ₀ [m_xy(a, b)]^κ(v),
where
v²
κ(v) = √(1 − ──).
c²
The actual event is selected by a competing-threshold rule:
ξ_xy
(X, Y) = arg min ────────────────── .
x,y∈{±1} Γ_xy^PV(a, b; λ)
Under the exponential-threshold ensemble, this gives
[m_xy(a, b)]^κ(v)
P_PV(x, y | a, b, v) = ──────────────────────────────── .
Σ_x′,y′ [m_x′y′(a, b)]^κ(v)
Therefore,
E_PV(a, b | v)
= −tanh{κ(v) artanh[cos(a − b)]}.
At
v = 0, κ(v) = 1,
this becomes
E_PV(a, b | 0) = −cos(a − b).
But for
v ≠ 0,
PV-REC is empirically distinct from ordinary singlet predictions.
On the standard CHSH quartet,
S_PV(v)
= 4 tanh{κ(v) artanh(1/√2)}.
For the illustrative notebook value
v/c = 0.37,
one has
κ(v) = √(1 − 0.37²) ≈ 0.9290,
and hence
S_PV(0.37c) ≈ 2.697717.
The Monte Carlo simulation gives approximately
S ≈ 2.700.
That value is a theoretical/simulation output, not experimental evidence for PV. A laboratory Bell experiment can produce values near 2.7, but that alone would not prove PV, because ordinary singlet predictions plus visibility, loss, detector effects, and source imperfections can also produce values in that range.
The real empirical test would be the full angle-dependent deformation
−cos(a − b)
changing to
−tanh{κ(v) artanh[cos(a − b)]}.
PV is introduced at the level of event formation, not merely at the level of probability assignment. Whatever one calls the orthodox formalism, it gives a probability calculus for scalar readouts. It does not by itself supply the PV event-mechanical ontology or the phenomenological-velocity actualization law above.
That is precisely the level PV-REC is trying to address.
Why your replay criticism is correct but not exhaustive
PV-REC is not Bell-local in the scalar separated-result sense. I accept that.
The actualization map is generally
(X, Y) = K_ab(λ),
or equivalently,
X = X(a, b, λ),
Y = Y(a, b, λ).
It is not generally of the form
X = X_A(a, λ),
Y = Y_B(b, λ).
So the same-source replay audit fails. The notebook now shows this explicitly.
But this failure means:
PV-REC is not a Bell scalar hidden-instruction model.
It does not mean:
PV-REC has been refuted as an event-mechanical proposal.
That second conclusion would require an additional theorem saying that any acceptable underlying realist event mechanics must reduce to Bell scalar separability. That is precisely the bridge I deny.
In symbols, Bell proves
BellScalarSep ⇒ S ≤ 2.
But what would be needed to dismiss PV-REC on purely Bell grounds is
RealEvent ∩ Microcausal ∩ NoSignal
⇒ BellScalarSep.
That implication is not Bell’s theorem. It is an extra philosophical and mathematical identification.
PV-REC is designed to occupy the difference:
PV-REC ∈ RealEvent ∩ Microcausal ∩ NoSignal,
but
PV-REC ∉ BellScalarSep.
Here,
RealEvent
means that each run has a definite actualized outcome pair
(X, Y) ∈ {−1, +1}².
Microcausal
means that the separated event structures commute across wings:
[𝔄_A, 𝔄_B] = 0.
NoSignal
means the operational marginals do not depend on the distant setting:
P_A(x | a, b) = P_A(x | a),
P_B(y | a, b) = P_B(y | b).
And
BellScalarSep
means the much stronger condition
X = X_A(a, λ),
Y = Y_B(b, λ),
or equivalently,
P(x, y | a, b, λ)
= P_A(x | a, λ) P_B(y | b, λ).
These are not the same mathematical requirement.
If one calls PV-REC “nonlocal” because K_ab(λ) depends on the full setting context, then I accept that in the Bell-factorization sense. But that is not the same as operational signalling, and it is not the same as cross-wing operator noncommutation. The whole purpose of the construction is to distinguish those notions rather than collapse them under the slogan “local hidden variables.”
The Einstein point
You asked whether Einstein would have liked this. I cannot claim Einstein would have endorsed PV. But I can say what Bell did and did not prove about Einstein’s program.
If Einstein’s locality is defined as emission-time scalar separability, then Bell rules it out for CHSH-violating correlations. That is the theorem.
But Einstein’s deeper demand was not obviously “give me a single spreadsheet of scalar answers to all possible unperformed experiments.” His demand was for an underlying reality in which physical events are not created by a merely epistemic wavefunction update and in which no mechanical influence is sent superluminally between separated systems.
Bell’s move was to translate that demand into scalar counterfactual form. Again, the theorem is brilliant. But the translation is not neutral.
The PV objection is that the scalar translation confuses the actual scalar score of a performed measurement with a global scalar ontology of all unperformed measurements.
That is the point.
An actual experiment produces one scalar result. Bell asks for four scalar counterfactuals on the same source record:
A₀, A₁, B₀, B₁.
PV-REC refuses that move. It says: actual events are real, but mutually exclusive measurement contexts need not be jointly scalarized before actualization.
So the precise claim is:
Bell rules out Einstein only after Einstein is translated
into Bell scalar separability.
It does not prove that every realist, no-signalling, microcausal event mechanics is impossible.
Equivalently:
actual scalar readouts
≠ global scalar counterfactual table.
Bell assumes the latter in the separated hidden-variable form
X = X_A(a, λ),
Y = Y_B(b, λ).
For a CHSH quartet, this entails the existence, for each λ, of
A₀(λ), A₁(λ), B₀(λ), B₁(λ).
Then Bell follows.
PV-REC accepts actual scalar readouts
(X, Y) ∈ {−1, +1}²
for the performed context (a, b), but denies the global table
(A₀, A₁, B₀, B₁)
as an emission-time scalar object.
Instead,
(X, Y) = K_ab(λ).
That is contextual actualization, not scalar counterfactual separability.
So the formal distinction is
K_ab(λ) ≢ [X_A(a, λ), Y_B(b, λ)].
That is the core of the argument.
If PV-REC were physically demonstrated — not by a single S ≈ 2.7, but by the full angle-dependent PV correlation law and by exclusion of ordinary singlet and experimental-imperfection explanations — Bell’s theorem would remain correct. What would change is the interpretation of its scope. It would mean that Bell conquered the scalar-counterfactual territory, not the whole territory of possible Einsteinian event mechanics.
To put it compactly:
Bell did not defeat realism.
Bell defeated scalarized counterfactual realism.
PV asks whether Einstein’s deeper mechanical intuition survives outside that scalarization.
That is the question I am trying to make mathematically precise.
So I agree that your challenge refutes a separated scalar PV hidden-variable adapter. It does not by itself refute a contextual, no-signalling, microcausal event-completion with its own empirically testable correlation law.
Bell’s proof is not wrong. The overreach is treating Bell’s scalar ledger as if it were Einstein’s whole concept of physical reality. PV-REC is not trying to fill the ledger. It is denying that the ledger is the right mechanical object.
You said that my task is to interest theoretical physicists and philosophers of science in the approach. I accept that. The first step is to be clear about what has and has not been refuted:
Gill replay refutes separated scalar PV adapters.
It does not refute, by itself,
PV-REC as a contextual, no-signalling, microcausal
event-mechanical proposal.
That proposal has to be judged by its own mathematics and, ultimately, by its empirical angle-dependent predictions.
All my Best,
Parker
Parker
Dear Richard,
I've seen in many of your replies you stating something to the effect of: "Bell-CHSH says that if one obtains (-cos(a-b)) by a legitimate calculation from legitimately generated data, then the model must be non-local."
Aside from the fact that this seems to make the conclusion depend rather strongly on what is meant by "legitimate" in the first place, it made me curious. If "legitimate" here means a model satisfying Bell's premises, then it would appear that any model reproducing the quantum correlations while remaining within that class would necessarily fall under Bell's conclusion by construction.
In the paper with Inge and Bart you specifically mention that your own way of finding closure with the Bell issue is to abandon the Aristotelian notion of "prior" cause. However, I don't think I have seen a paper of yours specifically modeling the EPR setup from that premise.
Given that notion as a modeling assumption, are you able to derive the quantum correlations, through any method you would consider physically satisfactory?
The EPR correlations obey a very well defined structure, they are not merely arbitrary correlations. I am asking because many times when I discussed with proponents of superdeterminism (and even in papers by Hossenfelder, who is one of its most notable proponents), I found that while the mathematical premise itself is proposed as a way around Bell, it is often less clear how the exact quantum correlation structure emerges event-by-event. To my knowledge, nobody has yet provided a generally accepted derivation of the full quantum correlation function from such premises alone.
Best regards,
Leo
On 30 May 2026, at 20:18, Leo <leo_...@hotmail.it> wrote:
--
You received this message because you are subscribed to the Google Groups "Bell inequalities and quantum foundations" group.
To unsubscribe from this group and stop receiving emails from it, send an email to Bell_quantum_found...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/46f68b03-2833-4535-9c03-26f78887815bn%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/0430A199-6238-49BF-AB6D-9943892736DF%40gmail.com.
<PV_REC__A_Phenomenological_Velocity_Relational_Event_Completion__Copy_ (2).pdf>
On 30 May 2026, at 20:18, Leo <leo_...@hotmail.it> wrote:
--
You received this message because you are subscribed to the Google Groups "Bell inequalities and quantum foundations" group.
To unsubscribe from this group and stop receiving emails from it, send an email to Bell_quantum_found...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/e07f2e28-1a2a-4066-a9ad-c14a6c07f981n%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/68158fcf-7b3b-4b23-adf7-87184e8bbfa6n%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/221F6FC0-98E2-467E-9583-999ED98F7560%40gmail.com.

Hi Richard,You askedI’m looking forward to reporting here what I find. Does the code faithfully follow your concise description?Answer: YesBryan
On Sun, May 31, 2026 at 7:34 AM Richard Gill <gill...@gmail.com> wrote:
Hi BryanYou promised to show us the computer program that you used to draw this graphic:
Here is a concise statement:
- Bell's theorem begins with Boolean detector values that exist throughout the experiment, allowing all correlations to be constructed from a common set of pre-existing binary variables.
- In contrast, the BiSM begins with a continuous quaternionic rotor state carrying a common Lorentz-invariant phase relation established at the source.
- This phase is not a signal exchanged between Alice and Bob, but a geometric property of the pair that persists during free flight, much as phase coherence persists in lasers, superconductors, Bose-Einstein condensates, and other coherent systems.
- The analyzer settings act locally on the incoming rotors, instantiating local measurement planes from the underlying phase structure. Only at detection is the rotor converted into a Boolean outcome.
- The observed cosine correlation therefore arises from the geometric relation between two locally instantiated rotor states sharing a common phase coherence, rather than from pre-existing Boolean assignments or nonlocal influences.
- In this view, EPR correlations are not evidence for superluminal communication, but a statistical manifestation of transported geometric phase coherence.
Dear Richard,
I've seen in many of your replies you stating something to the effect of: "Bell-CHSH says that if one obtains (-cos(a-b)) by a legitimate calculation from legitimately generated data, then the model must be non-local."
Aside from the fact that this seems to make the conclusion depend rather strongly on what is meant by "legitimate" in the first place, it made me curious. If "legitimate" here means a model satisfying Bell's premises, then it would appear that any model reproducing the quantum correlations while remaining within that class would necessarily fall under Bell's conclusion by construction.
In the paper with Inge and Bart you specifically mention that your own way of finding closure with the Bell issue is to abandon the Aristotelian notion of "prior" cause. However, I don't think I have seen a paper of yours specifically modeling the EPR setup from that premise.
Given that notion as a modeling assumption, are you able to derive the quantum correlations, through any method you would consider physically satisfactory?
The EPR correlations obey a very well defined structure, they are not merely arbitrary correlations. I am asking because many times when I discussed with proponents of superdeterminism (and even in papers by Hossenfelder, who is one of its most notable proponents), I found that while the mathematical premise itself is proposed as a way around Bell, it is often less clear how the exact quantum correlation structure emerges event-by-event. To my knowledge, nobody has yet provided a generally accepted derivation of the full quantum correlation function from such premises alone.
Best regards,
Leo
Il giorno sabato 30 maggio 2026 alle 11:33:52 UTC+2 gill...@gmail.com ha scritto:
Brian Einstein will never admit defeat.
But I will defeat him. All that needs to be done is to locate the point in his program at which settings a and b (angles in degrees) together with the current state of a pseudo random number generator are used to produce outcomes x, y.
O course this happens many, many times.
The first question will be: do x, y take values +/-1 and is the correlation calculated as the average of the product x times y for many replicates with the same a, b (or a, b in the same bins)?
If not, Bryan is not simulating EPR-B correlations
But if he is, then we finally need a few times to generate outcomes x, y ; x, y’; x’, y; x’, y’ for settings a, b; a, b’; a’, b; a’, b’ ; and the *same initial state* lambda of the pseudo random number generator.
Bell-CHSH says that if he does get -cos(a - b) by a legitimate calculation from legitimately generated data, then his model must be non-local for a fairly large proportion of trials. Ie, after a few tests I’ll find a set a, a’, b, b’, x, x’, y , y’ which violate locality.
It’s a simple exercise in forensic auditing of Bryan’s program.
I hope his computer program is reasonably transparent.
> On 29 May 2026, at 02:25, Parker Emmerson <powerin...@gmail.com> wrote:
>
> Oh... looks like Einstein refuses to lose. lolzz
--
You received this message because you are subscribed to the Google Groups "Bell inequalities and quantum foundations" group.
To unsubscribe from this group and stop receiving emails from it, send an email to Bell_quantum_found...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/46f68b03-2833-4535-9c03-26f78887815bn%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/011500b1-66a8-40e6-9d90-bec7df617245n%40googlegroups.com.

PV-REC is not . But PV-REC claims a different locality notion:

PV-REC can be interpreted as satisfying the physical ethos of Bell’s conditions, but not the later Bell-scalar replay formalization of those conditions.
PV-REC says:
Richard’s challenge is a very good test of what it is designed to test, and a very poor test of what it pretends to test. It does not test whether PV-REC permits signalling. It does not test whether the source distribution depends on future settings. It does not test whether Alice sends a physical influence to Bob. It tests whether PV-REC can be rewritten as a Bell-scalar hidden-instruction model. But PV-REC’s whole mathematical point is that completed events are not source-only hidden instructions. So the replay challenge refutes only a straw version of the theory: the version obtained by first deleting its boundary-event ontology and then complaining that what remains does not fit Bell’s spreadsheet.
On Sun, May 31, 2026 at 8:21 PM Parker Emmerson <powerin...@gmail.com> wrote:
Dear Richard,I hope you are well. Your challenge is mathematically fair if the target is Bell-scalar separability: if one assumes a single setting-independent source record λ and separated response functions X = X_A(a, λ), Y = Y_B(b, λ), then CHSH follows by the usual pointwise identity A₀B₀ + A₀B₁ + A₁B₀ − A₁B₁ = A₀(B₀ + B₁) + A₁(B₀ − B₁), whose value is always ±2, so averaging gives S ≤ 2. I do not dispute that theorem. The issue is that this “locality” condition already contains a very specific resolution of the physical question: it requires emission-time scalar screening-off, namely that the same source record λ must support all counterfactual replays A₀, A₁, B₀, B₁. That is stronger than no signalling, stronger than preparation independence, and stronger than definite local records. PV-REC keeps preparation independence, P(λ₀ | a,b) = P(λ₀), and keeps operational no-signalling, P_A(x | a,b) = P_A(x | a) and P_B(y | a,b) = P_B(y | b). In the singlet sector it uses m_xy(a,b) = ¼(1 − xy cos(a − b)) and P_PV(x,y | a,b,v) = m_xy(a,b)^κ(v) / Σ_x′y′ m_x′y′(a,b)^κ(v). Since m_++ = m_-- and m_+- = m_-+, the marginals are exactly balanced: P_A(+ | a,b,v) = P_A(− | a,b,v) = ½, and likewise for Bob. So the model is not smuggling in an observable signal. What it denies is the extra claim that λ₀ is the complete Bell screening variable. In PV-REC the completed event is Λᶜᵒᵐᵖ_ab = (λ₀, 𝔅_A(a), 𝔅_B(b)), and the actualization law is (X,Y) = K_ab(λ₀), not X = X_A(a,λ₀), Y = Y_B(b,λ₀). That is the whole logical distinction: replay captures Bell’s formal scalar assumption, but replay is not identical to every coherent notion of locality, realism, or no-signalling event mechanics. If “local” is defined to mean “Bell-scalar replay-admissible,” then PV-REC is not local by definition. But that definition has already built the desired theorem into the admissible class. PV-REC’s point is that a time-symmetric boundary-event theory can have local records, no controllable wing-to-wing signal, preparation independence, constant total flux, and exact operational no-signalling, while still failing scalar replay. Therefore the real disagreement is not over the CHSH algebra; it is over whether Bell-scalar separability has a privileged right to exhaust the meaning of physical locality.All my best,Parker
On Sun, May 31, 2026 at 4:06 PM Parker Emmerson <powerin...@gmail.com> wrote:
Bell-locality is being treated as if it were locality itself, when it may only be a condition on one particular mathematical representation of locality. Why should we have to keep apologizing with “not Bell-local” every three sentences?PV-REC is not . But PV-REC claims a different locality notion:
PV-REC is not a Bell-scalar replay theory. It does not assign a pre-existing four-setting table to the source record. Instead, it assigns one definite outcome pair only to the completed measurement context . The joint event law depends on the completed context, but the local marginal statistics do not. Therefore the model denies that locality requires Bell-scalar replay; it does not introduce operational signalling.
<Screenshot 2026-05-31 at 3.51.51 PM.png>PV-REC can be interpreted as satisfying the physical ethos of Bell’s conditions, but not the later Bell-scalar replay formalization of those conditions.
PV-REC says:
That is a very strong sense in which it preserves the spirit of the Bell premises.So Richard is kind of right that replay captures Bell’s formal assumption. But “replay” is a later operational packaging, not Bell’s original philosophical wording. "Give me a theory that violates Bell while already being formatted as the kind of theory Bell proves cannot violate Bell."Bell’s theorem is decisive against theories whose complete state supports separated scalar counterfactual replay. PV-REC denies that this replay object is physically present. Therefore Gill’s programming challenge is fair as a test of Bell-scalar replay models, but not fair as a test of PV-REC’s actual claim. PV-REC is arguing that Bell’s assumptions are not the right formalization of local realist event completion. Richard, the issue is that your interpretive framing preselects the formal object under dispute, then treats failure to supply that object as failure of the theory. Gill asks PV-REC to enter the debate only after accepting Bell’s scalar ledger.Your programming challenge is mathematically clean, but it is not interpretively neutral. It requires the model to present itself as two separated scalar replay functions on a common source record. That already installs the Bell/Fine global-counterfactual ledger. PV-REC’s claim is precisely that this ledger is not physically occupied before measurement. The actual experiment produces one definite local outcome pair, not four jointly defined scalar answers for mutually exclusive settings. Therefore, when PV-REC fails your replay interface, that is not an accidental computational failure; it is the predicted failure of Bell-scalar representability. The challenge proves that PV-REC is not a Bell-replay model. It does not prove that PV-REC is not a realist, no-signalling, contextual event-completion model. The disagreement is not inside the CHSH algebra; it is over whether your replay interface is the only legitimate mathematical rendering of locality and realism.
On Sun, May 31, 2026 at 3:31 PM Bryan Sanctuary <bryancs...@gmail.com> wrote:
Mark,Here is my (standard) derivation of CHSH
<image.png>Bryan<image.png><image.png>