Efficient computation of updated lower expectations for imprecise continuous-time hidden Markov chains

We consider the problem of performing inference with imprecise continuous-time hidden Markov chains, that is, imprecise continuous-time Markov chains that are augmented with random output variables whose distribution depends on the hidden state of the chain. The prefix `imprecise' refers to the fact that we do not consider a classical continuous-time Markov chain, but replace it with a robust extension that allows us to represent various types of model uncertainty, using the theory of imprecise probabilities. The inference problem amounts to computing lower expectations of functions on the state-space of the chain, given observations of the output variables. We develop and investigate this problem with very few assumptions on the output variables; in particular, they can be chosen to be either discrete or continuous random variables. Our main result is a polynomial runtime algorithm to compute the lower expectation of functions on the state-space at any given time-point, given a collection of observations of the output variables

On central tendency and dispersion measures for intervals and hypercubes

The uncertainty or the variability of the data may be treated by considering, rather than a single value for each data, the interval of values in which it may fall. This paper studies the derivation of basic description statistics for interval-valued datasets. We propose a geometrical approach in the determination of summary statistics (central tendency and dispersion measures) for interval-valued variables

Chiral Gauge Theory on Lattice with Domain Wall Fermions

We investigate a U(1) lattice chiral gauge theory with domain wall fermions and compact gauge fixing. In the reduced model limit, our perturbative and numerical investigations show that there exist no extra mirror chiral modes. The longitudinal gauge degrees of freedom have no effect on the free domain wall fermion spectrum consisting of opposite chiral modes at the domain wall and at the anti-domain wall which have an exponentially damped overlap.Comment: 16 pages revtex, 5 postscript figures, PRD versio

True high-order VCO-based ADC

A novel approach to use a voltage-controlled oscillator (VCO) as the first integrator of a high-order continuous-time delta-sigma modulator (CT-DSM) is presented. In the proposed architecture, the VCO is combined with a digital up-down counter to implement the first integrator of the CT-DSM. Thus, the first integrator is digital-friendly and hence can maximally benefit from technological scaling

Computing Inferences for Large-Scale Continuous-Time Markov Chains by Combining Lumping with Imprecision

If the state space of a homogeneous continuous-time Markov chain is too large, making inferences - here limited to determining marginal or limit expectations - becomes computationally infeasible. Fortunately, the state space of such a chain is usually too detailed for the inferences we are interested in, in the sense that a less detailed - smaller - state space suffices to unambiguously formalise the inference. However, in general this so-called lumped state space inhibits computing exact inferences because the corresponding dynamics are unknown and/or intractable to obtain. We address this issue by considering an imprecise continuous-time Markov chain. In this way, we are able to provide guaranteed lower and upper bounds for the inferences of interest, without suffering from the curse of dimensionality.Comment: 9th International Conference on Soft Methods in Probability and Statistics (SMPS 2018

Optical and X-ray observations of candidate isolated neutron stars in the G315.4-2.3 SNR

G315.4-2.3 is a young Galactic supernova remnant (SNR), whose identification as the remains of a Type-II supernova (SN) explosion has been debated for a long time. In particular, recent multi-wavelength observations suggest that it is the result of a Type Ia SN, based on spectroscopy of the SNR shell and the lack of a compact stellar remnant.However, two X-ray sources, one detected by Einstein and ROSAT (Source V) and the other by Chandra (Source N) have been proposed as possible isolated neutron star candidates. In both cases, no clear optical identification was available and, therefore, we performed an optical and X-ray study to determine the nature of these two sources. Based on Chandra astrometry, Source V is associated with a bright V~14 star, which had been suggested based on the less accurate ROSAT position. Similarly, from VLT archival observations, we found that Source N is associated with a relatively bright star ($V=20.14$). These likely identifications suggest that both X-ray sources cannot be isolated neutron stars.Comment: 4 pages, 4 figures, accepted for publication in MNRA

The High Frequency Instrument of Planck: Requirements and Design

The Planck satellite is a project of the European Space Agency based on a wide international collaboration, including United States and Canadian laboratories. It is dedicated to the measurement of the anisotropy of the Cosmic Microwave Background (CMB) with unprecedented sensitivity and angular resolution. The detectors of its High frequency Instrument (HFI) are bolometers cooled down to 100 mK. Their sensitivity will be limited by the photon noise of the CMB itself at low frequencies, and of the instrument background at high frequencies. The requirements on the measurement chain are directly related to the strategy of observation used for the satellite. Due to the scanning on the sky, time features of the measurement chain are directly transformed into angular features in the sky maps. This impacts the bolometer design as well as other elements: For example, the cooling system must present outstanding temperature stability, and the amplification chain must show, down to very low frequencies, a flat noise spectrum

Use of High Sensitivity Bolometers for Astronomy: Planck High Frequency Instrument

The Planck satellite is dedicated to the measurement of the anisotropy of the Cosmic Microwave Background (CMB) with unprecedented sensitivity and angular resolution. It is a project of the European Space Agency based on a wide international collaboration, including United States and Canadian laboratories. The detectors of its High Frequency Instrument (HFI) are bolometers cooled down to 100 mK. Their sensitivity will be limited by the photon noise of the CMB itself at low frequencies, and of the instrument background at high frequencies. The requirements on the measurement chain are directly related to the strategy of observation used for the satellite. This impacts the bolometer design as well as other elements: The cooling system must present outstanding temperature stability, and the amplification chain must show a flat noise spectrum down to very low frequencies

Strongly coupled U(1) lattice gauge theory as a microscopic model of Yukawa theory

Dynamical chiral symmetry breaking in a strongly coupled U(1) lattice gauge model with charged fermions and scalar is investigated by numerical simulation. Several composite neutral states are observed, in particular a massive fermion. In the vicinity of the tricritical point of this model we study the effective Yukawa coupling between this fermion and the Goldstone boson. The perturbative triviality bound of Yukawa models is nearly saturated. The theory is quite similar to strongly coupled Yukawa models for sufficiently large coupling except the occurrence of an additional state -- a gauge ball of mass about half the mass of the fermion.Comment: 4 page