TY - JOUR A1 - Pornsawad, Pornsarp A1 - Böckmann, Christine T1 - Modified Iterative Runge-Kutta-Type Methods for Nonlinear Ill-Posed Problems JF - Numerical functional analysis and optimization : an international journal of rapid publication N2 - This work is devoted to the convergence analysis of a modified Runge-Kutta-type iterative regularization method for solving nonlinear ill-posed problems under a priori and a posteriori stopping rules. The convergence rate results of the proposed method can be obtained under a Holder-type sourcewise condition if the Frechet derivative is properly scaled and locally Lipschitz continuous. Numerical results are achieved by using the Levenberg-Marquardt, Lobatto, and Radau methods. KW - Nonlinear ill-posed problems KW - Runge-Kutta methods KW - regularization methods KW - Holder-type source condition KW - stopping rules Y1 - 2016 U6 - https://doi.org/10.1080/01630563.2016.1219744 SN - 0163-0563 SN - 1532-2467 VL - 37 SP - 1562 EP - 1589 PB - Wiley-VCH CY - Philadelphia ER - TY - JOUR A1 - Chang, D. -C. A1 - Viahmoudi, M. Hedayat A1 - Schulze, Bert-Wolfgang T1 - PSEUDO-DIFFERENTIAL ANALYSIS WITH TWISTED SYMBOLIC STRUCTURE JF - Journal of nonlinear and convex analysis : an international journal N2 - This paper is devoted to pseudo-differential operators and new applications. We establish necessary extensions of the standard calculus to specific classes of operator-valued symbols occurring in principal symbolic hierarchies of operators on manifolds with singularities or stratified spaces. KW - Pseudo-differential operators KW - boundary value problems KW - operator valued symbols KW - Fourier transform Y1 - 2016 SN - 1345-4773 SN - 1880-5221 VL - 17 SP - 1889 EP - 1937 PB - Yokohama Publishers CY - Yokohama ER - TY - JOUR A1 - Blanchard, Gilles A1 - Flaska, Marek A1 - Handy, Gregory A1 - Pozzi, Sara A1 - Scott, Clayton T1 - Classification with asymmetric label noise: Consistency and maximal denoising JF - Electronic journal of statistics N2 - In many real-world classification problems, the labels of training examples are randomly corrupted. Most previous theoretical work on classification with label noise assumes that the two classes are separable, that the label noise is independent of the true class label, or that the noise proportions for each class are known. In this work, we give conditions that are necessary and sufficient for the true class-conditional distributions to be identifiable. These conditions are weaker than those analyzed previously, and allow for the classes to be nonseparable and the noise levels to be asymmetric and unknown. The conditions essentially state that a majority of the observed labels are correct and that the true class-conditional distributions are "mutually irreducible," a concept we introduce that limits the similarity of the two distributions. For any label noise problem, there is a unique pair of true class-conditional distributions satisfying the proposed conditions, and we argue that this pair corresponds in a certain sense to maximal denoising of the observed distributions. Our results are facilitated by a connection to "mixture proportion estimation," which is the problem of estimating the maximal proportion of one distribution that is present in another. We establish a novel rate of convergence result for mixture proportion estimation, and apply this to obtain consistency of a discrimination rule based on surrogate loss minimization. Experimental results on benchmark data and a nuclear particle classification problem demonstrate the efficacy of our approach. KW - Classification KW - label noise KW - mixture proportion estimation KW - surrogate loss KW - consistency Y1 - 2016 U6 - https://doi.org/10.1214/16-EJS1193 SN - 1935-7524 VL - 10 SP - 2780 EP - 2824 PB - Institute of Mathematical Statistics CY - Cleveland ER - TY - JOUR A1 - Levy, Cyril A1 - Jimenez, Carolina Neira A1 - Paycha, Sylvie T1 - THE CANONICAL TRACE AND THE NONCOMMUTATIVE RESIDUE ON THE NONCOMMUTATIVE TORUS JF - Transactions of the American Mathematical Society N2 - Using a global symbol calculus for pseudodifferential operators on tori, we build a canonical trace on classical pseudodifferential operators on noncommutative tori in terms of a canonical discrete sum on the underlying toroidal symbols. We characterise the canonical trace on operators on the noncommutative torus as well as its underlying canonical discrete sum on symbols of fixed (resp. any) noninteger order. On the grounds of this uniqueness result, we prove that in the commutative setup, this canonical trace on the noncommutative torus reduces to Kontsevich and Vishik's canonical trace which is thereby identified with a discrete sum. A similar characterisation for the noncommutative residue on noncommutative tori as the unique trace which vanishes on trace-class operators generalises Fathizadeh and Wong's characterisation in so far as it includes the case of operators of fixed integer order. By means of the canonical trace, we derive defect formulae for regularized traces. The conformal invariance of the $ \zeta $-function at zero of the Laplacian on the noncommutative torus is then a straightforward consequence. Y1 - 2016 U6 - https://doi.org/10.1090/tran/6369 SN - 0002-9947 SN - 1088-6850 VL - 368 SP - 1051 EP - 1095 PB - American Mathematical Soc. CY - Providence ER - TY - JOUR A1 - Tarkhanov, Nikolai Nikolaevich T1 - Deformation quantization and boundary value problems JF - International journal of geometric methods in modern physics : differential geometery, algebraic geometery, global analysis & topology N2 - We describe a natural construction of deformation quantization on a compact symplectic manifold with boundary. On the algebra of quantum observables a trace functional is defined which as usual annihilates the commutators. This gives rise to an index as the trace of the unity element. We formulate the index theorem as a conjecture and examine it by the classical harmonic oscillator. KW - Symplectic manifold KW - star product KW - trace KW - index Y1 - 2016 U6 - https://doi.org/10.1142/S0219887816500079 SN - 0219-8878 SN - 1793-6977 VL - 13 SP - 176 EP - 195 PB - World Scientific CY - Singapore ER - TY - JOUR A1 - Eichmair, Michael A1 - Metzger, Jan T1 - JENKINS-SERRIN-TYPE RESULTS FOR THE JANG EQUATION JF - Journal of differential geometry N2 - Let (M, g, k) be an initial data set for the Einstein equations of general relativity. We show that a canonical solution of the Jang equation exists in the complement of the union of all weakly future outer trapped regions in the initial data set with respect to a given end, provided that this complement contains no weakly past outer trapped regions. The graph of this solution relates the area of the horizon to the global geometry of the initial data set in a non-trivial way. We prove the existence of a Scherk-type solution of the Jang equation outside the union of all weakly future or past outer trapped regions in the initial data set. This result is a natural exterior analogue for the Jang equation of the classical Jenkins Serrin theory. We extend and complement existence theorems [19, 20, 40, 29, 18, 31, 11] for Scherk-type constant mean curvature graphs over polygonal domains in (M, g), where (M, g) is a complete Riemannian surface. We can dispense with the a priori assumptions that a sub solution exists and that (M, g) has particular symmetries. Also, our method generalizes to higher dimensions. Y1 - 2016 U6 - https://doi.org/10.4310/jdg/1453910454 SN - 0022-040X SN - 1945-743X VL - 102 SP - 207 EP - 242 PB - International Press of Boston CY - Somerville ER - TY - JOUR A1 - Shtrakov, Slavcho A1 - Koppitz, Jörg T1 - Stable varieties of semigroups and groupoids JF - Algebra universalis N2 - 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. KW - composition of terms KW - essential position in terms KW - stable variety Y1 - 2016 U6 - https://doi.org/10.1007/s00012-015-0359-7 SN - 0002-5240 SN - 1420-8911 VL - 75 SP - 85 EP - 106 PB - Springer CY - Basel ER - TY - JOUR A1 - Acevedo, Walter A1 - Reich, Sebastian A1 - Cubasch, Ulrich T1 - Towards the assimilation of tree-ring-width records using ensemble Kalman filtering techniques JF - Climate dynamics : observational, theoretical and computational research on the climate system N2 - 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. KW - Proxy forward modeling KW - Data assimilation KW - Fuzzy logic KW - Ensemble Kalman filter KW - Paleoclimate reconstruction Y1 - 2016 U6 - https://doi.org/10.1007/s00382-015-2683-1 SN - 0930-7575 SN - 1432-0894 VL - 46 SP - 1909 EP - 1920 PB - Springer CY - New York ER - TY - JOUR A1 - Hack, Thomas-Paul A1 - Hanisch, Florian A1 - Schenkel, Alexander T1 - Supergeometry in Locally Covariant Quantum Field Theory JF - Communications in mathematical physics N2 - In this paper we analyze supergeometric locally covariant quantum field theories. We develop suitable categories SLoc of super-Cartan supermanifolds, which generalize Lorentz manifolds in ordinary quantum field theory, and show that, starting from a few representation theoretic and geometric data, one can construct a functor U : SLoc -> S*Alg to the category of super-*-algebras, which can be interpreted as a non-interacting super-quantum field theory. This construction turns out to disregard supersymmetry transformations as the morphism sets in the above categories are too small. We then solve this problem by using techniques from enriched category theory, which allows us to replace the morphism sets by suitable morphism supersets that contain supersymmetry transformations as their higher superpoints. We construct superquantum field theories in terms of enriched functors eU : eSLoc -> eS*Alg between the enriched categories and show that supersymmetry transformations are appropriately described within the enriched framework. As examples we analyze the superparticle in 1 vertical bar 1-dimensions and the free Wess-Zumino model in 3 vertical bar 2-dimensions. Y1 - 2016 U6 - https://doi.org/10.1007/s00220-015-2516-4 SN - 0010-3616 SN - 1432-0916 VL - 342 SP - 615 EP - 673 PB - Springer CY - New York ER - TY - JOUR A1 - Schroeter, M-A A1 - Ritter, M. A1 - Holschneider, Matthias A1 - Sturm, H. T1 - Enhanced DySEM imaging of cantilever motion using artificial structures patterned by focused ion beam techniques JF - Journal of micromechanics and microengineering N2 - We use a dynamic scanning electron microscope (DySEM) to map the spatial distribution of the vibration of a cantilever beam. The DySEM measurements are based on variations of the local secondary electron signal within the imaging electron beam diameter during an oscillation period of the cantilever. For this reason, the surface of a cantilever without topography or material variation does not allow any conclusions about the spatial distribution of vibration due to a lack of dynamic contrast. In order to overcome this limitation, artificial structures were added at defined positions on the cantilever surface using focused ion beam lithography patterning. The DySEM signal of such high-contrast structures is strongly improved, hence information about the surface vibration becomes accessible. Simulations of images of the vibrating cantilever have also been performed. The results of the simulation are in good agreement with the experimental images. KW - FIB patterning KW - structured cantilever KW - AFM KW - modal analysis KW - DySEM Y1 - 2016 U6 - https://doi.org/10.1088/0960-1317/26/3/035010 SN - 0960-1317 SN - 1361-6439 VL - 26 PB - IOP Publ. Ltd. CY - Bristol ER -