Valuation symmetry for incompatible quantum propositions

Let Ψ|\Psi\rangle be a quantum state, let P^\hat{P} be the operator associated with an experimental proposition, and let vv be the function assigning images to truth values. Valuation symmetry conjecture. Under vv, the truth of

Ψran(P^)Ψker(P^)|\Psi\rangle\notin\operatorname{ran}(\hat{P})\sqcap|\Psi\rangle\notin\operatorname{ker}(\hat{P})

has the same image as the truth of Ψran(P^)|\Psi\rangle\in\operatorname{ran}(\hat{P}) or the truth of Ψker(P^)|\Psi\rangle\in\operatorname{ker}(\hat{P}). The source introduces this as an additional assumption intended to make the equal-cost conjecture possible without implying the quantum parallelism efficiency conjecture; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Arkady Bolotin, “Equal cost of computation for truth and falsity of experimental quantum propositions necessitates quantum parallel computing”, arXiv:2001.00913 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.