Related papers: Atomic Entailment and Atomic Inconsistency and Cla…
Quantum mechanics of composite systems, gives rise to certain special states called entangled states. A physical system, that is in an entangled state displays an intricate correlation between its subsystems. There are also some composite…
From an inconsistent database non-trivial arguments may be constructed both for a proposition, and for the contrary of that proposition. Therefore, inconsistency in a logical database causes uncertainty about which conclusions to accept.…
Recently, a thermodynamic definition of time has been introduced. This definition is useful to find approach some open problems in physics. But, it was obtained by a phenomenological approach and a logical inconsistency appears in the…
Systems of classical continuous particles in the grand canonical ensemble interacting through purely attractive, yet stable, interactions are defined. By a lattice approximation, FKG ferromagnetic inequalities are shown to hold for such…
We introduce three measures which quantify the degree to which quantum systems possess the robustness exhibited by classical systems when subjected to continuous observation. Using these we show that for a fixed environmental interaction…
Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by 'superposition' in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the…
Constrained Hamiltonian description of the classical limit is utilized in order to derive consistent dynamical equations for hybrid quantum-classical systems. Starting with a compound quantum system in the Hamiltonian formulation conditions…
Two results are presented concerning the entailment problem in Separation Logic with inductively defined predicate symbols and theory reasoning. First, we show that the entailment problem is undecidable for rules with bounded tree-width, if…
The concept of gauge invariance in classical electrodynamics assumes tacitly that Maxwell's equations have unique solutions. By calculating the electromagnetic field of a moving particle both in Lorenz and in Coulomb gauge and directly from…
Effective classicality of a property of a quantum system can be defined using redundancy of its record in the environment. This allows quantum physics to approximate the situation encountered in the classical world: The information about a…
The so-called classical limit of quantum mechanics is generally studied in terms of the decoherence of the state operator that characterizes a system. This is not the only possible approach to decoherence. In previous works we have…
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment…
The quantum mechanics formalism introduced new revolutionary concepts challenging our everyday perceptions. Arguably, quantum entanglement, which explains correlations that cannot be reproduced classically, is the most notable of them.…
We analyze a quantum measurement where the apparatus is initially in a mixed state. We show that the amount of information gained in a measurement is not equal to the amount of entanglement between the system and the apparatus, but is…
Description of nonclassicality of states has hitherto been through violation of Bell inequality and non-separability, with the latter being a stronger constraint. In this paper, we show that this can be further sharpened, by introducing the…
Entanglement is nowadays considered as a key quantity for the understanding of correlations, transport properties, and phase transitions in composite quantum systems, and thus receives interest beyond the engineered applications in the…
We introduce and discuss the concept of modular entanglement. This is the entanglement that is established between the end points of modular systems composed by sets of interacting moduli of arbitrarily fixed size. We show that end-to-end…
We develop a theory of classical complexity. We study the relations between classical complexity and entropy, and conjecture that in an isolated system, classical absolute complexity always tends to grow, until it reaches its maximum. We…
The standard kicked top involves a periodically kicked angular momentum. By considering this angular momentum as a collection of entangled spins, we compute the bipartite entanglement dynamics as a function of the dynamics of the classical…
In this work we review and further develop the controversial concept of "classical entanglement" in optical beams. We present a unified theory for different kinds of light beams exhibiting classical entanglement and we indicate several…