The Non-Archimedean Theory of Discrete Systems

In the paper, we study behavior of discrete dynamical systems (automata) w.r.t. transitivity; that is, speaking loosely, we consider how diverse may be behavior of the system w.r.t. variety of word transformations performed by the system: We call a system completely transitive if, given arbitrary pair $a,b$ of finite words that have equal lengths, the system $\mathfrak A$, while evolution during (discrete) time, at a certain moment transforms $a$ into $b$. To every system $\mathfrak A$, we put into a correspondence a family $\mathcal F_{\mathfrak A}$ of continuous maps of a suitable non-Archimedean metric space and show that the system is completely transitive if and only if the family $\mathcal F_{\mathfrak A}$ is ergodic w.r.t. the Haar measure; then we find easy-to-verify conditions the system must satisfy to be completely transitive. The theory can be applied to analyze behavior of straight-line computer programs (in particular, pseudo-random number generators that are used in cryptography and simulations) since basic CPU instructions (both numerical and logical) can be considered as continuous maps of a (non-Archimedean) metric space $\mathbb Z_2$ of 2-adic integers.Comment: The extended version of the talk given at MACIS-201

Carbon assimilating fungi from surface ocean to subseafloor revealed by coupled phylogenetic and stable isotope analysis

Fungi are ubiquitous in the ocean and hypothesized to be important members of marine ecosystems, but their roles in the marine carbon cycle are poorly understood. Here, we use 13C DNA stable isotope probing coupled with phylogenetic analyses to investigate carbon assimilation within diverse communities of planktonic and benthic fungi in the Benguela Upwelling System (Namibia). Across the redox stratified water column and in the underlying sediments, assimilation of 13C-labeled carbon from diatom extracellular polymeric substances (13C-dEPS) by fungi correlated with the expression of fungal genes encoding carbohydrate-active enzymes. Phylogenetic analysis of genes from 13C-labeled metagenomes revealed saprotrophic lineages related to the facultative yeast Malassezia were the main fungal foragers of pelagic dEPS. In contrast, fungi living in the underlying sulfidic sediments assimilated more 13C-labeled carbon from chemosynthetic bacteria compared to dEPS. This coincided with a unique seafloor fungal community and dissolved organic matter composition compared to the water column, and a 100-fold increased fungal abundance within the subseafloor sulfide-nitrate transition zone. The subseafloor fungi feeding on 13C-labeled chemolithoautotrophs under anoxic conditions were affiliated with Chytridiomycota and Mucoromycota that encode cellulolytic and proteolytic enzymes, revealing polysaccharide and protein-degrading fungi that can anaerobically decompose chemosynthetic necromass. These subseafloor fungi, therefore, appear to be specialized in organic matter that is produced in the sediments. Our findings reveal that the phylogenetic diversity of fungi across redox stratified marine ecosystems translates into functionally relevant mechanisms helping to structure carbon flow from primary producers in marine microbiomes from the surface ocean to the subseafloor

Influence of normal and radial contributions of local current density on local electrochemical impedance spectroscopy.

A new tri-electrode probe is presented and applied to local electrochemical impedance spectroscopy (LEIS) measurements. As opposed to two-probe systems, the three-probe one allows measurement not only of normal, but also of radial contributions of local current densities to the local impedance values. The results concerning the cases of the blocking electrode and the electrode with faradaic reaction are discussed from the theoretical point of view for a disk electrode. Numerical simulations and experimental results are compared for the case of the ferri/ferrocyanide electrode reaction at the Pt working electrode disk. At the centre of the disk, the impedance taking into account both normal and radial contributions was in good agreement with the local impedance measured in terms of only the normal contribution. At the periphery of the electrode, the impedance taking into account both normal and radial contributions differed significantly from the local impedance measured in terms of only the normal contribution. The radial impedance results at the periphery of the electrode are in good agreement with the usual explanation that the associated larger current density is attributed to the geometry of the electrode, which exhibits a greater accessibility at the electrode edge

Certified Computer Algebra on top of an Interactive Theorem Prover

