Related papers: Borel-piecewise continuous reducibility for unifor…
One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the…
Higher order conformal perturbation theory is studied for theories with and without boundaries. We identify systematically the universal quantities in the beta function equations, and we give explicit formulae for the universal coefficients…
We give, for each non self-dual Wadge class C contained in the class of the Gdelta sets, a characterization of Borel sets which are not potentially in C, among Borel sets with countable vertical sections; to do this, we use results of…
The vector-matrix Riemann boundary value problem for the unit disk with piecewise constant matrix is constructively solved by a method of functional equations. By functional equations we mean iterative functional equations with shifts…
The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce. A rich variety of such…
In this paper we study iterative algorithms for finding a common element of the set of fixed points of $\kappa$-strict pseudocontractions or finding a solution of a variational inequality problem for a monotone, Lipschitz continuous…
We demonstrate that the Weihrauch lattice can be used to classify the uniform computational content of computability-theoretic properties as well as the computational content of theorems in one common setting. The properties that we study…
This paper studies first-order algorithms for solving fully composite optimization problems over convex and compact sets. We leverage the structure of the objective by handling its differentiable and non-differentiable components…
We investigate the partitioning of partial orders into a minimal number of heapable subsets. We prove a characterization result reminiscent of the proof of Dilworth's theorem, which yields as a byproduct a flow-based algorithm for computing…
The notion of computability closure has been introduced for proving the termination of the combination of higher-order rewriting and beta-reduction. It is also used for strengthening the higher-order recursive path ordering. In the present…
We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results…
Several techniques were proposed to model the Piecewise linear (PWL) functions, including convex combination, incremental and multiple choice methods. Although the incremental method was proved to be very efficient, the attention of the…
We study the problem of minimizing a nonnegative separable concave function over a compact feasible set. We approximate this problem to within a factor of 1+epsilon by a piecewise-linear minimization problem over the same feasible set. Our…
In this paper we compute the Hausdorff distance between sets of continuous curves and sets of piecewise constant or linear discretizations. These sets are Sobolev balls given by the continuous or discrete $L^p$-norm of the derivatives. We…
Continuing the study initiated in our earlier article [7], this paper aims to characterize various continuity properties of nonlinear composition operators acting on some sequence spaces, giving special attention to the space of sequences…
We investigate partial functions and computability theory from within a constructive, univalent type theory. The focus is on placing computability into a larger mathematical context, rather than on a complete development of computability…
We generalize the Bartsch-Li's splitting lemma at infinity for $C^2$-functionals in [2] and some later variants of it to a class of continuously directional differentiable functionals on Hilbert spaces. Different from the previous flow…
We show that a circle and square of the same area in $\mathbb{R}^2$ are equidecomposable by translations using $\mathbf{\Delta}^0_2$ pieces. That is, pieces which are simultaneously $F_\sigma$ and $G_\delta$ sets. This improves a result of…
In this self-contained paper, we present a theory of the piecewise linear minimal valid functions for the 1-row Gomory-Johnson infinite group problem. The non-extreme minimal valid functions are those that admit effective perturbations. We…
The goal of this paper is to introduce and study some geometric properties of slice regular functions of quaternion variable like univalence, subordination, starlikeness, convexity and spirallikeness in the unit ball. We prove a number of…