Related papers: Algorithmic Pulsar Timing
Pulsar searching with next-generation radio telescopes requires efficiently sifting through millions of candidates generated by search pipelines to identify the most promising ones. This challenge has motivated the utilization of Artificial…
Parametric timed automata (PTA) extend timed automata by allowing parameters in clock constraints. Such a formalism is for instance useful when reasoning about unknown delays in a timed system. Using existing techniques, a user can…
The multi-dithering method has been well verified in phase locking of polarization coherent combination experiment. However, it is hard to apply to low repetition frequency pulsed lasers, since there exists an overlap frequency domain…
Pulsar timing arrays (PTAs) are searching for nanohertz-frequency gravitational waves (GWs) through cross-correlation of pulse arrival times from a set of radio pulsars. PTAs have relied upon a frequency-shift formula of the pulse, where…
Observations of low-frequency gravitational waves will require the highest possible timing precision from an array of the most spin-stable pulsars. We can improve the sensitivity of a pulsar timing array (PTA) to different…
Radio telescopes are used to accurately measure the time of arrival (ToA) of radio pulses in pulsar timing experiments that target mostly millisecond pulsars (MSPs) due to their high rotational stability. This allows for detailed study of…
A spatially-selective and internal-state-selective triggering pulse is an important component to realize the unitary dynamical state-locking process which may be used to realize the reversible and unitary halting protocol and construct the…
Highly precise pulsar timing is very important for understanding the nature of a neutron star, and it can even be used to detect gravitational waves. Unfortunately, the accuracy of the pulsar timing is seriously affected by the spin-down…
In this paper, we describe the International Pulsar Timing Array second data release, which includes recent pulsar timing data obtained by three regional consortia: the European Pulsar Timing Array, the North American Nanohertz Observatory…
Recently we have shown a system developed to precisely control the laser pulse timing of excimer lasers [1]. The electronic circuit based on an embedded microcontroller and utilized the natural jitter noise of the laser pulse generation to…
Arrays of precisely-timed millisecond pulsars are used to search for gravitational waves with periods of months to decades. Gravitational waves affect the path of radio pulses propagating from a pulsar to Earth, causing the arrival times of…
The smooth spin-down of young pulsars is perturbed by two non-deterministic phenomenon, glitches and timing noise. Although the timing noise provides insights into nuclear and plasma physics at extreme densities, it acts as a barrier to…
A "pulsar timing array" (PTA), in which observations of a large sample of pulsars spread across the celestial sphere are combined, allows investigation of "global" phenomena such as a background of gravitational waves or instabilities in…
Analog quantum simulators can directly emulate time-dependent Hamiltonian dynamics, enabling the exploration of diverse physical phenomena such as phase transitions, quench dynamics, and non-equilibrium processes. Realizing accurate analog…
Parametric timed automata (PTAs) are a powerful formalism to reason, simulate and formally verify critical real-time systems. After 25 years of research on PTAs, it is now well-understood that any non-trivial problem studied is undecidable…
Phase clocks are synchronization tools that implement a form of logical time in distributed systems. For systems tolerating transient faults by self-repair of damaged data, phase clocks can enable reasoning about the progress of distributed…
We present a detailed mathematical analysis of the Fourier response of binary pulsar signals whose frequencies are modulated by circular orbital motion. The fluctuation power spectrum of such signals is found to be \nu_orb-periodic over a…
Over the past decade and a half, adoption of Bayesian inference in pulsar timing analysis has led to increasingly sophisticated models. The recent announcement of evidence for a stochastic background of gravitational waves by various pulsar…
In this paper we introduce a new Python package, the Pulsar Signal Simulator, or PsrSigSim, which is designed to simulate a pulsar signal from emission at the pulsar, through the interstellar medium, to observation by a radio telescope, and…
Pulsar timing array experiments have recently uncovered evidence for a nanohertz gravitational wave background by precisely timing an ensemble of millisecond pulsars. The next significant milestones for these experiments include…