Contains fulltext : 35027.pdf (publisher's version ) (Open Access

Programmable active memories in real-time tasks: implementing data-driven triggers for LHC experiments

The future Large Hadron Collider (LHC), to be built at CERN, presents among other technological challenges a formidable problem of real-time data analysis. At a primary event rate of 40 MHz, a multi-stage trigger system has to analyze data to decide which is the fraction of events that should be preserved on permanent storage for further analysis. We report on implementations of local algorithms for feature extraction as part of triggering, using the detectors of the proposed ATLAS experiment as a model. The algorithms were implemented for a decision frequency of 100 kHz, on different data-driven programmable devices based on structures of field- programmable gate arrays and memories. The implementations were demonstrated at full speed with emulated input, and were also integrated into a prototype detector running in a test beam at CERN, in June 1994

Hadron Energy Reconstruction for the ATLAS Calorimetry in the Framework of the Non-parametrical Method

This paper discusses hadron energy reconstruction for the ATLAS barrel prototype combined calorimeter (consisting of a lead-liquid argon electromagnetic part and an iron-scintillator hadronic part) in the framework of the non-parametrical method. The non-parametrical method utilizes only the known $e/h$ ratios and the electron calibration constants and does not require the determination of any parameters by a minimization technique. Thus, this technique lends itself to an easy use in a first level trigger. The reconstructed mean values of the hadron energies are within $\pm 1$ of the true values and the fractional energy resolution is $[(58\pm3)/\sqrt{E}+(2.5\pm0.3)$. The value of the $e/h$ ratio obtained for the electromagnetic compartment of the combined calorimeter is $1.74\pm0.04$ and agrees with the prediction that $e/h > 1.7$ for this electromagnetic calorimeter. Results of a study of the longitudinal hadronic shower development are also presented. The data have been taken in the H8 beam line of the CERN SPS using pions of energies from 10 to 300 GeV.Comment: 33 pages, 13 figures, Will be published in NIM

Transiting exoplanets from the CoRoT space mission VIII. CoRoT-7b: the first Super-Earth with measured radius

We report the discovery of very shallow (DF/F = 3.4 10-4), periodic dips in the light curve of an active V = 11.7 G9V star observed by the CoRoT satellite, which we interpret as due to the presence of a transiting companion. We describe the 3-colour CoRoT data and complementary ground-based observations that support the planetary nature of the companion. Methods. We use CoRoT color information, good angular resolution ground-based photometric observations in- and out- of transit, adaptive optics imaging, near-infrared spectroscopy and preliminary results from Radial Velocity measurements, to test the diluted eclipsing binary scenarios. The parameters of the host star are derived from optical spectra, which were then combined with the CoRoT light curve to derive parameters of the companion. We examine carefully all conceivable cases of false positives, and all tests performed support the planetary hypothesis. Blends with separation larger than 0.40 arcsec or triple systems are almost excluded with a 8 10-4 risk left. We conclude that, as far as we have been exhaustive, we have discovered a planetary companion, named CoRoT-7b, for which we derive a period of 0.853 59 +/- 3 10-5 day and a radius of Rp = 1.68 +/- 0.09 REarth. Analysis of preliminary radial velocity data yields an upper limit of 21 MEarth for the companion mass, supporting the finding. CoRoT-7b is very likely the first Super-Earth with a measured radius.Comment: Accepted in Astronomy and Astrophysics; typos and language corrections; version sent to the printer w few upgrade

One Fungus = One Name: DNA and fungal nomenclature twenty years after PCR

Some fungi with pleomorphic life-cycles still bear two names despite more than 20 years of molecular phylogenetics that have shown how to merge the two systems of classification, the asexual “Deuteromycota” and the sexual “Eumycota”. Mycologists have begun to flout nomenclatorial regulations and use just one name for one fungus. The International Code of Botanical Nomenclature (ICBN) must change to accommodate current practice or become irrelevant. The fundamental difference in the size of fungi and plants had a role in the origin of dual nomenclature and continues to hinder the development of an ICBN that fully accommodates microscopic fungi. A nomenclatorial crisis also looms due to environmental sequencing, which suggests that most fungi will have to be named without a physical specimen. Mycology may need to break from the ICBN and create a MycoCode to account for fungi known only from environmental nucleic acid sequence (i.e. ENAS fungi)

An inclusive search for free quarks at PEP

Abstract We report the results of a search for fractionally charged particles in e + e − reactions at a center of mass energy of 29 GeV. We find no evidence for such particles and present upper limitts on R q = σ q q X/σ μμ for change 1 3 e and 2 3 e which range from 1 to 8 × 10 −2 for mass up to 12 GeV/ c 2