Related papers: Logical synchronization: how evidence and hypothes…
We show that the unavoidable increase in neuronal response latency to ongoing stimulation serves as a nonuniform gradual stretching of neuronal circuit delay loops and emerges as an essential mechanism in the formation of various types of…
There are reasons to doubt that making sense of the wave function (other than as a probability algorithm) will help with the project of making sense of quantum mechanics. The consistency of the quantum-mechanical correlation laws with the…
To learn and reason in the presence of uncertainty, the brain must be capable of imposing some form of regularization. Here we suggest, through theoretical and computational arguments, that the combination of noise with synchronization…
In an apparently unexplored region of relativistic spacetime, a simple thought experiment demonstrates that conjoined Lorentz transformations predict a proper clock at rest will run backwards and that prediction violates the logical…
When a dynamical system contains several different modes of oscillations it may behave in a variety of ways: If the modes oscillate at their own individual frequencies, it exhibits quasiperiodic behavior; when the modes lock to one another…
We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound…
Synchronization resulting in unified collective behavior of the individual elements of a system that are weakly coupled to each other has long fascinated scientists. Examples range from the periodic oscillation of coupled pendulum clocks to…
Even if a logical network consists of thermodynamically reversible gate operations, the computation process may have high dissipation rate if the gate implementation is controlled by external clock signals. It is an open question whether…
Random perturbations applied in tandem to an ensemble of oscillating objects can synchronize their motion. We study multiple copies of an arbitrary dynamical system in a stable limit cycle, described via a standard phase reduction picture.…
Technologies for manipulating single atoms have advanced drastically in the past decades. Due to their excellent controllability of internal states, atoms serve as one of the ideal platforms as quantum systems. One major research direction…
A careful study is made of the operational meaning of the time symbols appearing in the space-time Lorentz transformation. Four distinct symbols, with different physical meanings, are needed to describe reciprocal measurements involving…
In a standing wave of light, a difference in spatial distributions of multipolar atom-field interactions may alter the definition of the magic wavelength to minimize the uncertainty of optical lattice clocks. We show that the magic…
In optical clocks, transitions of ions or neutral atoms are interrogated using pulsed ultra-narrow laser fields. Systematic phase chirps of the laser or changes of the optical path length during the measurement cause a shift of the…
Synchronization in quantum systems has been recently studied through persistent oscillations of local observables, which stem from undamped modes of the dissipative dynamics. However, the existence of such modes requires fine-tuning the…
Clock synchronization procedures are analyzed in the presence of imperfect communications. In this context we show that there are physical limitations which prevent one from synchronizing distant clocks when the intervening medium is…
Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as…
We examine microscopic mechanisms for coupling stochastic oscillators so that they display similar and correlated temporal variations. Unlike oscillatory motion in deterministic dynamical systems, complete synchronization of stochastic…
We show that logic computational circuits in gene regulatory networks arise from a fibration symmetry breaking in the network structure. From this idea we implement a constructive procedure that reveals a hierarchy of genetic circuits,…
Synchronization of finite spike sequences is the way two brain regions compare their content and extract the most suitable sequence. This is the core of the linguistic comparison between a word and a previous one retrieved by memory.…
We study the reachability problem for networks of timed communicating processes. Each process is a timed automaton communicating with other processes by exchanging messages over unbounded FIFO channels. Messages carry clocks which are…