Recent works in time-frequency analysis proposed to switch the focus from the maxima of the spectrogram toward its zeros, which form a random point pattern with a very stable structure. Several signal processing tasks, such as component disentanglement and signal detection procedures, have already been renewed by using modern spatial statistics on the pattern of zeros. Tough, they require cautious choice of both the discretization strategy and the observation window in the time-frequency plane. To overcome these limitations, we propose a generalized time-frequency representation: the Kravchuk transform, especially designed for discrete signals analysis, whose phase space is the unit sphere, particularly amenable to spatial statistics. We show that it has all desired properties for signal processing, among which covariance, invertibility and symmetry, and that the point process of the zeros of the Kravchuk transform of complex white Gaussian noise coincides with the zeros of the spherical Gaussian Analytic Function. Elaborating on this theorem, we finally develop a Monte Carlo envelope test procedure for signal detection based on the spatial statistics of the zeros of the Kravchuk spectrogram.
References
The presentation will be based upon a journal paper and a conference paper:
Pascal, B., & Bardenet, R. (2022). A covariant, discrete time-frequency representation tailored for zero-based signal detection. IEEE Transactions on Signal Processing. https://arxiv.org/pdf/2202.03835.pdf
Pascal, B., & Bardenet, R. Une famille de représentations covariantes de signaux discrets et son application à la détection de signaux à partir de leurs zéros. Colloque GRETSI, Nancy, 6-9 Sept. 2022. http://gretsi.fr/data/colloque/pdf/2022_pascal810.pdf
For those who want to get prepared about point processes and signal processing:
Flandrin, P. (2015). Time–frequency filtering based on spectrogram zeros. IEEE Signal Processing Letters, 22(11), 2137-2141.
Bardenet, R., Flamant, J., & Chainais, P. (2020). On the zeros of the spectrogram of white noise. Applied and Computational Harmonic Analysis, 48(2), 6- 82-705.
Bardenet, R., & Hardy, A. (2021). Time-frequency transforms of white noises and Gaussian analytic functions. Applied and computational harmonic analysis, 50, 73-104.
Les solutions des systèmes hyperboliques contiennent des discontinuités. Ces solutions faibles vérifient non seulement les EDP de départ, mais aussi une inégalité d'entropie qui agit comme un critère de sélection déterminant si une discontinuité est physique ou non. Il est très important d'obtenir une version discrète de ces inégalités d'entropie lorsqu'on approxime numériquement les solutions, sans quoi le schéma est susceptible de converger vers des solutions non physiques ou pire d'être instable. Obtenir une inégalité d'entropie discrète est en général un travail difficile, souvent inatteignable pour des schémas d'ordre élevé. Dans cet exposé, je présenterai une approche où ces inégalités sont obtenues a posteriori en minimisant une fonctionnelle bien choisie. La difficulté principale est de prendre en compte la notion de consistance. Cette méthode permet d'obtenir des "cartes de diffusion numérique" pour des schémas d'ordre quelconque. Elle permet aussi de trouver, par une autre procédure d'optimisation, la pire donnée initiale vis à vis de l'entropie. C'est un travail en collaboration avec Emmanuel Audusse, Vivien Desveaux et Julien Salomon
Les équations d'Hamilton-Jacobi contrainte apparaissent comme limite de normbreux modèles d'écologie (voir Concentration in Lotka-Volterra parabolic or integral equations: a general convergence result, G. Barles, S. Mirrahimi, and B. Perthame. 2009). Il y a quelques années Hélène Hivert a proposé un schéma pour ce type d'équations et l'a récemment appliqué au cas particulier H(p)=p^2. Pour traiter le cas général, de nombreuses adaptations sont nécessaires. Après une introduction détaillée, je présenterai deux pistes d'adaptation possible et donnerai pour chacune un aperçu du schéma de preuve.
Cette thèse s'inscrit dans le contexte du projet "e-Gait" dont l'objectif est de développer un nouvel outil de mesure basé sur l'utilisation de systèmes numériques pour quantifier les troubles de la démarche de patients atteints de maladie neurodégénative, et plus particulièrement la Sclérose En Plaques (SEP). La solution adoptée consiste à mesurer les rotations en trois dimensions de la hanche au cours de la marche à l'aide d'un système de capteurs inertiels placé à la ceinture. Ces rotations sont représentées sous la forme d'une séquence de quaternions unitaires. Des méthodes adaptées à ce type de données sont présentées pour en extraire des informations relatives à la démarche de l'individu. Un algorithme est proposé pour segmenter le signal en cycles de marche. Dans une première approche, la démarche individuelle est représentée sous forme de paramètres spatio-temporels. Dans une seconde, elle est représentée sous la forme d'une unique séquence de quaternions unitaire appelée "Signature de Marche" (SdM). Des méthodes de classification non supervisée et semi-supervisée sont adaptées pour permettre d'identifier des groupes de patients présentant des déficits de la marche similaires à partir de leur SdM.
Graphs are a useful mathematical representation for different phenomena in different application fields, such as chemistry,
medicine, transportation, and social science. The analysis of populations of unlabelled networks is thus a promising but challenging task.
In this work, unlabelled networks with Euclidean attributes are described in Graph Space, where every equivalence class represents all
the networks obtained by permuting nodes. We hereby describe the geometry of Graph Space and we introduce a Generalized Geodesic
Regression to model scalar-on-network relationships. Generalized Geodesic Regression is computed using the Align All and Compute
Algorithm. Two case studies are described to showcase the potential of the model: the effect of the lockdown in the usage of public
transport network in Copenhagen; the player passing network as a function of the match outcome during Fifa 2018 Championship.
De nombreuses méthodes ont été introduit via les EDPs pour la restauration d'images s'inspirant du modèle proposé par Perona et Malik en 1988.
En revanche, la préservation des contours et la création des bords fictifs restent à nous jours deux problèmes non résolus.
L'objectif de cette présentation est de voir l'évolution des EDPs pour le traitement de ces deux problèmes en présence de différents types de bruit.
Des application sur des images IRM seront ensuite présentées pour mesurer la robustesse de chaque EDP proposée.
Dans cet exposé, nous étudions quelques propriétés d'un modèle décrivant la dynamique d'un écosystème forestier, déterminé par un système de réaction-diffusion partiellement dissipatif.
Nous présentons en particulier un résultat récent de non-existence de l'attracteur global, dans un cas simple,
qui complète des résultats bien connus (Marion, 1989), valables pour des systèmes de réaction-diffusion partiellement dissipatifs, mais sans non-linéarité dans les équations non-diffusives.
Puis, nous présentons un modèle augmenté de réaction-diffusion-advection décrivant l'interaction entre l'écosystème forestier et l'activité atmosphérique, et nous recherchons des conditions de paramètres garantissant l'instabilité de l'équilibre d'extinction.
We describe a parallel and quasi-explicit Discontinuous Galerkin (DG) kinetic scheme for solving systems of balance laws. The solver is CFL-less (i.e., the CFL number can be arbitrary) and has the complexity of an explicit scheme. It can be applied to any hyperbolic system of balance laws. In this work, we assess the performance of the scheme in the particular cases of the three-dimensional wave equation and of Maxwell’s equations. We measure the benefit of the unconditional stability by performing experiments with very large CFL numbers. In addition, the parallel possibilities of the method are investigated.
