361 research outputs found
Interpretations of Presburger Arithmetic in Itself
Presburger arithmetic PrA is the true theory of natural numbers with
addition. We study interpretations of PrA in itself. We prove that all
one-dimensional self-interpretations are definably isomorphic to the identity
self-interpretation. In order to prove the results we show that all linear
orders that are interpretable in (N,+) are scattered orders with the finite
Hausdorff rank and that the ranks are bounded in terms of the dimension of the
respective interpretations. From our result about self-interpretations of PrA
it follows that PrA isn't one-dimensionally interpretable in any of its finite
subtheories. We note that the latter was conjectured by A. Visser.Comment: Published in proceedings of LFCS 201
Pulse-driven quantum dynamics beyond the impulsive regime
We review various unitary time-dependent perturbation theories and compare
them formally and numerically. We show that the Kolmogorov-Arnold-Moser
technique performs better owing to both the superexponential character of
correction terms and the possibility to optimize the accuracy of a given level
of approximation which is explored in details here. As an illustration, we
consider a two-level system driven by short pulses beyond the sudden limit.Comment: 15 pages, 5 color figure
The Visibility Graph: a new method for estimating the Hurst exponent of fractional Brownian motion
Fractional Brownian motion (fBm) has been used as a theoretical framework to
study real time series appearing in diverse scientific fields. Because its
intrinsic non-stationarity and long range dependence, its characterization via
the Hurst parameter H requires sophisticated techniques that often yield
ambiguous results. In this work we show that fBm series map into a scale free
visibility graph whose degree distribution is a function of H. Concretely, it
is shown that the exponent of the power law degree distribution depends
linearly on H. This also applies to fractional Gaussian noises (fGn) and
generic f^(-b) noises. Taking advantage of these facts, we propose a brand new
methodology to quantify long range dependence in these series. Its reliability
is confirmed with extensive numerical simulations and analytical developments.
Finally, we illustrate this method quantifying the persistent behavior of human
gait dynamics.Comment: 5 pages, submitted for publicatio
The universal Glivenko-Cantelli property
Let F be a separable uniformly bounded family of measurable functions on a
standard measurable space, and let N_{[]}(F,\epsilon,\mu) be the smallest
number of \epsilon-brackets in L^1(\mu) needed to cover F. The following are
equivalent:
1. F is a universal Glivenko-Cantelli class.
2. N_{[]}(F,\epsilon,\mu)0 and every probability
measure \mu.
3. F is totally bounded in L^1(\mu) for every probability measure \mu.
4. F does not contain a Boolean \sigma-independent sequence.
It follows that universal Glivenko-Cantelli classes are uniformity classes
for general sequences of almost surely convergent random measures.Comment: 26 page
Scale Invariance in the Nonstationarity of Physiological Signals
We introduce a segmentation algorithm to probe temporal organization of
heterogeneities in human heartbeat interval time series. We find that the
lengths of segments with different local values of heart rates follow a
power-law distribution. This scale-invariant structure is not a simple
consequence of the long-range correlations present in the data. We also find
that the differences in mean heart rates between consecutive segments display a
common functional form, but with different parameters for healthy individuals
and for patients with heart failure. This finding may provide information into
the way heart rate variability is reduced in cardiac disease.Comment: 13 pages, 5 figures, corrected typo
Characterization of Sleep Stages by Correlations of Heartbeat Increments
We study correlation properties of the magnitude and the sign of the
increments in the time intervals between successive heartbeats during light
sleep, deep sleep, and REM sleep using the detrended fluctuation analysis
method. We find short-range anticorrelations in the sign time series, which are
strong during deep sleep, weaker during light sleep and even weaker during REM
sleep. In contrast, we find long-range positive correlations in the magnitude
time series, which are strong during REM sleep and weaker during light sleep.
We observe uncorrelated behavior for the magnitude during deep sleep. Since the
magnitude series relates to the nonlinear properties of the original time
series, while the signs series relates to the linear properties, our findings
suggest that the nonlinear properties of the heartbeat dynamics are more
pronounced during REM sleep. Thus, the sign and the magnitude series provide
information which is useful in distinguishing between the sleep stages.Comment: 7 pages, 4 figures, revte
A simple method to assess freezing of gait in Parkinson's disease patients
Freezing of gait (FOG) can be assessed by clinical and instrumental methods. Clinical examination has the advantage of being available to most clinicians; however, it requires experience and may not reveal FOG even for cases confirmed by the medical history. Instrumental methods have an advantage in that they may be used for ambulatory monitoring. The aim of the present study was to describe and evaluate a new instrumental method based on a force sensitive resistor and Pearson's correlation coefficient (Pcc) for the assessment of FOG. Nine patients with Parkinson's disease in the "on" state walked through a corridor, passed through a doorway and made a U-turn. We analyzed 24 FOG episodes by computing the Pcc between one "regular/normal" step and the rest of the steps. The Pcc reached +/- 1 for "normal" locomotion, while correlation diminished due to the lack of periodicity during FOG episodes. Gait was assessed in parallel with video. FOG episodes determined from the video were all detected with the proposed method. The computed duration of the FOG episodes was compared with those estimated from the video. The method was sensitive to various types of freezing; although no differences due to different types of freezing were detected. The study showed that Pcc analysis permitted the computerized detection of FOG in a simple manner analogous to human visual judgment, and its automation may be useful in clinical practice to provide a record of the history of FOG
Rhythmic dynamics and synchronization via dimensionality reduction : application to human gait
Reliable characterization of locomotor dynamics of human walking is vital to understanding the neuromuscular control of human locomotion and disease diagnosis. However, the inherent oscillation and ubiquity of noise in such non-strictly periodic signals pose great challenges to current methodologies. To this end, we exploit the state-of-the-art technology in pattern recognition and, specifically, dimensionality reduction techniques, and propose to reconstruct and characterize the dynamics accurately on the cycle scale of the signal. This is achieved by deriving a low-dimensional representation of the cycles through global optimization, which effectively preserves the topology of the cycles that are embedded in a high-dimensional Euclidian space. Our approach demonstrates a clear advantage in capturing the intrinsic dynamics and probing the subtle synchronization patterns from uni/bivariate oscillatory signals over traditional methods. Application to human gait data for healthy subjects and diabetics reveals a significant difference in the dynamics of ankle movements and ankle-knee coordination, but not in knee movements. These results indicate that the impaired sensory feedback from the feet due to diabetes does not influence the knee movement in general, and that normal human walking is not critically dependent on the feedback from the peripheral nervous system
- …