-
Systematic upper limits on the size of missing pulsar glitches in the first UTMOST open data release
Authors:
L. Dunn,
A. Melatos,
S. Suvorova,
W. Moran,
R. J. Evans,
S. Osłowski,
M. E. Lower,
M. Bailes,
C. Flynn,
V. Gupta
Abstract:
A systematic, semi-automated search for pulsar glitches in the first UTMOST public data release is presented. The search is carried out using a hidden Markov model which incorporates both glitches and timing noise into the model of the assumed phase evolution of the pulsar. Glitches are detected through Bayesian model selection between models with and without glitches present with minimal human in…
▽ More
A systematic, semi-automated search for pulsar glitches in the first UTMOST public data release is presented. The search is carried out using a hidden Markov model which incorporates both glitches and timing noise into the model of the assumed phase evolution of the pulsar. Glitches are detected through Bayesian model selection between models with and without glitches present with minimal human intervention. Nine glitches are detected among seven objects, all of which have been previously reported. No new glitches were detected. Injection studies are used to place 90\% frequentist upper limits on the size of undetected glitches in each of the 282 objects searched. The mean upper limit obtained is $Δf^{90\%}/f = 1.9 \times 10^{-8}$, with a range of $4.1 \times 10^{-11} \leq Δf^{90\%}/f \leq 2.7 \times 10^{-7}$, assuming step events with no post-glitch recoveries. It is demonstrated that including glitch recovery has a mild effect, in most cases increasing the upper limit by a factor of $\lesssim 5$ conservatively assuming complete recovery on a timescale of $100\,\mathrm{d}$.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Continuous gravitational waves in the lab: recovering audio signals with a table-top optical microphone
Authors:
James W. Gardner,
Hannah Middleton,
Changrong Liu,
Andrew Melatos,
Robin Evans,
William Moran,
Deeksha Beniwal,
Huy Tuong Cao,
Craig Ingram,
Daniel Brown,
Sebastian Ng
Abstract:
Gravitational-wave observatories around the world are searching for continuous waves: persistent signals from sources such as spinning neutron stars. These searches use sophisticated statistical techniques to look for weak signals in noisy data. In this paper, we demonstrate these techniques using a table-top model gravitational-wave detector: a Michelson interferometer where sound is used as an a…
▽ More
Gravitational-wave observatories around the world are searching for continuous waves: persistent signals from sources such as spinning neutron stars. These searches use sophisticated statistical techniques to look for weak signals in noisy data. In this paper, we demonstrate these techniques using a table-top model gravitational-wave detector: a Michelson interferometer where sound is used as an analog for gravitational waves. Using signal processing techniques from continuous-wave searches, we demonstrate the recovery of tones with constant and wandering frequencies. We also explore the use of the interferometer as a teaching tool for educators in physics and electrical engineering by using it as an "optical microphone" to capture music and speech. A range of filtering techniques used to recover signals from noisy data are detailed in the Supplementary Material. Here, we present highlights of our results using a combined notch plus Wiener filter and the statistical log minimum mean-square error (logMMSE) estimator. Using these techniques, we easily recover recordings of simple chords and drums, but complex music and speech are more challenging. This demonstration can be used by educators in undergraduate laboratories and can be adapted for communicating gravitational-wave and signal-processing topics to non-specialist audiences.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Combined Radar and Communications with Phase-Modulated Frequency Permutations
Authors:
Tian Han,
Rajitha Senanayake,
Peter Smith,
Jamie Evans,
William Moran,
Robin Evans
Abstract:
This paper focuses on the combined radar and communications problem and conducts a thorough analytical investigation on the effect of phase and frequency change on the communication and sensing functionality. First, we consider the classical stepped frequency radar waveform and modulate data using M-ary phase shift keying (MPSK). Two important analytical tools in radar waveform design, namely the…
▽ More
This paper focuses on the combined radar and communications problem and conducts a thorough analytical investigation on the effect of phase and frequency change on the communication and sensing functionality. First, we consider the classical stepped frequency radar waveform and modulate data using M-ary phase shift keying (MPSK). Two important analytical tools in radar waveform design, namely the ambiguity function (AF) and the Fisher information matrix (FIM) are derived, based on which, we make the important conclusion that MPSK modulation has a negligible effect on radar local accuracy. Next, we extend the analysis to incorporate frequency permutations and propose a new signalling scheme in which the map** between incoming data and waveforms is performed based on an efficient combinatorial transform called the Lehmer code. We also provide an efficient communications receiver based on the Hungarian algorithm. From the communications perspective, we consider the optimal maximum likelihood (ML) detector and derive the union bound and nearest neighbour approximation on the block error probability. From the radar sensing perspective, we discuss the broader structure of the waveform based on the AF derivation and quantify the radar local accuracy based on the FIM. Extensive numerical examples are provided to illustrate the accuracy of our results.
△ Less
Submitted 23 May, 2022; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Hidden Markov model tracking of continuous gravitational waves from a neutron star with wandering spin. III. Rotational phase tracking
Authors:
A. Melatos,
P. Clearwater,
S. Suvorova,
L. Sun,
W. Moran,
R. J. Evans
Abstract:
A hidden Markov model (HMM) solved recursively by the Viterbi algorithm can be configured to search for persistent, quasimonochromatic gravitational radiation from an isolated or accreting neutron star, whose rotational frequency is unknown and wanders stochastically. Here an existing HMM analysis pipeline is generalized to track rotational phase and frequency simultaneously, by modeling the intra…
▽ More
A hidden Markov model (HMM) solved recursively by the Viterbi algorithm can be configured to search for persistent, quasimonochromatic gravitational radiation from an isolated or accreting neutron star, whose rotational frequency is unknown and wanders stochastically. Here an existing HMM analysis pipeline is generalized to track rotational phase and frequency simultaneously, by modeling the intra-step rotational evolution according to a phase-wrapped Ornstein-Uhlenbeck process, and by calculating the emission probability using a phase-sensitive version of the Bayesian matched filter known as the $\mathcal{B}$-statistic. The generalized algorithm tracks signals from isolated and binary sources with characteristic wave strain $h_0 \geq 1.3\times 10^{-26}$ in Gaussian noise with amplitude spectral density $4\times 10^{-24}\,{\rm Hz^{-1/2}}$, for a simulated observation composed of $N_T=37$ data segments, each $T_{\rm drift}=10\,{\rm days}$ long, the typical duration of a search for the low-mass X-ray binary (LMXB) Sco X$-$1 with the Laser Interferometer Gravitational Wave Observatory (LIGO). It is equally sensitive to isolated and binary sources and $\approx 1.5$ times more sensitive than the previous pipeline. Receiver operating characteristic curves and errors in the recovered parameters are presented for a range of practical $h_0$ and $N_T$ values. The generalized algorithm successfully detects every available synthetic signal in Stage I of the Sco X$-$1 Mock Data Challenge convened by the LIGO Scientific Collaboration, recovering the frequency and orbital semimajor axis with accuracies of better than $9.5\times 10^{-7}\,{\rm Hz}$ and $1.6\times 10^{-3}\,{\rm lt\,s}$ respectively. The Viterbi solver runs in $\approx 2\times 10^3$ CPU-hr for an isolated source and $\sim 10^5$ CPU-hr for a LMXB source in a typical, broadband ($0.5$-${\rm kHz}$) search.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
Frequency Permutations for Joint Radar and Communications
Authors:
Rajitha Senanayake,
Peter Smith,
Tian Han,
Jamie Evans,
William Moran,
Robin Evans
Abstract:
This paper presents a new joint radar and communication technique based on the classical stepped frequency radar waveform. The randomization in the waveform, which is achieved by using permutations of the sequence of frequency tones, is utilized for data transmission. A new signaling scheme is proposed in which the map** between incoming data and waveforms is performed based on an efficient comb…
▽ More
This paper presents a new joint radar and communication technique based on the classical stepped frequency radar waveform. The randomization in the waveform, which is achieved by using permutations of the sequence of frequency tones, is utilized for data transmission. A new signaling scheme is proposed in which the map** between incoming data and waveforms is performed based on an efficient combinatorial transform called the Lehmer code. Considering the optimum maximum likelihood (ML) detection, the union bound and the nearest neighbour approximation on the communication block error probability is derived for communication in an additive white Gaussian noise (AWGN) channel. The results are further extended to incorporate the Rician fading channel model, of which the Rayleigh fading channel model is presented as a special case. Furthermore, an efficient communication receiver implementation is discussed based on the Hungarian algorithm which achieves optimum performance with much less operational complexity when compared to an exhaustive search. From the radar perspective, two key analytical tools, namely, the ambiguity function (AF) and the Fisher information matrix are derived. Furthermore, accurate approximations to the Cramer-Rao lower bounds (CRLBs) on the delay and Doppler estimation errors are derived based on which the range and velocity estimation accuracy of the waveform is analysed. Numerical examples are used to highlight the accuracy of the analysis and to illustrate the performance of the proposed waveform.
△ Less
Submitted 24 October, 2021; v1 submitted 24 May, 2021;
originally announced May 2021.
-
Testing for a Random Walk Structure in the Frequency Evolution of a Tone in Noise
Authors:
S. E. Abramson,
W. Moran,
R. J. Evans,
A. Melatos
Abstract:
Inference and hypothesis testing are typically constructed on the basis that a specific model holds for the data. To determine the veracity of conclusions drawn from such data analyses, one must be able to identify the presence of the assumed structure within the data. In this paper, a model verification test is developed for the presence of a random walk-like structure in the variations in the fr…
▽ More
Inference and hypothesis testing are typically constructed on the basis that a specific model holds for the data. To determine the veracity of conclusions drawn from such data analyses, one must be able to identify the presence of the assumed structure within the data. In this paper, a model verification test is developed for the presence of a random walk-like structure in the variations in the frequency of complex-valued sinusoidal signals measured in additive Gaussian noise. This test evaluates the joint inference of the random walk hypothesis tests found in economics literature that seek random walk behaviours in time series data, with an additional test to account for how the random walk behaves in frequency space.
△ Less
Submitted 11 August, 2022; v1 submitted 4 March, 2021;
originally announced March 2021.
-
Knowledge engineering mixed-integer linear programming: constraint typology
Authors:
Vicky Mak-Hau,
John Yearwood,
William Moran
Abstract:
In this paper, we investigate the constraint typology of mixed-integer linear programming MILP formulations. MILP is a commonly used mathematical programming technique for modelling and solving real-life scheduling, routing, planning, resource allocation, timetabling optimization problems, providing optimized business solutions for industry sectors such as: manufacturing, agriculture, defence, hea…
▽ More
In this paper, we investigate the constraint typology of mixed-integer linear programming MILP formulations. MILP is a commonly used mathematical programming technique for modelling and solving real-life scheduling, routing, planning, resource allocation, timetabling optimization problems, providing optimized business solutions for industry sectors such as: manufacturing, agriculture, defence, healthcare, medicine, energy, finance, and transportation. Despite the numerous real-life Combinatorial Optimization Problems found and solved, and millions yet to be discovered and formulated, the number of types of constraints, the building blocks of a MILP, is relatively much smaller. In the search of a suitable machine readable knowledge representation for MILPs, we propose an optimization modelling tree built based upon an MILP ontology that can be used as a guidance for automated systems to elicit an MILP model from end-users on their combinatorial business optimization problems.
△ Less
Submitted 20 February, 2021;
originally announced February 2021.
-
Pulsar glitch detection with a hidden Markov model
Authors:
A. Melatos,
L. M. Dunn,
S. Suvorova,
W. Moran,
R. J. Evans
Abstract:
Pulsar timing experiments typically generate a phase-connected timing solution from a sequence of times-of-arrival (TOAs) by absolute pulse numbering, i.e. by fitting an integer number of pulses between TOAs in order to minimize the residuals with respect to a parametrized phase model. In this observing mode, rotational glitches are discovered, when the residuals of the no-glitch phase model diver…
▽ More
Pulsar timing experiments typically generate a phase-connected timing solution from a sequence of times-of-arrival (TOAs) by absolute pulse numbering, i.e. by fitting an integer number of pulses between TOAs in order to minimize the residuals with respect to a parametrized phase model. In this observing mode, rotational glitches are discovered, when the residuals of the no-glitch phase model diverge after some epoch, and glitch parameters are refined by Bayesian follow-up. Here an alternative, complementary approach is presented which tracks the pulse frequency $f$ and its time derivative $df/dt$ with a hidden Markov model (HMM), whose dynamics include stochastic spin wandering (timing noise) and impulsive jumps in $f$ and $df/dt$ (glitches). The HMM tracks spin wandering explicitly, as a specific realization of a discrete-time Markov chain. It discovers glitches by comparing the Bayes factor for glitch and no-glitch models. It ingests standard TOAs for convenience and, being fully automated, allows performance bounds to be calculated quickly via Monte Carlo simulations. Practical, user-oriented plots are presented of the false alarm probability and detection threshold (e.g. minimum resolvable glitch size) versus observational scheduling parameters (e.g. TOA uncertainty, mean delay between TOAs) and glitch parameters (e.g. transient and permanent jump sizes, exponential recovery time-scale). The HMM is also applied to $\sim 1$ yr of real data bracketing the 2016 December 12 glitch in PSR J0835-4510 as a proof of principle. It detects the known glitch and confirms that no other glitch exists in the same data with size $> 10^{-7} f$.
△ Less
Submitted 19 May, 2020;
originally announced May 2020.
-
Coordinating Complementary Waveforms for Suppressing Range Sidelobes in a Doppler Band
Authors:
Wenbing Dang,
Ali Pezeshki,
Stephen D. Howard,
William Moran,
Robert Calderbank
Abstract:
We present a general method for constructing radar transmit pulse trains and receive filters for which the radar point-spread function in delay and Doppler (radar cross-ambiguity function) is essentially free of range sidelobes inside a Doppler interval around the zero-Doppler axis. The transmit and receive pulse trains are constructed by coordinating the transmission of a pair of Golay complement…
▽ More
We present a general method for constructing radar transmit pulse trains and receive filters for which the radar point-spread function in delay and Doppler (radar cross-ambiguity function) is essentially free of range sidelobes inside a Doppler interval around the zero-Doppler axis. The transmit and receive pulse trains are constructed by coordinating the transmission of a pair of Golay complementary waveforms across time according to zeros and ones in a binary sequence $P$. In the receive pulse train filter, each waveform is weighted according to an element from another sequence $Q$. We show that the spectrum of essentially the product of $P$ and $Q$ sequences controls the size of the range sidelobes of the cross-ambiguity function. We annihilate the range sidelobes at low Doppler by designing the $(P,Q)$ pairs such that their products have high-order spectral nulls around zero Doppler. We specify the subspace, along with a basis, for such sequences, thereby providing a general way of constructing $(P,Q)$ pairs. At the same time, the signal-to-noise ratio (SNR) at the receiver output, for a single point target in white noise, depends only on the choice of $Q$. By jointly designing the transmit-receive sequences $(P,Q)$, we can maximize the output SNR subject to achieving a given order of the spectral null. The proposed $(P,Q)$ constructions can also be extended to sequences consisting of more than two complementary waveforms; this is done explicitly for a library of Golay complementary quads. Finally, we extend the construction of $(P,Q)$ pairs to multiple-input-multiple-output (MIMO) radar, by designing transmit-receive pairs of paraunitary waveform matrices whose matrix-valued cross-ambiguity function is essentially free of range sidelobes inside a Doppler interval around the zero-Doppler axis.
△ Less
Submitted 25 January, 2020;
originally announced January 2020.
-
Identifying Cognitive Radars -- Inverse Reinforcement Learning using Revealed Preferences
Authors:
Vikram Krishnamurthy,
Daniel Angley,
Robin Evans,
William Moran
Abstract:
We consider an inverse reinforcement learning problem involving us versus an enemy radar equipped with a Bayesian tracker. By observing the emissions of the enemy radar,how can we identify if the radar is cognitive (constrained utility maximizer)? Given the observed sequence of actions taken by the enemy's radar, we consider three problems: (i) Are the enemy radar's actions (waveform choice, beam…
▽ More
We consider an inverse reinforcement learning problem involving us versus an enemy radar equipped with a Bayesian tracker. By observing the emissions of the enemy radar,how can we identify if the radar is cognitive (constrained utility maximizer)? Given the observed sequence of actions taken by the enemy's radar, we consider three problems: (i) Are the enemy radar's actions (waveform choice, beam scheduling) consistent with constrained utility maximization? If so how can we estimate the cognitive radar's utility function that is consistent with its actions. We formulate and solve the problem in terms of the spectra (eigenvalues) of the state and observation noise covariance matrices, and the algebraic Riccati equation. (ii) How to construct a statistical test for detecting a cognitive radar (constrained utility maximization) when we observe the radar's actions in noise or the radar observes our probe signal in noise? We propose a statistical detector with a tight Type-II error bound. (iii) How can we optimally probe (interrogate) the enemy's radar by choosing our state to minimize the Type-II error of detecting if the radar is deploying an economic rational strategy, subject to a constraint on the Type-I detection error? We present a stochastic optimization algorithm to optimize our probe signal. The main analysis framework used in this paper is that of revealed preferences from microeconomics.
△ Less
Submitted 20 June, 2020; v1 submitted 1 December, 2019;
originally announced December 2019.
-
Search for gravitational waves from Scorpius X-1 in the second Advanced LIGO observing run with an improved hidden Markov model
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
B. P. Abbott,
R. Abbott,
T. D. Abbott,
S. Abraham,
F. Acernese,
K. Ackley,
C. Adams,
R. X. Adhikari,
V. B. Adya,
C. Affeldt,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
G. Allen,
A. Allocca,
M. A. Aloy,
P. A. Altin,
A. Amato,
A. Ananyeva
, et al. (1112 additional authors not shown)
Abstract:
We present results from a semicoherent search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1, using a hidden Markov model (HMM) to track spin wandering. This search improves on previous HMM-based searches of LIGO data by using an improved frequency domain matched filter, the $\mathcal{J}$-statistic, and by analysing data from Advanced LIGO's second observing run. In…
▽ More
We present results from a semicoherent search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1, using a hidden Markov model (HMM) to track spin wandering. This search improves on previous HMM-based searches of LIGO data by using an improved frequency domain matched filter, the $\mathcal{J}$-statistic, and by analysing data from Advanced LIGO's second observing run. In the frequency range searched, from $60$ to $650\,\mathrm{Hz}$, we find no evidence of gravitational radiation. At $194.6\,\mathrm{Hz}$, the most sensitive search frequency, we report an upper limit on gravitational wave strain (at 95\% confidence) of $h_0^{95\%} = 3.47 \times 10^{-25}$ when marginalising over source inclination angle. This is the most sensitive search for Scorpius X-1, to date, that is specifically designed to be robust in the presence of spin wandering.
△ Less
Submitted 27 November, 2019; v1 submitted 28 June, 2019;
originally announced June 2019.
-
Hidden Markov model tracking of continuous gravitational waves from a binary neutron star with wandering spin. II. Binary orbital phase tracking
Authors:
S. Suvorova,
P. Clearwater,
A. Melatos,
L. Sun,
W. Moran,
R. J. Evans
Abstract:
A hidden Markov model (HMM) scheme for tracking continuous-wave gravitational radiation from neutron stars in low-mass X-ray binaries (LMXBs) with wandering spin is extended by introducing a frequency-domain matched filter, called the J-statistic, which sums the signal power in orbital sidebands coherently. The J-statistic is similar but not identical to the binary-modulated F-statistic computed b…
▽ More
A hidden Markov model (HMM) scheme for tracking continuous-wave gravitational radiation from neutron stars in low-mass X-ray binaries (LMXBs) with wandering spin is extended by introducing a frequency-domain matched filter, called the J-statistic, which sums the signal power in orbital sidebands coherently. The J-statistic is similar but not identical to the binary-modulated F-statistic computed by demodulation or resampling. By injecting synthetic LMXB signals into Gaussian noise characteristic of the Advanced Laser Interferometer Gravitational-wave Observatory (Advanced LIGO), it is shown that the J-statistic HMM tracker detects signals with characteristic wave strain $h_0 \geq 2 \times 10^{-26}$ in 370 d of data from two interferometers, divided into 37 coherent blocks of equal length. When applied to data from Stage I of the Scorpius X-1 Mock Data Challenge organised by the LIGO Scientific Collaboration, the tracker detects all 50 closed injections ($h_0 \geq 6.84 \times 10^{-26}$), recovering the frequency with a root-mean-square accuracy of $\leq 1.95\times10^{-5}$ Hz. Of the 50 injections, 43 (with $h_0 \geq 1.09 \times 10^{-25}$) are detected in a single, coherent 10-d block of data. The tracker employs an efficient, recursive HMM solver based on the Viterbi algorithm, which requires $\sim 10^5$ CPU-hours for a typical, broadband (0.5-kHz), LMXB search.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
Hidden Markov model tracking of continuous gravitational waves from young supernova remnants
Authors:
L. Sun,
A. Melatos,
S. Suvorova,
W. Moran,
R. J. Evans
Abstract:
Searches for persistent gravitational radiation from nonpulsating neutron stars in young supernova remnants (SNRs) are computationally challenging because of rapid stellar braking. We describe a practical, efficient, semi-coherent search based on a hidden Markov model (HMM) tracking scheme, solved by the Viterbi algorithm, combined with a maximum likelihood matched filter, the $\mathcal{F}$-statis…
▽ More
Searches for persistent gravitational radiation from nonpulsating neutron stars in young supernova remnants (SNRs) are computationally challenging because of rapid stellar braking. We describe a practical, efficient, semi-coherent search based on a hidden Markov model (HMM) tracking scheme, solved by the Viterbi algorithm, combined with a maximum likelihood matched filter, the $\mathcal{F}$-statistic. The scheme is well suited to analyzing data from advanced detectors like the Advanced Laser Interferometer Gravitational Wave Observatory (Advanced LIGO). It can track rapid phase evolution from secular stellar braking and stochastic timing noise torques simultaneously without searching second- and higher-order derivatives of the signal frequency, providing an economical alternative to stack-slide-based semi-coherent algorithms. One implementation tracks the signal frequency alone. A second implementation tracks the signal frequency and its first time derivative. It improves the sensitivity by a factor of a few upon the first implementation, but the cost increases by two to three orders of magnitude.
△ Less
Submitted 30 January, 2018; v1 submitted 1 October, 2017;
originally announced October 2017.
-
Search for gravitational waves from Scorpius X-1 in the first Advanced LIGO observing run with a hidden Markov model
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
B. P. Abbott,
R. Abbott,
T. D. Abbott,
F. Acernese,
K. Ackley,
C. Adams,
T. Adams,
P. Addesso,
R. X. Adhikari,
V. B. Adya,
C. Affeldt,
M. Afrough,
B. Agarwal,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
B. Allen,
G. Allen,
A. Allocca,
H. Almoubayyed
, et al. (1021 additional authors not shown)
Abstract:
Results are presented from a semi-coherent search for continuous gravitational waves from the brightest low-mass X-ray binary, Scorpius X-1, using data collected during the first Advanced LIGO observing run (O1). The search combines a frequency domain matched filter (Bessel-weighted $\mathcal{F}$-statistic) with a hidden Markov model to track wandering of the neutron star spin frequency. No eviden…
▽ More
Results are presented from a semi-coherent search for continuous gravitational waves from the brightest low-mass X-ray binary, Scorpius X-1, using data collected during the first Advanced LIGO observing run (O1). The search combines a frequency domain matched filter (Bessel-weighted $\mathcal{F}$-statistic) with a hidden Markov model to track wandering of the neutron star spin frequency. No evidence of gravitational waves is found in the frequency range 60-650 Hz. Frequentist 95% confidence strain upper limits, $h_0^{95\%} = 4.0\times10^{-25}$, $8.3\times10^{-25}$, and $3.0\times10^{-25}$ for electromagnetically restricted source orientation, unknown polarization, and circular polarization, respectively, are reported at 106 Hz. They are $\leq 10$ times higher than the theoretical torque-balance limit at 106 Hz.
△ Less
Submitted 31 May, 2017; v1 submitted 12 April, 2017;
originally announced April 2017.
-
Hidden Markov model tracking of continuous gravitational waves from a neutron star with wandering spin
Authors:
S. Suvorova,
L. Sun,
A. Melatos,
W. Moran,
R. J. Evans
Abstract:
Gravitational wave searches for continuous-wave signals from neutron stars are especially challenging when the star's spin frequency is unknown a priori from electromagnetic observations and wanders stochastically under the action of internal (e.g. superfluid or magnetospheric) or external (e.g. accretion) torques. It is shown that frequency tracking by hidden Markov model (HMM) methods can be com…
▽ More
Gravitational wave searches for continuous-wave signals from neutron stars are especially challenging when the star's spin frequency is unknown a priori from electromagnetic observations and wanders stochastically under the action of internal (e.g. superfluid or magnetospheric) or external (e.g. accretion) torques. It is shown that frequency tracking by hidden Markov model (HMM) methods can be combined with existing maximum likelihood coherent matched filters like the F-statistic to surmount some of the challenges raised by spin wandering. Specifically it is found that, for an isolated, biaxial rotor whose spin frequency walks randomly, HMM tracking of the F-statistic output from coherent segments with duration T_drift = 10d over a total observation time of T_obs = 1yr can detect signals with wave strains h0 > 2e-26 at a noise level characteristic of the Advanced Laser Interferometer Gravitational Wave Observatory (Advanced LIGO). For a biaxial rotor with randomly walking spin in a binary orbit, whose orbital period and semi-major axis are known approximately from electromagnetic observations, HMM tracking of the Bessel-weighted F-statistic output can detect signals with h0 > 8e-26. An efficient, recursive, HMM solver based on the Viterbi algorithm is demonstrated, which requires ~10^3 CPU-hours for a typical, broadband (0.5-kHz) search for the low-mass X-ray binary Scorpius X-1, including generation of the relevant F-statistic input. In a "realistic" observational scenario, Viterbi tracking successfully detects 41 out of 50 synthetic signals without spin wandering in Stage I of the Scorpius X-1 Mock Data Challenge convened by the LIGO Scientific Collaboration down to a wave strain of h0 = 1.1e-25, recovering the frequency with a root-mean-square accuracy of <= 4.3e-3 Hz.
△ Less
Submitted 8 June, 2016;
originally announced June 2016.
-
Operator-Valued Frames for the Heisenberg Group
Authors:
Benjamin Robinson,
William Moran,
Douglas Cochran,
Stephen D. Howard
Abstract:
A classical result of Duffin and Schaeffer gives conditions under which a discrete collection of characters on $\mathbb{R}$, restricted to $E = (-1/2, 1/2)$, forms a Hilbert-space frame for $L^2(E)$. For the case of characters with period one, this is just the Poisson Summation Formula. Duffin and Schaeffer show that perturbations preserve the frame condition in this case. This paper gives analogo…
▽ More
A classical result of Duffin and Schaeffer gives conditions under which a discrete collection of characters on $\mathbb{R}$, restricted to $E = (-1/2, 1/2)$, forms a Hilbert-space frame for $L^2(E)$. For the case of characters with period one, this is just the Poisson Summation Formula. Duffin and Schaeffer show that perturbations preserve the frame condition in this case. This paper gives analogous results for the real Heisenberg group $H_n$, where frames are replaced by operator-valued frames. The Selberg Trace Formula is used to show that perturbations of the orthogonal case continue to behave as operator-valued frames. This technique enables the construction of decompositions of elements of $L^2(E)$ for suitable subsets $E$ of $H_n$ in terms of representations of $H_n$.
△ Less
Submitted 27 September, 2014;
originally announced September 2014.
-
Projective tensor products and Apq spaces
Authors:
William Moran,
H. Kumudini Dharmadasa
Abstract:
The aim of this paper is to extend the notion of Apq space from its historical context in the work of Herz and to recognise such spaces as preduals of spaces of intertwining operators of induced representations as suggested by the work of Rieffel. This generalisation of Apq spaces involves considering projective tensor products of Lp spaces of Banach space-valued functions (the spaces of induced r…
▽ More
The aim of this paper is to extend the notion of Apq space from its historical context in the work of Herz and to recognise such spaces as preduals of spaces of intertwining operators of induced representations as suggested by the work of Rieffel. This generalisation of Apq spaces involves considering projective tensor products of Lp spaces of Banach space-valued functions (the spaces of induced representations) and constructing a convolution of functions of such spaces. Sufficient conditions for the existence of the integral of the convolution are established. Most of this analysis depends upon an identity we derive of Radon-Nikodym derivatives of measures on homogeneous spaces involved.
The elements of the generalised Apq space are shown to be cross-sections of a Banach semi-bundle over the double coset space corresponding to the groups from which the representations are induced, and their properties are duly discussed. In particular, the generalised form of the classical result Lp*Lq is a subset of Lr; where 1/r = 1/p + 1/q - 1; is shown to be true in this situation. The result that the Apq space is the predual of the space of intertwining operators is then established, under the condition that the intertwining operators can be approximated, in the ultraweak operator topology, by integral operators.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
String Submodular Functions with Curvature Constraints
Authors:
Zhenliang Zhang,
Edwin K. P. Chong,
Ali Pezeshki,
William Moran
Abstract:
The problem of objectively choosing a string of actions to optimize an objective function that is string submodular has been considered in [1]. There it is shown that the greedy strategy, consisting of a string of actions that only locally maximizes the step-wise gain in the objective function achieves at least a (1-e^{-1})-approximation to the optimal strategy. This paper improves this approximat…
▽ More
The problem of objectively choosing a string of actions to optimize an objective function that is string submodular has been considered in [1]. There it is shown that the greedy strategy, consisting of a string of actions that only locally maximizes the step-wise gain in the objective function achieves at least a (1-e^{-1})-approximation to the optimal strategy. This paper improves this approximation by introducing additional constraints on curvatures, namely, total backward curvature, total forward curvature, and elemental forward curvature. We show that if the objective function has total backward curvature σ, then the greedy strategy achieves at least a \frac{1}σ(1-e^{-σ})-approximation of the optimal strategy. If the objective function has total forward curvature ε, then the greedy strategy achieves at least a (1-ε)-approximation of the optimal strategy. Moreover, we consider a generalization of the diminishing-return property by defining the elemental forward curvature. We also consider the problem of maximizing the objective function subject to general a string-matroid constraint. We investigate an applications of string submodular functions with curvature constraints.
△ Less
Submitted 25 May, 2015; v1 submitted 12 March, 2013;
originally announced March 2013.
-
Hypothesis Testing in Feedforward Networks with Broadcast Failures
Authors:
Zhenliang Zhang,
Edwin K. P. Chong,
Ali Pezeshki,
William Moran
Abstract:
Consider a countably infinite set of nodes, which sequentially make decisions between two given hypotheses. Each node takes a measurement of the underlying truth, observes the decisions from some immediate predecessors, and makes a decision between the given hypotheses. We consider two classes of broadcast failures: 1) each node broadcasts a decision to the other nodes, subject to random erasure i…
▽ More
Consider a countably infinite set of nodes, which sequentially make decisions between two given hypotheses. Each node takes a measurement of the underlying truth, observes the decisions from some immediate predecessors, and makes a decision between the given hypotheses. We consider two classes of broadcast failures: 1) each node broadcasts a decision to the other nodes, subject to random erasure in the form of a binary erasure channel; 2) each node broadcasts a randomly flipped decision to the other nodes in the form of a binary symmetric channel. We are interested in whether there exists a decision strategy consisting of a sequence of likelihood ratio tests such that the node decisions converge in probability to the underlying truth. In both cases, we show that if each node only learns from a bounded number of immediate predecessors, then there does not exist a decision strategy such that the decisions converge in probability to the underlying truth. However, in case 1, we show that if each node learns from an unboundedly growing number of predecessors, then the decisions converge in probability to the underlying truth, even when the erasure probabilities converge to 1. We also derive the convergence rate of the error probability. In case 2, we show that if each node learns from all of its previous predecessors, then the decisions converge in probability to the underlying truth when the flip** probabilities of the binary symmetric channels are bounded away from 1/2. In the case where the flip** probabilities converge to 1/2, we derive a necessary condition on the convergence rate of the flip** probabilities such that the decisions still converge to the underlying truth. We also explicitly characterize the relationship between the convergence rate of the error probability and the convergence rate of the flip** probabilities.
△ Less
Submitted 25 March, 2013; v1 submitted 19 November, 2012;
originally announced November 2012.
-
Submodularity and Optimality of Fusion Rules in Balanced Binary Relay Trees
Authors:
Zhenliang Zhang,
Edwin K. P. Chong,
Ali Pezeshki,
William Moran,
Stephen D. Howard
Abstract:
We study the distributed detection problem in a balanced binary relay tree, where the leaves of the tree are sensors generating binary messages. The root of the tree is a fusion center that makes the overall decision. Every other node in the tree is a fusion node that fuses two binary messages from its child nodes into a new binary message and sends it to the parent node at the next level. We assu…
▽ More
We study the distributed detection problem in a balanced binary relay tree, where the leaves of the tree are sensors generating binary messages. The root of the tree is a fusion center that makes the overall decision. Every other node in the tree is a fusion node that fuses two binary messages from its child nodes into a new binary message and sends it to the parent node at the next level. We assume that the fusion nodes at the same level use the same fusion rule. We call a string of fusion rules used at different levels a fusion strategy. We consider the problem of finding a fusion strategy that maximizes the reduction in the total error probability between the sensors and the fusion center. We formulate this problem as a deterministic dynamic program and express the solution in terms of Bellman's equations. We introduce the notion of stringsubmodularity and show that the reduction in the total error probability is a stringsubmodular function. Consequentially, we show that the greedy strategy, which only maximizes the level-wise reduction in the total error probability, is within a factor of the optimal strategy in terms of reduction in the total error probability.
△ Less
Submitted 16 October, 2012;
originally announced October 2012.
-
Learning in Hierarchical Social Networks
Authors:
Zhenliang Zhang,
Edwin K. P. Chong,
Ali Pezeshki,
William Moran,
Stephen D. Howard
Abstract:
We study a social network consisting of agents organized as a hierarchical M-ary rooted tree, common in enterprise and military organizational structures. The goal is to aggregate information to solve a binary hypothesis testing problem. Each agent at a leaf of the tree, and only such an agent, makes a direct measurement of the underlying true hypothesis. The leaf agent then makes a decision and s…
▽ More
We study a social network consisting of agents organized as a hierarchical M-ary rooted tree, common in enterprise and military organizational structures. The goal is to aggregate information to solve a binary hypothesis testing problem. Each agent at a leaf of the tree, and only such an agent, makes a direct measurement of the underlying true hypothesis. The leaf agent then makes a decision and sends it to its supervising agent, at the next level of the tree. Each supervising agent aggregates the decisions from the M members of its group, produces a summary message, and sends it to its supervisor at the next level, and so on. Ultimately, the agent at the root of the tree makes an overall decision. We derive upper and lower bounds for the Type I and II error probabilities associated with this decision with respect to the number of leaf agents, which in turn characterize the converge rates of the Type I, Type II, and total error probabilities. We also provide a message-passing scheme involving non-binary message alphabets and characterize the exponent of the error probability with respect to the message alphabet size.
△ Less
Submitted 21 November, 2012; v1 submitted 30 May, 2012;
originally announced June 2012.
-
Detection Performance in Balanced Binary Relay Trees with Node and Link Failures
Authors:
Zhenliang Zhang,
Edwin K. P. Chong,
Ali Pezeshki,
William Moran,
Stephen D. Howard
Abstract:
We study the distributed detection problem in the context of a balanced binary relay tree, where the leaves of the tree correspond to $N$ identical and independent sensors generating binary messages. The root of the tree is a fusion center making an overall decision. Every other node is a relay node that aggregates the messages received from its child nodes into a new message and sends it up towar…
▽ More
We study the distributed detection problem in the context of a balanced binary relay tree, where the leaves of the tree correspond to $N$ identical and independent sensors generating binary messages. The root of the tree is a fusion center making an overall decision. Every other node is a relay node that aggregates the messages received from its child nodes into a new message and sends it up toward the fusion center. We derive upper and lower bounds for the total error probability $P_N$ as explicit functions of $N$ in the case where nodes and links fail with certain probabilities. These characterize the asymptotic decay rate of the total error probability as $N$ goes to infinity. Naturally, this decay rate is not larger than that in the non-failure case, which is $\sqrt N$. However, we derive an explicit necessary and sufficient condition on the decay rate of the local failure probabilities $p_k$ (combination of node and link failure probabilities at each level) such that the decay rate of the total error probability in the failure case is the same as that of the non-failure case. More precisely, we show that $\log P_N^{-1}=Θ(\sqrt N)$ if and only if $\log p_k^{-1}=Ω(2^{k/2})$.
△ Less
Submitted 19 November, 2012; v1 submitted 1 June, 2012;
originally announced June 2012.
-
The Inhomogeneous Hall's Ray
Authors:
D. J. Crisp,
W. Moran,
A. D. Pollington
Abstract:
We show that the inhomogenous approximation spectrum, associated to an irrational number α always has a Hall's Ray; that is, there is an ε>0 such that [0,ε) is a subset of the spectrum. In the case when α has unbounded partial quotients we show that the spectrum is just a ray.
We show that the inhomogenous approximation spectrum, associated to an irrational number α always has a Hall's Ray; that is, there is an ε>0 such that [0,ε) is a subset of the spectrum. In the case when α has unbounded partial quotients we show that the spectrum is just a ray.
△ Less
Submitted 6 May, 2012; v1 submitted 19 March, 2012;
originally announced March 2012.
-
Detection Performance of M-ary Relay Trees with Non-binary Message Alphabets
Authors:
Zhenliang Zhang,
Edwin K. P. Chong,
Ali Pezeshki,
William Moran,
Stephen D. Howard
Abstract:
We study the detection performance of $M$-ary relay trees, where only the leaves of the tree represent sensors making measurements. The root of the tree represents the fusion center which makes an overall detection decision. Each of the other nodes is a relay node which aggregates $M$ messages sent by its child nodes into a new compressed message and sends the message to its parent node. Building…
▽ More
We study the detection performance of $M$-ary relay trees, where only the leaves of the tree represent sensors making measurements. The root of the tree represents the fusion center which makes an overall detection decision. Each of the other nodes is a relay node which aggregates $M$ messages sent by its child nodes into a new compressed message and sends the message to its parent node. Building on previous work on the detection performance of $M$-ary relay trees with binary messages, in this paper we study the case of non-binary relay message alphabets. We characterize the exponent of the error probability with respect to the message alphabet size $\mathcal D$, showing how the detection performance increases with $\mathcal D$. Our method involves reducing a tree with non-binary relay messages into an equivalent higher-degree tree with only binary messages.
△ Less
Submitted 1 November, 2012; v1 submitted 10 February, 2012;
originally announced February 2012.
-
Error Probability Bounds for M-ary Relay Trees
Authors:
Zhenliang Zhang,
Edwin K. P. Chong,
Ali Pezeshki,
William Moran,
Stephen D. Howard
Abstract:
We study the detection error probabilities associated with an M-ary relay tree, where the leaves of the tree correspond to identical and independent sensors. Only these leaves are sensors. The root of the tree represents a fusion center that makes the overall detection decision. Each of the other nodes in the tree is a relay node that combines M summarized messages from its immediate child nodes t…
▽ More
We study the detection error probabilities associated with an M-ary relay tree, where the leaves of the tree correspond to identical and independent sensors. Only these leaves are sensors. The root of the tree represents a fusion center that makes the overall detection decision. Each of the other nodes in the tree is a relay node that combines M summarized messages from its immediate child nodes to form a single output message using the majority dominance rule. We derive tight upper and lower bounds for the Type I and II error probabilities at the fusion center as explicit functions of the number of sensors in the case of binary message alphabets. These bounds characterize how fast the error probabilities converge to 0 with respect to the number of sensors.
△ Less
Submitted 1 November, 2012; v1 submitted 7 February, 2012;
originally announced February 2012.
-
Coordinating Complementary Waveforms for Sidelobe Suppression
Authors:
Wenbing Dang,
Ali Pezeshki,
Stephen Howard,
William Moran,
Robert Calderbank
Abstract:
We present a general method for constructing radar transmit pulse trains and receive filters for which the radar point-spread function in delay and Doppler, given by the cross-ambiguity function of the transmit pulse train and the pulse train used in the receive filter, is essentially free of range sidelobes inside a Doppler interval around the zero-Doppler axis. The transmit pulse train is constr…
▽ More
We present a general method for constructing radar transmit pulse trains and receive filters for which the radar point-spread function in delay and Doppler, given by the cross-ambiguity function of the transmit pulse train and the pulse train used in the receive filter, is essentially free of range sidelobes inside a Doppler interval around the zero-Doppler axis. The transmit pulse train is constructed by coordinating the transmission of a pair of Golay complementary waveforms across time according to zeros and ones in a binary sequence P. The pulse train used to filter the received signal is constructed in a similar way, in terms of sequencing the Golay waveforms, but each waveform in the pulse train is weighted by an element from another sequence Q. We show that a spectrum jointly determined by P and Q sequences controls the size of the range sidelobes of the cross-ambiguity function and by properly choosing P and Q we can clear out the range sidelobes inside a Doppler interval around the zero- Doppler axis. The joint design of P and Q enables a tradeoff between the order of the spectral null for range sidelobe suppression and the signal-to-noise ratio at the receiver output. We establish this trade-off and derive a necessary and sufficient condition for the construction of P and Q sequences that produce a null of a desired order.
△ Less
Submitted 4 February, 2012;
originally announced February 2012.
-
Error Probability Bounds for Binary Relay Trees with Crummy Sensors
Authors:
Zhenliang Zhang,
Ali Pezeshki,
William Moran,
Stephen D. Howard,
Edwin K. P. Chong
Abstract:
We study the detection error probability associated with balanced binary relay trees, in which sensor nodes fail with some probability. We consider N identical and independent crummy sensors, represented by leaf nodes of the tree. The root of the tree represents the fusion center, which makes the final decision between two hypotheses. Every other node is a relay node, which fuses at most two binar…
▽ More
We study the detection error probability associated with balanced binary relay trees, in which sensor nodes fail with some probability. We consider N identical and independent crummy sensors, represented by leaf nodes of the tree. The root of the tree represents the fusion center, which makes the final decision between two hypotheses. Every other node is a relay node, which fuses at most two binary messages into one binary message and forwards the new message to its parent node. We derive tight upper and lower bounds for the total error probability at the fusion center as functions of N and characterize how fast the total error probability converges to 0 with respect to N. We show that the convergence of the total error probability is sub-linear, with the same decay exponent as that in a balanced binary relay tree without sensor failures. We also show that the total error probability converges to 0, even if the individual sensors have total error probabilities that converge to 1/2 and the failure probabilities that converge to 1, provided that the convergence rates are sufficiently slow.
△ Less
Submitted 31 May, 2011;
originally announced June 2011.
-
Error Probability Bounds for Balanced Binary Relay Trees
Authors:
Zhenliang Zhang,
Ali Pezeshki,
William Moran,
Stephen D. Howard,
Edwin K. P. Chong
Abstract:
We study the detection error probability associated with a balanced binary relay tree, where the leaves of the tree correspond to $N$ identical and independent detectors. The root of the tree represents a fusion center that makes the overall detection decision. Each of the other nodes in the tree are relay nodes that combine two binary messages to form a single output binary message. In this way,…
▽ More
We study the detection error probability associated with a balanced binary relay tree, where the leaves of the tree correspond to $N$ identical and independent detectors. The root of the tree represents a fusion center that makes the overall detection decision. Each of the other nodes in the tree are relay nodes that combine two binary messages to form a single output binary message. In this way, the information from the detectors is aggregated into the fusion center via the intermediate relay nodes. In this context, we describe the evolution of Type I and Type II error probabilities of the binary data as it propagates from the leaves towards the root. Tight upper and lower bounds for the total error probability at the fusion center as functions of $N$ are derived. These characterize how fast the total error probability converges to 0 with respect to $N$, even if the individual sensors have error probabilities that converge to 1/2.
△ Less
Submitted 5 May, 2011;
originally announced May 2011.
-
Estimation and Registration on Graphs
Authors:
Stephen D. Howard,
Douglas Cochran,
William Moran,
Frederick R. Cohen
Abstract:
A statistical framework is introduced for a broad class of problems involving synchronization or registration of data across a sensor network in the presence of noise. This framework enables an estimation-theoretic approach to the design and characterization of synchronization algorithms. The Fisher information is expressed in terms of the distribution of the measurement noise and standard mathema…
▽ More
A statistical framework is introduced for a broad class of problems involving synchronization or registration of data across a sensor network in the presence of noise. This framework enables an estimation-theoretic approach to the design and characterization of synchronization algorithms. The Fisher information is expressed in terms of the distribution of the measurement noise and standard mathematical descriptors of the network's graph structure for several important cases. This leads to maximum likelihood and approximate maximum-likelihood registration algorithms and also to distributed iterative algorithms that, when they converge, attain statistically optimal solutions. The relationship between optimal estimation in this setting and Kirchhoff's laws is also elucidated.
△ Less
Submitted 14 October, 2010;
originally announced October 2010.
-
Doppler Resilient Waveforms with Perfect Autocorrelation
Authors:
Ali Pezeshki,
A. Robert Calderbank,
William Moran,
Stephen D. Howard
Abstract:
We describe a method of constructing a sequence of phase coded waveforms with perfect autocorrelation in the presence of Doppler shift. The constituent waveforms are Golay complementary pairs which have perfect autocorrelation at zero Doppler but are sensitive to nonzero Doppler shifts. We extend this construction to multiple dimensions, in particular to radar polarimetry, where the two dimensio…
▽ More
We describe a method of constructing a sequence of phase coded waveforms with perfect autocorrelation in the presence of Doppler shift. The constituent waveforms are Golay complementary pairs which have perfect autocorrelation at zero Doppler but are sensitive to nonzero Doppler shifts. We extend this construction to multiple dimensions, in particular to radar polarimetry, where the two dimensions are realized by orthogonal polarizations. Here we determine a sequence of two-by-two Alamouti matrices where the entries involve Golay pairs and for which the sum of the matrix-valued ambiguity functions vanish at small Doppler shifts. The Prouhet-Thue-Morse sequence plays a key role in the construction of Doppler resilient sequences of Golay pairs.
△ Less
Submitted 12 March, 2007;
originally announced March 2007.