English
Related papers

Related papers: Debreu's open gap lemma for semiorders

200 papers

We prove a structure theorem for multiplicative functions which states that an arbitrary bounded multiplicative function can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm…

Number Theory · Mathematics 2016-01-27 Nikos Frantzikinakis , Bernard Host

Swierczkowski's Lemma - as it is usually formulated - asserts that if f is an at least quaternary operation on a finite set A and every operation obtained from f by identifying a pair of variables is a projection, then f is a…

Combinatorics · Mathematics 2016-11-22 Miguel Couceiro , Erkko Lehtonen

This paper contains the details and complete proofs of our earlier announcement in math.AG/9907004 . We construct a general semiregularity map for algebraic cycles as asked for by S. Bloch in 1972. The existence of such a semiregularity map…

Algebraic Geometry · Mathematics 2007-05-23 Ragnar-Olaf Buchweitz , Hubert Flenner

In this paper, we prove common fixed point results for a self-mappings satisfying an implicit function which is general enough to cover a multitude of known as well as unknown contractions. Our results modify, unify, extend and generalize…

Functional Analysis · Mathematics 2017-01-03 Mohammad Imdad , Rqeeb Gubran , Md Ahmadullah

For most purposes, one can replace the use of Rolle's theorem and the mean value theorem, which are not constructively valid, by the law of bounded change. The proof of two basic results in numerical analysis, the error term for Lagrange…

Numerical Analysis · Mathematics 2012-12-07 Thierry Coquand , Bas Spitters

It is known that there is no finitely presented group for which the Dehn function lies asymptotically strictly between linear and quadratic functions. This work presents an example of a semigroup that has Dehn function equivalent to $n \log…

Group Theory · Mathematics 2024-04-29 Roman Repeev

A famous conjecture of Graham asserts that every set $A \subseteq \mathbb{Z}_p \setminus \{0\}$ can be ordered so that all partial sums are distinct. Bedert and Kravitz proved that this statement holds whenever $|A| \leq e^{c(\log…

Combinatorics · Mathematics 2025-08-20 Simone Costa , Stefano Della Fiore , Eva R. Engel

We study interactions between Skolem Arithmetic and certain classes of Constraint Satisfaction Problems (CSPs). We revisit results of Glass er et al. in the context of CSPs and settle the major open question from that paper, finding a…

Computational Complexity · Computer Science 2015-04-17 Christian Glasser , Peter Jonsson , Barnaby Martin

Lemma 1 from the paper [N.E. Gretsky, J.M. Ostroy, W.R. Zame, Subdifferentiability and the duality gap, Positivity 6: 261--274, 2002] asserts that the value function $v$ of an infinite dimensional linear programming problem in standard form…

Optimization and Control · Mathematics 2022-05-20 C. Zalinescu

We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…

Logic · Mathematics 2024-12-12 Emmanuel Rauzy

This paper studies ways to represent an ordered topological vector space as a space of continuous functions, extending the classical representation theorems of Kadison and Schaefer. Particular emphasis is put on the class of semisimple…

Functional Analysis · Mathematics 2020-09-25 Josse van Dobben de Bruyn

There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the…

Algebraic Geometry · Mathematics 2024-02-21 Arthur Bik , Jan Draisma , Rob Eggermont , Andrew Snowden

Let $S$ be a semigroup, $\Lambda$ a non-empty set and $P$ a mapping of $\Lambda$ into $S$. The set $S\times \Lambda$ together with the operation $\circ _P$ defined by $(s, \lambda)\circ _P(t, \mu )=(sP(\lambda)t, \mu )$ form a semigroup…

Group Theory · Mathematics 2015-10-20 Attila Nagy

The Bloch-Landau Theorem is one of the basic results in the geometric theory of holomorphic functions. It establishes that the image of the open unit disc $\mathbb{D}$ under a holomorphic function $f$ (such that $f(0)=0$ and $f'(0)=1$)…

Complex Variables · Mathematics 2014-04-14 Chiara Della Rocchetta , Graziano Gentili , Giulia Sarfatti

Let G be a finite graph with the non-k-order property (essentially, a uniform finite bound on the size of an induced sub-half-graph). A major result of the paper applies model-theoretic arguments to obtain a stronger version of…

Logic · Mathematics 2015-08-20 M. Malliaris , S. Shelah

In this paper we give a detailed measure theoretical analysis of what we call sum-level sets for regular continued fraction expansions. The first main result is to settle a recent conjecture of Fiala and Kleban, which asserts that the…

Dynamical Systems · Mathematics 2014-06-16 Marc Kesseböhmer , Bernd O. Stratmann

The main result of the paper is an extension of the Dirichlet problem from (closures of) bounded open domains U to arbitrary compact subsets X of the complex plane, i.e. the closure of the corresponding space of functions which are harmonic…

Operator Algebras · Mathematics 2014-05-14 Ulrich Haag

We investigate gaps of $n$-term arithmetic progressions $x, x+y, \ldots, x+(n-1)y$ inside a positive measure subset $A$ of the unit cube $[0,1]^d$. If lengths of their gaps $y$ are evaluated in the $\ell^p$-norm for any $p$ other than $1,…

Classical Analysis and ODEs · Mathematics 2022-04-27 Polona Durcik , Vjekoslav Kovač

A function between two metric spaces is said to be totally bounded regular if it preserves totally bounded sets. These functions need not be continuous in general. Hence the purpose of this article is to study such functions vis-\'a-vis…

Functional Analysis · Mathematics 2020-12-14 Lipsy Gupta , S. Kundu

For a real set $A$ consider the semigroup $S(A)$, additively generated by $A$; that is, the set of all real numbers representable as a (finite) sum of elements of $A$. If $A \subset (0,1)$ is open and non-empty, then $S(A)$ is easily seen…

Number Theory · Mathematics 2009-11-30 Vsevolod F. Lev