Related papers: Debreu's open gap lemma for semiorders

In this paper we study the existence of continuous solutions and their constructions for a second order iterative functional equation, which involves iterate of the unknown function and a nonlinear term. Imposing Lipschitz conditions to…

Eremenko and Lyubich proved that an entire function whose set of singular values is bounded is expanding at points where its image has large modulus. These expansion properties have been at the centre of the subsequent study of this class…

Semidefinite programs (SDPs) are a framework for exact or approximate optimization that have widespread application in quantum information theory. We introduce a new method for using reductions to construct integrality gaps for SDPs. These…

Fagin defined the class $NP$ by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-Order logic (SNP), while the authors used forbidden expanded…

This paper presents six theorems and ten propositions that can be read as deconstructing and integrating the continuity postulate under the rubric of pioneering work of Eilenberg, Wold, von Neumann-Morgenstern, Herstein-Milnor and Debreu.…

We formulate a multi-valued version of the Tietze-Urysohn extension theorem. Precisely, we prove that any upper semicontinuous multi-valued map with nonempty closed convex values defined on a closed subset (resp. closed perfectly normal…

Let $s\in(0,1),$ $1<p<\frac{N}{s}$ and $\Omega\subset\mathbb{R}^N$ be an open bounded set. In this work we study the existence of solutions to problems ($E_\pm$) $Lu\pm g(u)=\mu$ and $u=0$ a.e. in $\mathbb{R}^N\setminus\Omega,$ where $g\in…

Let (M,\mu) be a sigma-finite measure space. Let (T_t) be a semigroup of positive preserving maps on (M,\mu) with standard assumptions. We prove a H_1-BMO duality theory with assumptions only on T_t. The BMO is defined as spaces of…

We give an extension to a nonconvex setting of the classical radial representation result for lower semicontinuous envelope of a convex function on the boundary of its effective domain. We introduce the concept of radial uniform upper…

A theorem of W. Derrick ensures that the volume of any Riemannian cube $([0,1]^n,g)$ is bounded below by the product of the distances between opposite codimension-1 faces. In this paper, we establish a discrete analog of Derrick's…

Let $X$ be an arbitrary set. Then a topology $t$ on $X$ is said to be completely useful if every upper semicontinuous linear (total) preorder $\precsim$ on $X$ can be represented by an upper semicontinuous real-valued order preserving…

A group has normal rank (or weight) greater than one if no single element normally generates the group. The Wiegold problem from 1976 asks about the existence of a finitely generated perfect group of normal rank greater than one. We show…

In this paper, we investigate and find a necessary and sufficient condition for a function to be absolutely continuous over $\mathbb{R}$ (denoted by $AC(\mathbb{R})$) or any unbounded interval in $\mathbb{R}$ . Note that the Lebesgue's…

We study how maximal regularity estimates with respect to the continuous functions improve automatically in cases where the spatial norm is fundamentally different from the supremum norm. More precisely, we invoke properties such as weak…

The concept of Hausdorff continuous interval valued functions, developed within the theory of Hausdorff approximations and originaly defined for interval valued functions of one real variable is extended to interval valued functions defined…

Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebraic proofs lead to conjecturally optimal polynomial-time…

Let $A$ be a commutative unital $\mathbb{R}$-algebra and let $\rho$ be a seminorm on $A$ which satisfies $\rho(ab)\leq\rho(a)\rho(b)$. We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$-module $S$ of $A$…

The problem is considered as to whether a monotone function defined on a subset P of a Euclidean space can be strictly monotonically extended to the whole space. It is proved that this is the case if and only if the function is {\em…

We study decay rates for bounded $C_0$-semigroups from the perspective of $L^p$-infinite-time admissibility and related resolvent estimates. In the Hilbert space setting, polynomial decay of semigroup orbits is characterized by the…

The Constant Degree Hypothesis was introduced by Barrington et. al. (1990) to study some extensions of $q$-groups by nilpotent groups and the power of these groups in a certain computational model. In its simplest formulation, it…