Related papers: Weihrauch Degrees, Omniscience Principles and Weak…
We deal with isomorphic Banach-Stone type theorems for closed subspaces of vector-valued continuous functions. Let $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}$. For $i=1,2$, let $E_i$ be a reflexive Banach space over $\mathbb{F}$ with a certain…
We consider the property of unique parallel decomposition modulo branching and weak bisimilarity. First, we show that infinite behaviours may fail to have parallel decompositions at all. Then, we prove that totally normed behaviours always…
A standard tool for classifying the complexity of equivalence relations on $\omega$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce…
We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_\delta$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to…
We study finite energy classes of quasiplurisubharmonic (qpsh) functions in the setting of toric compact K{\"a}hler manifolds. We characterize toric qpsh functions and give necessary and sufficient conditions for them to have finite…
We investigate whether there are inherent limits of parallelization in the (randomized) massively parallel computation (MPC) model by comparing it with the (sequential) RAM model. As our main result, we show the existence of hard functions…
With the extensive application of submodularity, its generalizations are constantly being proposed. However, most of them are tailored for special problems. In this paper, we focus on quasi-submodularity, a universal generalization, which…
We study properties of continuous semi-homogeneous operators of degree $k$ via various functions (e.g. measures of noncompactness) on all bounded subsets of a Banach space. We prove necessary and sufficient conditions for these functions to…
Clones of functions play a foundational role in both universal algebra and theoretical computer science. In this work, we introduce clone merge monoids (cm-monoids), a unifying one-sorted algebraic framework that integrates abstract clones,…
Given a Banach lattice $L,$ the space of lattice Lipschitz operators on $L$ has been introduced as a natural Lipschitz generalization of the linear notions of diagonal operator and multiplication operator on Banach function lattices. It is…
This paper shows that the basic logic induced by the parallel recurrence of Computability Logic is a proper superset of the basic logic induced by the branching recurrence. The latter is known to be precisely captured by the cirquent…
Let $(W,H,\mu)$ be the classical Wiener space where $H$ is the Cameron-Martin space which consists of the primitives of the elements of $L^2([0,1],\,dt)\otimes \R^d$, we denote by $L^2_a(\mu,H)$ the equivalence classes w.r.t. $dt\times…
In this thesis we will present and discuss various results pertaining to tiling problems and mathematical logic, specifically computability theory. We focus on Wang prototiles, as defined in [32]. We begin by studying Domino Problems, and…
Randomized parallel algorithms for many fundamental problems achieve optimal linear work in expectation, but upgrading this guarantee to hold with high probability (whp) remains a recurring theoretical challenge. In this paper, we address…
This paper studies simple bilevel problems, where a convex upper-level function is minimized over the optimal solutions of a convex lower-level problem. We first show the fundamental difficulty of simple bilevel problems, that the…
We consider operators T : M_0 -> Z and T : M -> Z, where Z is a Banach space and (M_0, M) is a pair of Banach spaces belonging to a general construction in which M is defined by a "big-O" condition and M_0 is given by the corresponding…
The main contribution of this paper is that every convex function with non-empty relative algebraic interior of its domain is Lipschitz and subdifferentiable in some algebraic sense without any additional topological constraints. The…
The question is addressed of when a Sobolev type space, built upon a general rearrangement-invariant norm, on an $n$-dimensional domain, is a Banach algebra under pointwise multiplication of functions. A sharp balance condition among the…
Pseudoentropy characterizations provide a quantitatively precise demonstration of the close relationship between computational hardness and computational randomness. We prove a unified pseudoentropy characterization that generalizes and…
We study numerical integration of functions $f: \mathbb{R}^{s} \to \mathbb{R}$ with respect to a probability measure. By applying the corresponding inverse cumulative distribution function, the problem is transformed into integrating an…