Difference Sets and Recursion Theory

There is a recursive set of natural numbers which is the difference set of some recursively enumerable set but which is not the difference set of any recursive set.     

Un théorème de type Beurling–Lax dans la boule unitéA Beurling–Lax type theorem in the unit ball

We prove a Beurling–Lax theorem for a family of reproducing kernel Hilbert spaces of functions analytic in an open subset of the unit ball containing the origin. The spaces under consideration are characterized by functions called Schur multipliers. Using the theory of linear relations in Pontryagin spaces we also give coisometric realizations of Schur multipliers. To cite this article: D. Alpay et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 349–354.     

Chiral phase transition and Anderson localization in the instanton liquid model for QCD

We study the spectrum and eigenmodes of the QCD Dirac operator in a gauge background given by an instanton liquid model (ILM) at temperatures around the chiral phase transition. Generically we find the Dirac eigenvectors become more localized as the temperature is increased. At the chiral phase transition, both the low lying eigenmodes and the spectrum of the QCD Dirac operator undergo a transition to localization similar to the one observed in a disordered conductor. This suggests that Anderson localization is the fundamental mechanism driving the chiral phase transition. We also find an additional temperature dependent mobility edge (separating delocalized from localized eigenstates) in the bulk of the spectrum which moves toward lower eigenvalues as the temperature is increased. In both regions, the origin and the bulk, the transition to localization exhibits features of a 3D Anderson transition including multifractal eigenstates and spectral properties that are well described by critical statistics. Similar results are obtained in both the quenched and the unquenched case though the critical temperature in the unquenched case is lower. Finally we argue that our findings are not in principle restricted to the ILM approximation and may also be found in lattice simulations.     

Assessment of the Formant Frequencies in Normal and Laryngectomized Individuals Using Linear Predictive Coding

The objective of this study was to assess the difference in voice quality as defined by acoustical analysis using sustained vowel in laryngectomized patients in comparison with normal volunteers. This was designed as a retrospective single center cohort study. An adult tertiary referral unit formed the setting of this study. Fifty patients (40 males) who underwent total laryngectomy and 31 normal volunteers (18 male) participated. Group comparisons with the first three formant frequencies (F1, F2, and F3) using linear predictive coding (LPC) (Laryngograph Ltd, London, UK) was performed. The existence of any significant difference of F1, F2, and F3 between the two groups using the sustained vowel /i/ and the effects of other factors namely, tumor stage (T), chemoradiotherapy, pharyngectomy, cricothyroid myotomy, closure of pharyngoesophageal segment, and postoperative complication were analyzed. Formant frequencies F1, F2, and F3 were significantly different in male laryngectomees compared to controls: F1 (P<0.001, Mann-Whitney U test), F2 (P<0.001, Student's t test), and F3 (P=0.008, Student's t test). There was no significant difference between females in both groups for all three formant frequencies. Chemoradiotherapy and postoperative complications (pharyngocutaneous fistula) caused a significantly lower formant F1 in men, but showed little effect in F2 and F3. Laryngectomized males produced significantly higher formant frequencies, F1, F2, and F3, compared to normal volunteers, and this is consistent with literature. Chemoradiotherapy and postoperative complications significantly influenced the formant scores in the laryngectomee population. This study shows that robust and reliable data could be obtained using electroglottography and LPC in normal volunteers and laryngectomees using a sustained vowel.     

A Metropolis Monte Carlo Implementation of Bayesian Time-Domain Parameter Estimation: Application to Coupling Constant Estimation from Antiphase Multiplets

The Bayesian perspective on statistics asserts that it makes sense to speak of a probability of an unknown parameter having a particular value. Given a model for an observed, noise-corrupted signal, we may use Bayesian methods to estimate not only the most probable value for each parameter but also their distributions. We present an implementation of the Bayesian parameter estimation formalism developed by G. L. Bretthorst (1990,J. Magn. Reson.88, 533) using the Metropolis Monte Carlo sampling algorithm to perform the parameter and error estimation. This allows us to make very few assumptions about the shape of the posterior distribution, and allows the easy introduction of prior knowledge about constraints among the model parameters. We present evidence that the error estimates obtained in this manner are realistic, and that the Monte Carlo approach can be used to accurately estimate coupling constants from antiphase doublets in synthetic and experimental data.     

Separation and Enrichment of the Active Component of Carbon Based Paramagnetic Materials for Use in EPR Oximetry

Carbon based paramagnetic materials are frequently used for EPR oximetry, especiallyin vivo,but the EPR spectra of these materials often have more than one paramagnetic center and/or relatively low signal intensity. To determine whether the multi-components of carbon based materials could be separated and enriched in the active component, we used density gradient centrifugation to separate the materials into several fractions. We studied two types of coals, gloxy and Pocahontas, and found these materials to have large density distribution. The separated density fractions had very different EPR spectra and intensities. The active component from the coal material had a more homogeneous EPR signal and significantly increased EPR signal intensity, whereas for India ink, only slight changes were observed. This result can be very useful in the development of better probes for EPR oximetry.     

A remark on the mild solutions of non-local evolution equations

We provide a counterexample to some recent publications concerning the existence of the mild solutions of the non-local evolution equations, and indicate that in the study of the non-local evolution equations, the operators from which the mild solutions may be derived are in general not compact, thus those fixed point theorems requiring the compactness of the operators are not applicable.     

On fundamental groups of compact Hausdorff spaces

We discuss which groups can be realized as the fundamental groups of compact Hausdorff spaces. In particular, we prove that the claim ``every group can be realized as the fundamental group of a compact Hausdorff space' is consistent with the Zermelo-Fraenkel-Choice set theory.