Quasi-Hamiltonian structure and Hojman construction

Given a smooth vector field Γ and assuming the knowledge of an infinitesimal symmetry X, Hojman [S. Hojman, The construction of a Poisson structure out of a symmetry and a conservation law of a dynamical system, J. Phys. A Math. Gen. 29 (1996) 667-674] proposed a method for finding both a Poisson tensor and a function H such that Γ is the corresponding Hamiltonian system. In this paper, we approach the problem from geometrical point of view. The geometrization leads to the clarification of several concepts and methods used in Hojman's paper. In particular, the relationship between the nonstandard Hamiltonian structure proposed by Hojman and the degenerate quasi-Hamiltonian structures introduced by Crampin and Sarlet [M. Crampin, W. Sarlet, Bi-quasi-Hamiltonian systems, J. Math. Phys. 43 (2002) 2505-2517] is unveiled in this paper. We also provide some applications of our construction.     

Essentially optimal explicit Runge–Kutta methods with application to hyperbolic–parabolic equations

Optimal explicit Runge–Kutta methods consider more stages in order to include a particular spectrum in their stability domain and thus reduce time-step restrictions. This idea, so far used mostly for real-line spectra, is generalized to more general spectra in the form of a thin region. In thin regions the eigenvalues may extend away from the real axis into the imaginary plane. We give a direct characterization of optimal stability polynomials containing a maximal thin region and calculate these polynomials for various cases. Semi-discretizations of hyperbolic–parabolic equations are a relevant application which exhibit a thin region spectrum. As a model, linear, scalar advection–diffusion is investigated. The second-order-stabilized explicit Runge–Kutta methods derived from the stability polynomials are applied to advection–diffusion and compressible, viscous fluid dynamics in numerical experiments. Due to the stabilization the time step can be controlled solely from the hyperbolic CFL condition even in the presence of viscous fluxes.     

Representation of Cubic Lattices by Symmetric Implication Algebras

In this paper a cubic lattice L(S) is endowed with a symmetric implication structure and it is proved that L(S) \ {0} is a power of the three-element simple symmetric implication algebra. The Metropolis–Rota’s symmetries are obtained as partial terms in the language of symmetric implication algebras.     

A Distributional Approach to Multiple Stochastic Integrals and Transformations of the Poisson Measure

We study a class of ‘nonpoissonian’ transformations of the configuration space and the corresponding transformations of the Poisson measure. For some class of Poisson measures we find conditions which are sufficient for the transformed measure (which in general is nonpoissonian) to be absolutely continuous with respect to the initial Poisson measure and get the expression for the corresponding Radon–Nikodym derivative. To solve this problem we use a distributional approach to Poisson multiple stochastic integrals.     

Automatic detection and identification of shocks in Gaussian state‐space models: a Bayesian approach

An automatic monitoring and intervention algorithm that permits the supervision of very general aspects in an univariate linear Gaussian state–space model is proposed. The algorithm makes use of a model comparison and selection approach within a Bayesian framework. In addition, this algorithm incorporates the possibility of eliminating earlier interventions when subsequent evidence against them comes to light. Finally, the procedure is illustrated with two empirical examples taken from the literature. Copyright © 2005 John Wiley & Sons, Ltd.     

Remarks on global approximate controllability for the 2-D Navier–Stokes system with Dirichlet boundary conditions

This Note deals with the two-dimensional Navier–Stokes system. In this context, we prove a result concerning its global approximate controllability by means of boundary controls. To cite this article: S. Guerrero et al., C. R. Acad. Sci. Paris, Ser. I 343 (2006).     

Secret Sharing Schemes with Detection of Cheaters for a General Access Structure

In a secret sharing scheme, some participants can lie about the value of their shares when reconstructing the secret in order to obtain some illicit benefit. We present in this paper two methods to modify any linear secret sharing scheme in order to obtain schemes that are unconditionally secure against that kind of attack. The schemes obtained by the first method are robust, that is, cheaters are detected with high probability even if they know the value of the secret. The second method provides secure schemes, in which cheaters that do not know the secret are detected with high probability. When applied to ideal linear secret sharing schemes, our methods provide robust and secure schemes whose relation between the probability of cheating and the information rate is almost optimal. Besides, those methods make it possible to construct robust and secure schemes for any access structure.     

A Characterization of Cosmological Time Functions

A characterization of time functions on a spacetime is made by using theMöbius equation. It is shown that a time function characterized in this wayyields past timelike geodesic incompleteness and local Lorentzian warpedproduct decomposition of spacetime, provided that the stress-energy tensoris a fluid. Also, by imposing additional assumptions on the stress-energytensor and global analytic structure of the spacetime, more restrictivedecompositions closer to Robertson–Walker spacetimes are obtained.     

There exist no 2-type surfaces in E 3 which are images under stereographic projection of minimal surfaces in S 3

In this paper we deal with the following particular case of a weaker conjecture by B. Y. Chen: Are there 2-type Willmore surfaces in E ³? In particular we prove that the above question has a negative answer when the surface is the image under stereographic projection of a minimal surface in S ³.