Related papers: Formal context for cryptographic models
We derive essential elements of quantum mechanics from a parametric structure extending that of traditional mathematical statistics. The basic setting is a set $\mathcal{A}$ of incompatible experiments, and a transformation group $G$ on the…
We use concepts from quantum cryptography to relate the entanglement in many-body mixed states to standard correlation functions. If a system can be used as a resource for distilling private keys -- random classical bits that are shared by…
Quantum bits can be isolated to perform useful information-theoretic tasks, even though physical systems are fundamentally described by very high-dimensional operator algebras. This is because qubits can be consistently embedded into…
We demonstrate that quantum instruments can provide a unified operational foundation for quantum theory. Since these instruments directly correspond to laboratory devices, this foundation provides an alternate, more experimentally grounded,…
Calibration strengthens the trustworthiness of black-box models by producing better accurate confidence estimates on given examples. However, little is known about if model explanations can help confidence calibration. Intuitively, humans…
A pedagogical introduction is given to the quantum mechanics of closed systems, most generally the universe as a whole. Quantum mechanics aims at predicting the probabilities of alternative coarse-grained time histories of a closed system.…
This paper contributes to a burgeoning area of investigation, the ambiguity inherent in mathematics and the implications for physics of this ambiguity. To display the mathematical form of equations of quantum theory used to describe…
By analogy to classical cryptography, we develop a "quantum public key" based cryptographic scheme in which the two public and private keys consist in each of two entangled beams of squeezed light. An analog message is encrypted by…
No physical measurement can be performed with infinite precision. This leaves a loophole in the standard no-go arguments against non-contextual hidden variables. All such arguments rely on choosing special sets of quantum-mechanical…
From behavioral sciences to biology to quantum mechanics, one encounters situations where (i) a system outputs several random variables in response to several inputs, (ii) for each of these responses only some of the inputs may "directly"…
Unconditionally secure bit commitment and coin flipping are known to be impossible in the classical world. Bit commitment is known to be impossible also in the quantum world. We introduce a related new primitive - {\em quantum bit escrow}.…
Quantum link models provide an alternative non-perturbative formulation of Abelian and non-Abelian lattice gauge theories. They are ideally suited for quantum simulation, for example, using ultracold atoms in an optical lattice. This holds…
It has been shown that the predictions of some new phenomena (e.g., teleportation and cryptography) are based on some assumptions added to the quantum-mechanical model or modifying some of its basic axioms. The hitherto experiments…
The security of the previous quantum key distribution protocols, which is guaranteed by the nature of physics law, is based on the legitimate users. However, the impersonation of Alice or Bob by eavesdropper, in practice. will be existed in…
The theory of quantum cryptography aims to guarantee unconditional information-theoretic security against an omnipotent eavesdropper. In many practical scenarios, however, the assumption of an all-powerful adversary is excessive and can be…
We prove that superdeterministic models of quantum mechanics are conspiratorial in a mathematically well-defined sense, by further development of the ideas presented in a previous article $\mathcal{A}$. We consider a Bell scenario where, in…
Sphere packings are essential to the development of physical models for powders, composite materials, and the atomic structure of the liquid state. There is a strong scientific need to be able to assess the fit of packing models to data,…
We present a theory of "quantum references", similar to lenses in classical functional programming, that allow to point to a subsystem of a larger quantum system, and to mutate/measure that part. Mutable classical variables, quantum…
With the help of a tight-binding (TB) electronic-structure toy model we investigate the matching of parameters across hetero-interfaces . We demonstrate that the virtual crystal approximation, commonly employed for this purpose, may not…
We describe a classical model that may serve as an analog for joint and local measurements of an entanglement witness. The analogous experimental procedure and data analysis protocol of the model follow those of a previous experiment to…