Related papers: Debreu's open gap lemma for semiorders
We generalize the notion of semi-universality in the classical deformation problems to the context of derived deformation theories. A criterion for a formal moduli problem to be semi-prorepresentable is produced. This can be seen as an…
We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…
Starting from the Colombeau's full generalized functions, the sharp topologies and the notion of generalized points, we introduce a new kind differential calculus (for functions between totally disconnected spaces). We study generalized…
A mixture preorder is a preorder on a mixture space (such as a convex set) that is compatible with the mixing operation. In decision theoretic terms, it satisfies the central expected utility axiom of strong independence. We consider when a…
Consensus is a well-studied problem in distributed sensing, computation and control, yet deriving useful and easily computable bounds on the rate of convergence to consensus remains a challenge. This paper discusses the use of seminorms for…
We study a semidefinite programming relaxation of the traveling salesman problem introduced by de Klerk, Pasechnik, and Sotirov [8] and show that their relaxation has an unbounded integrality gap. In particular, we give a family of…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
The first known continuous extension result was obtained by Lebesgue in 1907. In 1915, Tietze published his famous extension theorem generalising Lebesgue's result from the plane to general metric spaces. He constructed the extension by an…
Open sets are central to mathematics, especially analysis and topology, in ways few notions are. In most, if not all, computational approaches to mathematics, open sets are only studied indirectly via their 'codes' or 'representations'. In…
We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…
In this note, as a particular case of a more general result, we obtain the following theorem: Let $\Omega\subseteq {\bf R}^n$ be a non-empty bounded open set and let $f:\overline {\Omega}\to {\bf R}^n$ be a continuous function which is…
We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem proving. Our main motivation is to provide the foundation for our…
The bounded gaps property of the prime numbers, as proven by Yitang Zhang, is considered for sequences of lengths of closed geodesics, which by the theory of Selberg zeta functions are the geometric analogue of the prime numbers. It turns…
The notion of an open collar is generalized to that of a pseudo-collar. Important properties and examples are discussed. The main result gives conditions which guarantee the existence of a pseudo-collar structure on the end of an open…
A basic result in the elementary theory of continued fractions says that two real numbers share the same tail in their continued fraction expansions iff they belong to the same orbit under the projective action of PGL(2,Z). This result was…
We consider the first eigenvalues of the polyharmonic, Lam\'e and Stokes operators with Dirichlet boundary conditions on sets of given finite measure. It is shown that a quasi-open set for which this eigenvalue is minimal is open. This…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
The aim of this short note is to give an alternative proof, which applies to functions of bounded variation in arbitrary domains, of an inequality by Maz'ya that improves Friedrichs inequality. A remarkable feature of such a proof is that…
We show that the functions g and gs introduced by Guo Wuwen in [4] are continuous and semialgebraic. We use this fact to prove that the set Nn of ordered n-tuples of real numbers, realizable by nonnegative matrices, is a closed set.
Suppose that some harmonic analysis arguments have been invoked to show that the indicator function of a set of residue classes modulo some integer has a large Fourier coefficient. To get information about the structure of the set of…