- Centre National de la Recherche ScientifiqueFR1.9k papers
- Weizmann Institute of ScienceIL1.8k papers
- Rutherford Appleton LaboratoryGB1.6k papers
- The Ohio State UniversityUS1.6k papers
- Technion – Israel Institute of TechnologyIL1.6k papers
- University of ManchesterGB1.5k papers
- University of California, Santa CruzUS1.5k papers
- Heidelberg UniversityDE1.5k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR1.5k papers
- Queen Mary University of LondonGB1.5k papers
- The University of TokyoJP1.5k papers
- University of CambridgeGB1.5k papers
208 papers · 1 filter
Black-Hole Uncertainty Entails an Intrinsic Time Arrow. a Note on the Hawking-Penrose Controversy
Avshalom C. Elitzur, Shahar Dolev
Any theory that states that the basic laws of physics are time-symmetric must be strictly deterministic. Only determinism enables time reversal of entropy increase. A contradiction…
Propagation of an optical pulse in a fiber link with random dispersion management
Anders Berntson, Boris A. Malomed
A model of a long optical communication line consisting of alternating segments with anomalous and normal dispersion, whose lengths are picked up randomly from a certain interval,…
Nonlocal Effects of Partial Measurements and Quantum Erasure
Avshalom C. Elitzur, Shahar Dolev
Partial measurement turns the initial superposition not into a definite outcome but into a greater probability for it. The probability can approach 100%, yet the measurement can un…
Black Hole Evaporation Entails an Objective Passage of Time
Avshalom C. Elitzur, Shahar Dolev
Time's apparent passage has long been debated by philosophers, with no decisive argument for or against its objective existence. In this paper we show that introducing the issue of…
Indeterminism and Time Symmetry are Incompatible: Reply to Rebilas
Avshalom C. Elitzur, Shahar Dolev
Rebilas argues that time-reversal can occur even in an indeterministic system. This hypothesis is untestable, hence lying beyond physics.
A General Framework for Automatic Termination Analysis of Logic Programs
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv +1
This paper describes a general framework for automatic termination analysis of logic programs, where we understand by ``termination'' the finitenes s of the LD-tree constructed for…