Related papers: On the strong separation conjecture

This paper represents a step in our program towards the proof of the Pierce--Birkhoff conjecture. In the nineteen eighties J. Madden proved that the Pierce-Birkhoff conjecture for a ring A$is equivalent to a statement about an arbitrary…

Let R be a real closed field. The Pierce-Birkhoff conjecture says that any piecewise polynomial function f on R^n can be obtained from the polynomial ring R[x_1,...,x_n] by iterating the operations of maximum and minimum. The purpose of…

We will prove that the Pierce-Birkhoff Conjecture holds for non-singular two-dimensional affine real algebraic varieties over real closed fields, i.e., if W is such a variety, then every piecewise polynomial function on W can be written as…

This paper is a step in our program for proving the Piece-Birkhoff Conjecture for regular rings of any dimension (this would contain, in particular, the classical Pierce-Birkhoff conjecture which deals with polynomial rings over a real…

Let R denote the reals, and let h: R^n --> R be a continuous, piecewise-polynomial function. The Pierce-Birkhoff conjecture (1956) is that any such h is representable in the form sup_i inf_j f_{ij}, for some finite collection of polynomials…

We prove the Pierce--Birkhoff conjecture for splines, i.e., continuous piecewise polynomials of degree $d$ in $n$ variables on a hyperplane partition of $\mathbb{R}^n$, can be written as a finite lattice combination of polynomials. We will…

Motivated by the Pierce-Birkhoff conjecture, we launch an extension program for single variable expansivity theory. We study this notion under tuples of polynomials in the ring $\mathbb{R}[x_1,x_2,\ldots,x_n]$. As an application, we develop…

We approach a new proof of the strong Goldbach's conjecture for sufficiently large even integers by applying the Dirichlet's series. Using the Perron formula and the Residue Theorem in complex variable integration, one could show that any…

In a normed linear space X an element x is said to be orthogonal to another element y in the sense of Birkhoff-James, written as $ x \perp_{B}y, $ iff $ \| x \| \leq \| x + \lambda y \| $ for all scalars $ \lambda.$ We prove that a normed…

The paper extends Birkhoff's theorem on doubly stochastic matrices to some countable families of discrete probability spaces with nonempty intersections. We join every two elements lying in the same probability space by an edge and…

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

We introduce complex cones and associated projective gauges, generalizing a real Birkhoff cone and its Hilbert metric to complex vector spaces. We deduce a variety of spectral gap theorems in complex Banach spaces. We prove a dominated…

Let $\chi_{-f}$ be the odd quadratic Dirichlet character of conductor $f$, and let $\mathrm{m}(P)$ denote the Mahler measure of a polynomial $P$. In 1984, Chinburg conjectured that for any such $\chi_{-f}$ there exist an integral bivariate…

In this paper we present an unexpected link between the Factorial Conjecture and Furter's Rigidity Conjecture. The Factorial Conjecture in dimension $m$ asserts that if a polynomial $f$ in $m$ variables $X_i$ over $\C$ is such that ${\cal…

One of the equivalent formulations of the Kadison-Singer problem which was resolved in 2013 by Marcus, Spielman and Srivastava, is the "paving conjecture". Roughly speaking, the paving conjecture states that every positive semi-definite…

Let $\Sigma$ be a closed subset of $\mathbb{R}^ {n+1}$ which is parabolic Ahlfors-David regular and assume that $\Sigma$ satisfies a 2-sided corkscrew condition. Assume, in addition, that $\Sigma$ is either time-forwards Ahlfors-David…

Arthur Cohn's irreducibility criterion for polynomials with integer coefficients and its generalization connect primes to irreducibles, and integral bases to the variable $x$. As we follow this link, we find that these polynomials are ready…

A seminal theorem of Tverberg states that any set of $T(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Almost any collection of fewer points in…

This study focuses on defining normal and strictly convex structures within Menger cone PM-space. It also presents a shared fixed point theorem for the existence of two self-mappings constructed on a strictly convex probabilistic cone…

We consider the class of all homogeneous, possibly non-reduced, polynomials $f$ whose associated reduced projective divisor $D_{\text{red}} \subset \mathbb{P}^{n-1}$ has (at worst) quasi-homogeneous isolated singularities. In an arbitrary…