@article{HedayatMahmoudiSchulze2016, author = {Hedayat Mahmoudi, Mahdi and Schulze, Bert-Wolfgang}, title = {Corner boundary value problems}, series = {Asian-European journal of mathematics}, volume = {10}, journal = {Asian-European journal of mathematics}, number = {1}, publisher = {World Scientific}, address = {Singapore}, issn = {1793-5571}, doi = {10.1142/S1793557117500541}, pages = {45}, year = {2016}, abstract = {The paper develops some crucial steps in extending the first-order cone or edge calculus to higher singularity orders. We focus here on order 2, but the ideas are motivated by an iterative approach for higher singularities.}, language = {en} } @article{AntoniniAzzaliSkandalis2016, author = {Antonini, Paolo and Azzali, Sara and Skandalis, Georges}, title = {Bivariant K-theory with R/Z-coefficients and rho classes of unitary representations}, series = {Journal of functional analysis}, volume = {270}, journal = {Journal of functional analysis}, publisher = {Elsevier}, address = {San Diego}, issn = {0022-1236}, doi = {10.1016/j.jfa.2015.06.017}, pages = {447 -- 481}, year = {2016}, abstract = {We construct equivariant KK-theory with coefficients in and R/Z as suitable inductive limits over II1-factors. We show that the Kasparov product, together with its usual functorial properties, extends to KK-theory with real coefficients. Let Gamma be a group. We define a Gamma-algebra A to be K-theoretically free and proper (KFP) if the group trace tr of Gamma acts as the unit element in KKR Gamma (A, A). We show that free and proper Gamma-algebras (in the sense of Kasparov) have the (KFP) property. Moreover, if Gamma is torsion free and satisfies the KK Gamma-form of the Baum-Connes conjecture, then every Gamma-algebra satisfies (KFP). If alpha : Gamma -> U-n is a unitary representation and A satisfies property (KFP), we construct in a canonical way a rho class rho(A)(alpha) is an element of KKR/Z1,Gamma (A A) This construction generalizes the Atiyah-Patodi-Singer K-theory class with R/Z-coefficients associated to alpha. (C) 2015 Elsevier Inc. All rights reserved.}, language = {en} } @article{Kollosche2016, author = {Kollosche, David}, title = {Criticising with Foucault: towards a guiding framework for socio-political studies in mathematics education}, series = {Educational studies in mathematics : an international journal}, volume = {91}, journal = {Educational studies in mathematics : an international journal}, publisher = {Springer}, address = {Dordrecht}, issn = {0013-1954}, doi = {10.1007/s10649-015-9648-5}, pages = {73 -- 86}, year = {2016}, abstract = {Socio-political studies in mathematics education often touch complex fields of interaction between education, mathematics and the political. In this paper I present a Foucault-based framework for socio-political studies in mathematics education which may guide research in that area. In order to show the potential of such a framework, I discuss the potential and limits of Marxian ideology critique, present existing Foucault-based research on socio-political aspects of mathematics education, develop my framework and show its use in an outline of a study on socio-political aspects of calculation in the mathematics classroom.}, language = {en} } @article{NehringRaflerZessin2016, author = {Nehring, Benjamin and Rafler, Mathias and Zessin, Hans}, title = {Splitting-characterizations of the Papangelou process}, series = {Mathematische Nachrichten}, volume = {289}, journal = {Mathematische Nachrichten}, publisher = {Wiley-VCH}, address = {Weinheim}, issn = {0025-584X}, doi = {10.1002/mana.201400384}, pages = {85 -- 96}, year = {2016}, abstract = {For point processes we establish a link between integration-by-parts-and splitting-formulas which can also be considered as integration-by-parts-formulas of a new type. First we characterize finite Papangelou processes in terms of their splitting kernels. The main part then consists in extending these results to the case of infinitely extended Papangelou and, in particular, Polya and Gibbs processes. (C) 2015 WILEY-VCH Verlag GmbH \& Co. KGaA, Weinheim}, language = {en} } @article{KleinRosenberger2016, author = {Klein, Markus and Rosenberger, Elke}, title = {Agmon estimates for the difference of exact and approximate Dirichlet eigenfunctions for difference operators}, series = {Asymptotic analysis}, volume = {97}, journal = {Asymptotic analysis}, publisher = {IOS Press}, address = {Amsterdam}, issn = {0921-7134}, doi = {10.3233/ASY-151343}, pages = {61 -- 89}, year = {2016}, abstract = {We analyze a general class of difference operators H-epsilon = T-epsilon + V-epsilon on l(2)(((epsilon)Z)(d)), where V-epsilon is a multi-well potential and epsilon is a small parameter. We construct approximate eigenfunctions in neighbourhoods of the different wells and give weighted l(2)-estimates for the difference of these and the exact eigenfunctions of the associated Dirichlet-operators.}, language = {en} } @article{ZoellerHolschneider2016, author = {Z{\"o}ller, Gert and Holschneider, Matthias}, title = {The Earthquake History in a Fault Zone Tells Us Almost Nothing about m(max)}, series = {Seismological research letters}, volume = {87}, journal = {Seismological research letters}, publisher = {Seismological Society of America}, address = {Albany}, issn = {0895-0695}, doi = {10.1785/0220150176}, pages = {132 -- 137}, year = {2016}, abstract = {In the present study, we summarize and evaluate the endeavors from recent years to estimate the maximum possible earthquake magnitude m(max) from observed data. In particular, we use basic and physically motivated assumptions to identify best cases and worst cases in terms of lowest and highest degree of uncertainty of m(max). In a general framework, we demonstrate that earthquake data and earthquake proxy data recorded in a fault zone provide almost no information about m(max) unless reliable and homogeneous data of a long time interval, including several earthquakes with magnitude close to m(max), are available. Even if detailed earthquake information from some centuries including historic and paleoearthquakes are given, only very few, namely the largest events, will contribute at all to the estimation of m(max), and this results in unacceptably high uncertainties. As a consequence, estimators of m(max) in a fault zone, which are based solely on earthquake-related information from this region, have to be dismissed.}, 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{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{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{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} }