Stability of uniformly bounded switched systems and Observability

This paper mainly deals with switched linear systems defined by a pair of Hurwitz matrices that share a common but not strict quadratic Lyapunov function. Its aim is to give sufficient conditions for such a system to be GUAS.We show that this property of being GUAS is equivalent to the uniform observability on $[0,+\infty)$ of a bilinear system defined on a subspace whose dimension is in most cases much smaller than the dimension of the switched system.Some sufficient conditions of uniform asymptotic stability are then deduced from the equivalence theorem, and illustrated by examples.The results are partially extended to nonlinear analytic systems

On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

Construction of rational expression from tree automata using a generalization of Arden's Lemma

Arden's Lemma is a classical result in language theory allowing the computation of a rational expression denoting the language recognized by a finite string automaton. In this paper we generalize this important lemma to the rational tree languages. Moreover, we propose also a construction of a rational tree expression which denotes the accepted tree language of a finite tree automaton

Approximation by finite mixtures of continuous density functions that vanish at infinity

Given sufficiently many components, it is often cited that finite mixture models can approximate any other probability density function (pdf) to an arbitrary degree of accuracy. Unfortunately, the nature of this approximation result is often left unclear. We prove that finite mixture models constructed from pdfs in $\mathcal{C}_{0}$ can be used to conduct approximation of various classes of approximands in a number of different modes. That is, we prove approximands in $\mathcal{C}_{0}$ can be uniformly approximated, approximands in $\mathcal{C}_{b}$ can be uniformly approximated on compact sets, and approximands in $\mathcal{L}_{p}$ can be approximated with respect to the $\mathcal{L}_{p}$, for $p\in\left[1,\infty\right)$. Furthermore, we also prove that measurable functions can be approximated, almost everywhere

Three-body correlations in Borromean halo nuclei

Three-body correlations in the dissociation of two-neutron halo nuclei are explored using a technique based on intensity interferometry and Dalitz plots. This provides for the combined treatment of both the n-n and core-n interactions in the exit channel. As an example, the breakup of 14Be into 12Be+n+n by Pb and C targets has been analysed and the halo n-n separation extracted. A finite delay between the emission of the neutrons in the reaction on the C target was observed and is attributed to 13Be resonances populated in sequential breakup.Comment: 5 pages, 4 figures, submitted to PR

Infinite combinatorial issues raised by lifting problems in universal algebra

The critical point between varieties A and B of algebras is defined as the least cardinality of the semilattice of compact congruences of a member of A but of no member of B, if it exists. The study of critical points gives rise to a whole array of problems, often involving lifting problems of either diagrams or objects, with respect to functors. These, in turn, involve problems that belong to infinite combinatorics. We survey some of the combinatorial problems and results thus encountered. The corresponding problematic is articulated around the notion of a k-ladder (for proving that a critical point is large), large free set theorems and the classical notation (k,r,l){\to}m (for proving that a critical point is small). In the middle, we find l-lifters of posets and the relation (k, < l){\to}P, for infinite cardinals k and l and a poset P.Comment: 22 pages. Order, to appea

SZ and CMB reconstruction using Generalized Morphological Component Analysis

In the last decade, the study of cosmic microwave background (CMB) data has become one of the most powerful tools to study and understand the Universe. More precisely, measuring the CMB power spectrum leads to the estimation of most cosmological parameters. Nevertheless, accessing such precious physical information requires extracting several different astrophysical components from the data. Recovering those astrophysical sources (CMB, Sunyaev-Zel'dovich clusters, galactic dust) thus amounts to a component separation problem which has already led to an intense activity in the field of CMB studies. In this paper, we introduce a new sparsity-based component separation method coined Generalized Morphological Component Analysis (GMCA). The GMCA approach is formulated in a Bayesian maximum a posteriori (MAP) framework. Numerical results show that this new source recovery technique performs well compared to state-of-the-art component separation methods already applied to CMB data.Comment: 11 pages - Statistical Methodology - Special Issue on Astrostatistics - in pres

Lifting retracted diagrams with respect to projectable functors

We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by a lattice, of finite Boolean (v,0)-semilattices with (v,0)-embeddings, can be lifted with respect to the \Conc functor on lattices, then so can every diagram, indexed by a lattice, of finite distributive (v,0)-semilattices with (v,0-embeddings. If the premise of this statement held, this would solve in turn the (still open) problem whether every distributive algebraic lattice is isomorphic to the congruence lattice of a lattice. We also outline potential applications of the method to other functors, such as the $R\mapsto V(R)$ functor on von Neumann regular rings

Holderian weak invariance principle for stationary mixing sequences

We provide some sufficient mixing conditions on a strictly stationary sequence in order to guarantee the weak invariance principle in H\"older spaces. Strong mixing and $\rho$-mixing conditions are investigated as well as $\tau$-dependent sequences. The main tools are Fuk-Nagaev type inequalities for mixing sequences and a truncation argument.Comment: 14 page

Signals of Bose Einstein condensation and Fermi quenching in the decay of hot nuclear systems

We report experimental signals of Bose-Einstein condensation in the decay of hot Ca projectile-like sources produced in mid-peripheral collisions at sub-Fermi energies. The experimental setup, constituted by the coupling of the INDRA 4$\pi$ detector array to the forward angle VAMOS magnetic spectrometer, allowed us to reconstruct the mass, charge and excitation energy of the decaying hot projectile-like sources. Furthermore, by means of quantum fluctuation analysis techniques, temperatures and mean volumes per particle "as seen by" bosons and fermions separately are correlated to the excitation energy of the reconstructed system. The obtained results are consistent with the production of dilute mixed (bosons/fermions) systems, where bosons experience a smaller volume as compared to the surrounding fermionic gas. Our findings recall similar phenomena observed in the study of boson condensates in atomic traps.Comment: Submitted to Phys. Rev. Lett. (december 2014