Neural networks in geophysical applications

Neural networks are increasingly popular in geophysics. Because they are universal approximators, these tools can approximate any continuous function with an arbitrary precision. Hence, they may yield important contributions to finding solutions to a variety of geophysical applications. However, knowledge of many methods and techniques recently developed to increase the performance and to facilitate the use of neural networks does not seem to be widespread in the geophysical community. Therefore, the power of these tools has not yet been explored to their full extent. In this paper, techniques are described for faster training, better overall performance, i.e., generalization,and the automatic estimation of network size and architecture

Formal Analysis of V2X Revocation Protocols

Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. However, formal analysis can be used to expose flaws and ultimately provide a higher level of assurance in the protocols. This paper focusses on the formal analysis of a particular element of security mechanisms for V2X found in many proposals: the revocation of malicious or misbehaving vehicles from the V2X system by invalidating their credentials. This revocation needs to be performed in an unlinkable way for vehicle privacy even in the context of vehicles regularly changing their pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and RTOKEN aim to solve this challenge by means of cryptographic solutions and trusted hardware. Formal analysis using the TAMARIN prover identifies two flaws with some of the functional correctness and authentication properties in these schemes. We then propose Obscure Token (OTOKEN), an extension of REWIRE to enable revocation in a privacy preserving manner. Our approach addresses the functional and authentication properties by introducing an additional key-pair, which offers a stronger and verifiable guarantee of successful revocation of vehicles without resolving the long-term identity. Moreover OTOKEN is the first V2X revocation protocol to be co-designed with a formal model.Comment: 16 pages, 4 figure

Evolutionary Approaches to Optimization Problems in Chimera Topologies

Chimera graphs define the topology of one of the first commercially available quantum computers. A variety of optimization problems have been mapped to this topology to evaluate the behavior of quantum enhanced optimization heuristics in relation to other optimizers, being able to efficiently solve problems classically to use them as benchmarks for quantum machines. In this paper we investigate for the first time the use of Evolutionary Algorithms (EAs) on Ising spin glass instances defined on the Chimera topology. Three genetic algorithms (GAs) and three estimation of distribution algorithms (EDAs) are evaluated over $1000$ hard instances of the Ising spin glass constructed from Sidon sets. We focus on determining whether the information about the topology of the graph can be used to improve the results of EAs and on identifying the characteristics of the Ising instances that influence the success rate of GAs and EDAs.Comment: 8 pages, 5 figures, 3 table

Statistical properties of Klauder-Perelomov coherent states for the Morse potential

We present in this paper a realistic construction of the coherent states for the Morse potential using the Klauder-Perelomov approach . We discuss the statistical properties of these states, by deducing the Q- and P-distribution functions. The thermal expectations for the quantum canonical ideal gas of the Morse oscillators are also calculated

Network Inference via the Time-Varying Graphical Lasso

Many important problems can be modeled as a system of interconnected entities, where each entity is recording time-dependent observations or measurements. In order to spot trends, detect anomalies, and interpret the temporal dynamics of such data, it is essential to understand the relationships between the different entities and how these relationships evolve over time. In this paper, we introduce the time-varying graphical lasso (TVGL), a method of inferring time-varying networks from raw time series data. We cast the problem in terms of estimating a sparse time-varying inverse covariance matrix, which reveals a dynamic network of interdependencies between the entities. Since dynamic network inference is a computationally expensive task, we derive a scalable message-passing algorithm based on the Alternating Direction Method of Multipliers (ADMM) to solve this problem in an efficient way. We also discuss several extensions, including a streaming algorithm to update the model and incorporate new observations in real time. Finally, we evaluate our TVGL algorithm on both real and synthetic datasets, obtaining interpretable results and outperforming state-of-the-art baselines in terms of both accuracy and scalability

Ankle Spatting compared to Bracing or Taping during Maximal-Effort Sprint Drills

