A simple abstraction of arrays and maps by program translation

We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar operations. The simplest way to implement it is by automatic, syntactic transformation of the array program into a scalar program followed analysis of the scalar program with any static analysis technique (abstract interpretation, acceleration, predicate abstraction,.. .). The scalars invariants thus obtained are translated back onto the original program as universally quantified array invariants. We illustrate our approach on a variety of examples, leading to the " Dutch flag " algorithm

Arbitrary-order Hilbert spectral analysis and intermittency in solar wind density fluctuations

The properties of inertial and kinetic range solar wind turbulence have been investigated with the arbitrary-order Hilbert spectral analysis method, applied to high-resolution density measurements. Due to the small sample size, and to the presence of strong non-stationary behavior and large-scale structures, the classical structure function analysis fails to detect power law behavior in the inertial range, and may underestimate the scaling exponents. However, the Hilbert spectral method provides an optimal estimation of the scaling exponents, which have been found to be close to those for velocity fluctuations in fully developed hydrodynamic turbulence. At smaller scales, below the proton gyroscale, the system loses its intermittent multiscaling properties, and converges to a monofractal process. The resulting scaling exponents, obtained at small scales, are in good agreement with those of classical fractional Brownian motion, indicating a long-term memory in the process, and the absence of correlations around the spectral break scale. These results provide important constraints on models of kinetic range turbulence in the solar wind

Positional Non-Cooperative Equilibrium

This paper presents and analyses a game theoretic model for resource allocation, where agents are status-seeking and consuming positional goods. We propose a unified framework to study the competition for resources where agents’ preferences are not necessarily ordered according to the absolute amount of goods they consume, but may depend on the consumption of others as well as on individual valuation of the goods at stake. Our model explicits the relation between absolute good distribution, individual evaluation and the level of consumption adopted by the opponents; such relation has the form of a status function.We show that given a certain set of properties, there exists only one possible status function. The competition mechanism implemented to maximise one own’s status is central in this work. As a result of the mathematical formulation, we show that the standard utility-maximisation paradigm emerges as a special case (non-positional competition). We then define a new class of games where the individual evaluations are negotiable and serve only the purpose of maximising one own’s status

Recent Progress in Shearlet Theory: Systematic Construction of Shearlet Dilation Groups, Characterization of Wavefront Sets, and New Embeddings

The class of generalized shearlet dilation groups has recently been developed to allow the unified treatment of various shearlet groups and associated shearlet transforms that had previously been studied on a case-by-case basis. We consider several aspects of these groups: First, their systematic construction from associative algebras, secondly, their suitability for the characterization of wavefront sets, and finally, the question of constructing embeddings into the symplectic group in a way that intertwines the quasi-regular representation with the metaplectic one. For all questions, it is possible to treat the full class of generalized shearlet groups in a comprehensive and unified way, thus generalizing known results to an infinity of new cases. Our presentation emphasizes the interplay between the algebraic structure underlying the construction of the shearlet dilation groups, the geometric properties of the dual action, and the analytic properties of the associated shearlet transforms.Comment: 28 page

Catalysis in non--local quantum operations

We show how entanglement can be used, without being consumed, to accomplish unitary operations that could not be performed with out it. When applied to infinitesimal transformations our method makes equivalent, in the sense of Hamiltonian simulation, a whole class of otherwise inequivalent two-qubit interactions. The new catalysis effect also implies the asymptotic equivalence of all such interactions.Comment: 4 pages, revte