@article{HolschneiderLesurMauerbergeretal.2016, author = {Holschneider, Matthias and Lesur, Vincent and Mauerberger, Stefan and Baerenzung, Julien}, title = {Correlation-based modeling and separation of geomagnetic field components}, series = {Journal of geophysical research : Solid earth}, volume = {121}, journal = {Journal of geophysical research : Solid earth}, publisher = {American Geophysical Union}, address = {Washington}, issn = {2169-9313}, doi = {10.1002/2015JB012629}, pages = {3142 -- 3160}, year = {2016}, abstract = {We introduce a technique for the modeling and separation of geomagnetic field components that is based on an analysis of their correlation structures alone. The inversion is based on a Bayesian formulation, which allows the computation of uncertainties. The technique allows the incorporation of complex measurement geometries like observatory data in a simple way. We show how our technique is linked to other well-known inversion techniques. A case study based on observational data is given.}, language = {en} } @article{Benini2016, author = {Benini, Marco}, title = {Optimal space of linear classical observables for Maxwell k-forms via spacelike and timelike compact de Rham cohomologies}, series = {Journal of mathematical physics}, volume = {57}, journal = {Journal of mathematical physics}, publisher = {American Institute of Physics}, address = {Melville}, issn = {0022-2488}, doi = {10.1063/1.4947563}, pages = {1249 -- 1279}, year = {2016}, abstract = {Being motivated by open questions in gauge field theories, we consider non-standard de Rham cohomology groups for timelike compact and spacelike compact support systems. These cohomology groups are shown to be isomorphic respectively to the usual de Rham cohomology of a spacelike Cauchy surface and its counterpart with compact support. Furthermore, an analog of the usual Poincare duality for de Rham cohomology is shown to hold for the case with non-standard supports as well. We apply these results to find optimal spaces of linear observables for analogs of arbitrary degree k of both the vector potential and the Faraday tensor. The term optimal has to be intended in the following sense: The spaces of linear observables we consider distinguish between different configurations; in addition to that, there are no redundant observables. This last point in particular heavily relies on the analog of Poincare duality for the new cohomology groups. Published by AIP Publishing.}, language = {en} } @article{CattiauxFradonKuliketal.2016, author = {Cattiaux, Patrick and Fradon, Myriam and Kulik, Alexei M. and Roelly, Sylvie}, title = {Long time behavior of stochastic hard ball systems}, series = {Bernoulli : official journal of the Bernoulli Society for Mathematical Statistics and Probability}, volume = {22}, journal = {Bernoulli : official journal of the Bernoulli Society for Mathematical Statistics and Probability}, publisher = {International Statistical Institute}, address = {Voorburg}, issn = {1350-7265}, doi = {10.3150/14-BEJ672}, pages = {681 -- 710}, year = {2016}, abstract = {We study the long time behavior of a system of n = 2, 3 Brownian hard balls, living in R-d for d >= 2, submitted to a mutual attraction and to elastic collisions.}, language = {en} } @article{AcevedoReichCubasch2016, author = {Acevedo, Walter and Reich, Sebastian and Cubasch, Ulrich}, title = {Towards the assimilation of tree-ring-width records using ensemble Kalman filtering techniques}, series = {Climate dynamics : observational, theoretical and computational research on the climate system}, volume = {46}, journal = {Climate dynamics : observational, theoretical and computational research on the climate system}, publisher = {Springer}, address = {New York}, issn = {0930-7575}, doi = {10.1007/s00382-015-2683-1}, pages = {1909 -- 1920}, year = {2016}, abstract = {This paper investigates the applicability of the Vaganov-Shashkin-Lite (VSL) forward model for tree-ring-width chronologies as observation operator within a proxy data assimilation (DA) setting. Based on the principle of limiting factors, VSL combines temperature and moisture time series in a nonlinear fashion to obtain simulated TRW chronologies. When used as observation operator, this modelling approach implies three compounding, challenging features: (1) time averaging, (2) "switching recording" of 2 variables and (3) bounded response windows leading to "thresholded response". We generate pseudo-TRW observations from a chaotic 2-scale dynamical system, used as a cartoon of the atmosphere-land system, and attempt to assimilate them via ensemble Kalman filtering techniques. Results within our simplified setting reveal that VSL's nonlinearities may lead to considerable loss of assimilation skill, as compared to the utilization of a time-averaged (TA) linear observation operator. In order to understand this undesired effect, we embed VSL's formulation into the framework of fuzzy logic (FL) theory, which thereby exposes multiple representations of the principle of limiting factors. DA experiments employing three alternative growth rate functions disclose a strong link between the lack of smoothness of the growth rate function and the loss of optimality in the estimate of the TA state. Accordingly, VSL's performance as observation operator can be enhanced by resorting to smoother FL representations of the principle of limiting factors. This finding fosters new interpretations of tree-ring-growth limitation processes.}, language = {en} } @article{ShtrakovKoppitz2016, author = {Shtrakov, Slavcho and Koppitz, J{\"o}rg}, title = {Stable varieties of semigroups and groupoids}, series = {Algebra universalis}, volume = {75}, journal = {Algebra universalis}, publisher = {Springer}, address = {Basel}, issn = {0002-5240}, doi = {10.1007/s00012-015-0359-7}, pages = {85 -- 106}, year = {2016}, abstract = {The paper deals with Sigma-composition and Sigma-essential composition of terms which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids is obtained. We use an abstract reduction system which simplifies the presentations of terms of type tau - (2) to study the variety of idempotent groupoids and s-stable varieties of groupoids. S-stable varieties are a variation of stable varieties, used to highlight replacement of subterms of a term in a deductive system instead of the usual replacement of variables by terms.}, language = {en} } @article{GregoryCotterReich2016, author = {Gregory, A. and Cotter, C. J. and Reich, Sebastian}, title = {MULTILEVEL ENSEMBLE TRANSFORM PARTICLE FILTERING}, series = {SIAM journal on scientific computing}, volume = {38}, journal = {SIAM journal on scientific computing}, publisher = {Society for Industrial and Applied Mathematics}, address = {Philadelphia}, issn = {1064-8275}, doi = {10.1137/15M1038232}, pages = {A1317 -- A1338}, year = {2016}, abstract = {This paper extends the multilevel Monte Carlo variance reduction technique to nonlinear filtering. In particular, multilevel Monte Carlo is applied to a certain variant of the particle filter, the ensemble transform particle filter (EPTF). A key aspect is the use of optimal transport methods to re-establish correlation between coarse and fine ensembles after resampling; this controls the variance of the estimator. Numerical examples present a proof of concept of the effectiveness of the proposed method, demonstrating significant computational cost reductions (relative to the single-level ETPF counterpart) in the propagation of ensembles.}, language = {en} } @article{Menne2016, author = {Menne, Ulrich}, title = {Weakly Differentiable Functions on Varifolds}, series = {Indiana University mathematics journal}, volume = {65}, journal = {Indiana University mathematics journal}, publisher = {Indiana University, Department of Mathematics}, address = {Bloomington}, issn = {0022-2518}, doi = {10.1512/iumj.2016.65.5829}, pages = {977 -- 1088}, year = {2016}, abstract = {The present paper is intended to provide the basis for the study of weakly differentiable functions on rectifiable varifolds with locally bounded first variation. The concept proposed here is defined by means of integration-by-parts identities for certain compositions with smooth functions. In this class, the idea of zero boundary values is realised using the relative perimeter of superlevel sets. Results include a variety of Sobolev Poincare-type embeddings, embeddings into spaces of continuous and sometimes Holder-continuous functions, and point wise differentiability results both of approximate and integral type as well as coarea formulae. As a prerequisite for this study, decomposition properties of such varifolds and a relative isoperimetric inequality are established. Both involve a concept of distributional boundary of a set introduced for this purpose. As applications, the finiteness of the geodesic distance associated with varifolds with suitable summability of the mean curvature and a characterisation of curvature varifolds are obtained.}, language = {en} } @article{BomansonJanhunenSchaubetal.2016, author = {Bomanson, Jori and Janhunen, Tomi and Schaub, Torsten H. and Gebser, Martin and Kaufmann, Benjamin}, title = {Answer Set Programming Modulo Acyclicity}, series = {Fundamenta informaticae}, volume = {147}, journal = {Fundamenta informaticae}, publisher = {IOS Press}, address = {Amsterdam}, issn = {0169-2968}, doi = {10.3233/FI-2016-1398}, pages = {63 -- 91}, year = {2016}, abstract = {Acyclicity constraints are prevalent in knowledge representation and applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in the satisfiability modulo theories (SMT) framework, and in this paper we carry out an analogous extension to the answer set programming (ASP) paradigm. The resulting formalism, ASP modulo acyclicity, offers a rich set of primitives to express constraints related to recursive structures. In the technical results of the paper, we relate the new generalization with standard ASP by showing (i) how acyclicity extensions translate into normal rules, (ii) how weight constraint programs can be instrumented by acyclicity extensions to capture stability in analogy to unfounded set checking, and (iii) how the gap between supported and stable models is effectively closed in the presence of such an extension. Moreover, we present an efficient implementation of acyclicity constraints by incorporating a respective propagator into the state-of-the-art ASP solver CLASP. The implementation provides a unique combination of traditional unfounded set checking with acyclicity propagation. In the experimental part, we evaluate the interplay of these orthogonal checks by equipping logic programs with supplementary acyclicity constraints. The performance results show that native support for acyclicity constraints is a worthwhile addition, furnishing a complementary modeling construct in ASP itself as well as effective means for translation-based ASP solving.}, language = {en} } @article{TinpunKoppitz2016, author = {Tinpun, Kittisak and Koppitz, J{\"o}rg}, title = {Generating sets of infinite full transformation semigroups with restricted range}, series = {Acta scientiarum mathematicarum}, volume = {82}, journal = {Acta scientiarum mathematicarum}, publisher = {Institutum Bolyaianum Universitatis Szegediensis}, address = {Szeged}, issn = {0001-6969}, doi = {10.14232/actasm-015-502-4}, pages = {55 -- 63}, year = {2016}, abstract = {In the present paper, we consider minimal generating sets of infinite full transformation semigroups with restricted range modulo specific subsets. In particular, we determine relative ranks.}, language = {en} } @article{ZoellerHolschneider2016, author = {Z{\"o}ller, Gert and Holschneider, Matthias}, title = {The Maximum Possible and the Maximum Expected Earthquake Magnitude for Production-Induced Earthquakes at the Gas Field in Groningen, The Netherlands}, series = {Bulletin of the Seismological Society of America}, volume = {106}, journal = {Bulletin of the Seismological Society of America}, publisher = {Seismological Society of America}, address = {Albany}, issn = {0037-1106}, doi = {10.1785/0120160220}, pages = {2917 -- 2921}, year = {2016}, abstract = {The Groningen gas field serves as a natural laboratory for production-induced earthquakes, because no earthquakes were observed before the beginning of gas production. Increasing gas production rates resulted in growing earthquake activity and eventually in the occurrence of the 2012M(w) 3.6 Huizinge earthquake. At least since this event, a detailed seismic hazard and risk assessment including estimation of the maximum earthquake magnitude is considered to be necessary to decide on the future gas production. In this short note, we first apply state-of-the-art methods of mathematical statistics to derive confidence intervals for the maximum possible earthquake magnitude m(max). Second, we calculate the maximum expected magnitude M-T in the time between 2016 and 2024 for three assumed gas-production scenarios. Using broadly accepted physical assumptions and 90\% confidence level, we suggest a value of m(max) 4.4, whereas M-T varies between 3.9 and 4.3, depending on the production scenario.}, language = {en} }