The purpose of this study was to compare the influences of 4 ankle conditions (no support, bracing, taping, taping + spatting; all in football cleats) during 2 maximal-effort field drills (40-yd dash and 34-yd cutting drill) on perceptions of comfort and stability and performance outcomes. Fourteen young adult males participated. Subjects’ perceptions of comfort and stability were assessed by visual analogue scales after each drill for each ankle condition. Time-to-completion and post-completion heart rate were recorded. For both drills, significant differences in comfort perception were found such that subjects perceived no support as equivocal to bracing but more comfortable than either taping or spatting + taping. Stability results differed by drill. For the dash, significant differences in stability perception were found such that subjects perceived no support as equivocal to bracing but less stable than either taping or spatting + taping. By contrast, for the cutting drill significant differences in stability perception were found such that subjects perceived their ankles as less stable during the no support condition as compared to all 3 other conditions. Generally, bracing was perceived as equivocal to all 3 other conditions for comfort and stability. There were no significant differences in time-to-completion or heart rate for any comparison. Compared to bracing or taping, spatting + taping (a) did not influence performance time in explosive/sprint-type drills, (b) was perceived as equivalent to taping alone in terms of ankle comfort and stability, and (c) was perceived as equivalent to bracing in terms of stability but not comfort

Dilaton-Axion hair for slowly rotating Kerr black holes

Campbell et al. demonstrated the existence of axion ``hair'' for Kerr black holes due to the non-trivial Lorentz Chern-Simons term and calculated it explicitly for the case of slow rotation. Here we consider the dilaton coupling to the axion field strength, consistent with low energy string theory and calculate the dilaton ``hair'' arising from this specific axion source.Comment: 13 pages + 1 fi

Surgery and the Spectrum of the Dirac Operator

We show that for generic Riemannian metrics on a simply-connected closed spin manifold of dimension at least 5 the dimension of the space of harmonic spinors is no larger than it must be by the index theorem. The same result holds for periodic fundamental groups of odd order. The proof is based on a surgery theorem for the Dirac spectrum which says that if one performs surgery of codimension at least 3 on a closed Riemannian spin manifold, then the Dirac spectrum changes arbitrarily little provided the metric on the manifold after surgery is chosen properly.Comment: 23 pages, 4 figures, to appear in J. Reine Angew. Mat

Lake Erie 1993, Western, West Central and Eastern Basins: Change in Trophic Status, and Assessment of the Abundance, Biomass and Production of the Lower Trophic Levels

The western and west central basins were mesotrophic and the eastern basin was oligotrophic, based on many biological and chemical parameters measured in 1993. Gradients were observed for most parameters, with chlorophyll a, nitrogen, phosphorus, silica, and light extinction decreasing from west to east. In the western basin, phytoplankton biomass declined by 51% from 1983-85. Phytoplankton photosynthesis (g C·m-2), predicted from total phosphorus (TP) using a relationship developed in other offshore productivity studies in Lake Ontario, declined by 35% in 1993, without a corresponding decline in phosphorus (P) loading or TP. Diatoms decreased and there was a shift towards smaller phytoplankton species. These changes were attributed to zebra mussel filtration, but were not of sufficient magnitude to reduce zooplankton biomass. In the west central basin, the reductions in phytoplankton biomass were modest. Photosynthesis (g C·m-2) in 1993, was in line with that predicted by TP and the empirical relationship developed in other offshore studies. Limited mussel populations in the west central basin, resulting from low hypolimnetic oxygen concentrations, caused little change in the phytoplankton. There also were no reductions in mean biomass of zooplankton from 1984-87. In the eastern basin, phytoplankton biomass declined by 49% from 1983-85. Photosynthesis (g C·m-2) declined by 50% from the value predicted, from TP and the empirical relationship developed for other studies, for 1983-85, without a decline in P-leading. TP was lower in 1993 and was attributed to filtering by Dreissena and subsequent redirection of pelagic material to the sediments. Phytoplankton species indicative of eutrophy were reduced and there was an overall shift towards smaller species. Zooplankton biomass was also reduced. Mean zooplankton community size and the loss of Daphnia sp. suggest that predation by planktivores as well as a reduced food supply, affected zooplankton biomass in 1993. The Dreissena population also affected the benthic community structure as Diporeia were virtually eliminated from the eastern basin and Gammarus increased in all basins. Benthic biomass was 40% higher on average than in 1979. Dreissena dominated benthic production at all stations except offshore in the west-central basin