Reducing the Bias of Causality Measures

Measures of the direction and strength of the interdependence between two time series are evaluated and modified in order to reduce the bias in the estimation of the measures, so that they give zero values when there is no causal effect. For this, point shuffling is employed as used in the frame of surrogate data. This correction is not specific to a particular measure and it is implemented here on measures based on state space reconstruction and information measures. The performance of the causality measures and their modifications is evaluated on simulated uncoupled and coupled dynamical systems and for different settings of embedding dimension, time series length and noise level. The corrected measures, and particularly the suggested corrected transfer entropy, turn out to stabilize at the zero level in the absence of causal effect and detect correctly the direction of information flow when it is present. The measures are also evaluated on electroencephalograms (EEG) for the detection of the information flow in the brain of an epileptic patient. The performance of the measures on EEG is interpreted, in view of the results from the simulation study.Comment: 30 pages, 12 figures, accepted to Physical Review

Automatic Abstraction for Congruences

One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d \mod m$, (unknown variable m)$is a power of two,$\vec{c}$is a vector of integer coefficients, and$\vec{x}$ is a vector of propositional variables (bits). Because of the low-level nature of these invariants and the large number of bits that are involved, it is important that the transfer functions can be derived automatically. We address this problem, showing how an analysis for bit-level congruence relationships can be decoupled into two parts: (1) a SAT-based abstraction (compilation) step which can be automated, and (2) an interpretation step that requires no SAT-solving. We exploit triangular matrix forms to derive transfer functions efficiently, even in the presence of large numbers of bits. Finally we propose program transformations that improve the analysis results

Quantum interference and phonon-mediated back-action in lateral quantum dot circuits

Spin qubits have been successfully realized in electrostatically defined, lateral few-electron quantum dot circuits. Qubit readout typically involves spin to charge information conversion, followed by a charge measurement made using a nearby biased quantum point contact. It is critical to understand the back-action disturbances resulting from such a measurement approach. Previous studies have indicated that quantum point contact detectors emit phonons which are then absorbed by nearby qubits. We report here the observation of a pronounced back-action effect in multiple dot circuits where the absorption of detector-generated phonons is strongly modified by a quantum interference effect, and show that the phenomenon is well described by a theory incorporating both the quantum point contact and coherent phonon absorption. Our combined experimental and theoretical results suggest strategies to suppress back-action during the qubit readout procedure.Comment: 25 pages, 8 figure

Interval Slopes as Numerical Abstract Domain for Floating-Point Variables

The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools. Floating-point arithmetic, that is well-known to only provide approximated results, is omnipresent in this activity. In order to validate the behaviors of numerical simulations using abstract interpretation-based static analysis, we present, theoretically and with experiments, a new partially relational abstract domain dedicated to floating-point variables. It comes from interval expansion of non-linear functions using slopes and it is able to mimic all the behaviors of the floating-point arithmetic. Hence it is adapted to prove the absence of run-time errors or to analyze the numerical precision of embedded control systems

Restoring soil functionality in degraded areas of organic vineyards - Preliminary results of the ReSolVe project in the French vineyards

Degraded soil areas in vineyards are associated with problems in vine health, grape production and quality. Different causes for soil degradation are possible such as poor organic matter content, lower plant nutrient availability, pH, water deficiency, soil compaction / lower oxygenation… The aim of this preliminary study is to assess soil functionality (OM decomposition), biodiversity through mesofauna diversity and consequences for vine growth and quality

Time series aggregation, disaggregation and long memory

We study the aggregation/disaggregation problem of random parameter AR(1) processes and its relation to the long memory phenomenon. We give a characterization of a subclass of aggregated processes which can be obtained from simpler, "elementary", cases. In particular cases of the mixture densities, the structure (moving average representation) of the aggregated process is investigated

Impact of Unexpected Events, Shocking News and Rumours on Foreign Exchange Market Dynamics

We analyze the dynamical response of the world's financial community to various types of unexpected events, including the 9/11 terrorist attacks as they unfolded on a minute-by-minute basis. We find that there are various 'species' of news, characterized by how quickly the news get absorbed, how much meaning and importance is assigned to it by the community, and what subsequent actions are then taken. For example, the response to the unfolding events of 9/11 shows a gradual collective understanding of what was happening, rather than an immediate realization. For news items which are not simple economic statements, and hence whose implications are not immediately obvious, we uncover periods of collective discovery during which collective opinions seem to oscillate in a remarkably synchronized way. In the case of a rumour, our findings also provide a concrete example of contagion in inter-connected communities. Practical applications of this work include the possibility of producing selective newsfeeds for specific communities, based on their likely impact

Transcript of The Dory Derby Accident

This story is an excerpt from a longer interview that was collected as part of the Launching through the Surf: The Dory Fleet of Pacific City project. In this story, Don Grotjohn recounts an accident that occurred during a Dory Derby competition