Related papers: Computing the exponent of a Lebesgue space
We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $\Omega$ is a nonzero, non-atomic, and separable measure space, then every…
This paper is concerned with the Cauchy-Dirichlet problem for a doubly nonlinear parabolic equation involving variable exponents and provides some theorems on existence and regularity of strong solutions. In the proof of these results, we…
Our aim in this paper is to characterize local Muckenhoupt weighted Lebesgue spaces with variable exponent by compactly supported smooth wavelets. We also investigate necessary and sufficient conditions for the corresponding modular…
For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect…
In this paper, we study the Lebesgue structure of the distribution of a random variable given in terms of a continued fraction with a two-symbol alphabet $\{\frac{1}{2}, 1\}$, also known as $A_2$-fractions. We establish necessary and…
We investigate the connection between measure and capacity for the space of nonempty closed subsets of {0,1}*. For any computable measure, a computable capacity T may be defined by letting T(Q) be the measure of the family of closed sets…
A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…
We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…
We prove the existence of subspace designs with any given parameters, provided that the dimension of the underlying space is sufficiently large in terms of the other parameters of the design and satisfies the obvious necessary divisibility…
Two-weight norm estimates for the double Hardy transforms and strong fractional maximal functions are established in variable exponent Lebesgue spaces. Derived conditions are simultaneously necessary and sufficient in the case when the…
We obtain upper bounds on the number of finite sets $\mathcal S$ of primes below a given bound for which various $2$ variable $\mathcal S$-unit equations have a solution.
We present a necessary and sufficient condition for a finite-dimensional highest weight representation of the $sl_2$ loop algebra to be irreducible. In particular, for a highest weight representation with degenerate parameters of the…
Motivated by recent advances in solution methods for mixed-integer convex optimization (MICP), we study the fundamental and open question of which sets can be represented exactly as feasible regions of MICP problems. We establish several…
For any finite group G it is an interesting question to ask which ordinary irreducible representations of G remain irreducible in a given characteristic p. We answer this question for p=2 when G is the proper double cover of the alternating…
Consider the space of two dimensional random linear cocycles over a shift in finitely many symbols, with at least one singular and one invertible matrix. We provide an explicit formula for the unique stationary measure associated to such…
We consider the dimensions of finite type of representations of a partially ordered set, i.e. such that there is only finitely many isomorphism classes of representations of this dimension. We give a criterion for a dimension to be of…
A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based computations. Conversely, by the Weierstrass Approximation Theorem, every continuous f:[0,1]->R is computable relative to…
In computable analysis typically topological spaces with countable bases are considered. The Theorem of Kreitz-Weihrauch implies that the subbase representation of a second-countable $T_0$ space is admissible with respect to the topology…
Assuming the obvious definitions (see paper) we show the a decidable model that is effectively prime is also effectively atomic. This implies that two effectively prime (decidable) models are computably isomorphic. This is in contrast to…
We discuss irreducible highest weight representations of the sl(2) loop algebra and reducible indecomposable ones in association with the sl(2) loop algebra symmetry of the six-vertex model at roots of unity. We formulate an elementary…