Related papers: Quantum logic and weak values
Since the pillars of quantum theory were established, it was already noted that quantum physics may allow certain correlations defying any local realistic picture of nature, as first recognized by Einstein, Podolsky and Rosen. These quantum…
In this paper, a complex-valued measure of bi-product path space induced by quantum walk is presented. In particular, we consider three types of conditional return paths in a power set of the bi-product path space (1) $\Lambda \times…
For a discrete two-state quantum walk (QW) on the half-line with a general condition at the boundary, we formulate and prove a weak limit theorem describing the terminal behavior of its transition probabilities. In this context,…
Probabilistic logic programs are logic programs where some facts hold with a specified probability. Here, we investigate these programs with a causal framework that allows counterfactual queries. Learning the program structure from…
We investigate some forms of quantum logic arising from the standard and the unsharp approach.
The article demonstrates that logic is not necessarily singleton and does not always have the standard interpretation of negation. Appropriate generalizations of logic are suggested. Positive logic and multivalued negation operations are…
The best mathematical arguments against a realistic interpretation of quantum mechanics - that gives definite but partially unknown values to all observables - are analysed and shown to be based on reasoning that is not compelling. This…
We study the detection capability of the weak-value amplification on the basis of the statistical hypothesis testing. We propose a reasonable testing method in the physical and statistical senses to find that the weak measurement with the…
Bipartite quantum entangled systems can exhibit measurement correlations that violate Bell inequalities, revealing the profoundly counter-intuitive nature of the physical universe. These correlations reflect the impossibility of…
We propose a usage of a weak value for a quantum processing between preselection and postselection. While the weak value of a projector of 1 provides a process with certainty like the probability of 1, the weak value of -1 negates the…
Vaidman, in a recent article adopts the method of 'quantum weak measurements in pre- and postselected ensembles' to ascertain whether or not the chained-Zeno counterfactual computation scheme proposed by Hosten et al. is counterfactual;…
The extravagances of quantum mechanics never fail to enrich daily the debate around natural philosophy. Entanglement, non-locality, collapse, many worlds, many minds, and subjectivism have challenged generations of thinkers. Its approach…
An analysis of errors in measurement yields new insight into the penetration of quantum particles into classically forbidden regions. In addition to ``physical" values, realistic measurements yield ``unphysical" values which, we show, can…
The physical meaning of weak values and measurements can be completely understood with Born rule and the general probability theory. It is known that the weak value of an observable $\hat A$ with post-selection $\langle F|$ may be out of…
Quantum weak measurement, measuring some observable quantities within the selected subensemble of the entire quantum ensemble, can produce many interesting results such as the superluminal phenomena. An outcome of such a measurement is the…
The concepts of complementarity and entanglement are considered with respect to their significance in and beyond physics. A formally generalized, weak version of quantum theory, more general than ordinary quantum theory of material systems,…
Quantum measurements can be generalized to include complex quantities. It is possible to relate the quantum weak values of projection operators to the third order Bargmann invariants. The argument of the weak value becomes, up to a sign,…
There has been much recent work on quantum inequalities to constrain negative energy. These are uncertainty principle-type restrictions on the magnitude and duration of negative energy densities or fluxes. We consider several examples of…
Logical specifications are widely used to represent software systems and their desired properties. Under system degradation or environmental changes, commonly seen in complex real-world robotic systems, these properties may no longer hold…
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds, but a strong form of this theorem does not hold. Translating these…