English
Related papers

Related papers: Simplicial and Conical Decomposition of Positively…

200 papers

In this paper we generalize the factorization theorem of Gouveia, Parrilo and Thomas to a broader class of convex sets. Given a general convex set, we define a slack operator associated to the set and its polar according to whether the…

Optimization and Control · Mathematics 2015-01-05 Chu Wang , Lihong Zhi

Each positive rational number x>0 can be written uniquely as x=a/(b-a) for coprime positive integers 0<a<b. We will identify x with the pair (a,b). In this paper we define for each positive rational x>0 a simplicial complex…

Combinatorics · Mathematics 2013-06-03 Drew Armstrong , Brendon Rhoades , Nathan Williams

We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global…

Algebraic Geometry · Mathematics 2019-08-07 J. H. Davenport , A. F. Locatelli , G. K. Sankaran

Let $P$ be a set of $n$ points in general position on the plane. A set of closed convex polygons with vertices in $P$, and with pairwise disjoint interiors is called a convex decomposition of $P$ if their union is the convex hull of $P$,…

Combinatorics · Mathematics 2019-09-16 Toshinori Sakai , Jorge Urrutia

We prove that cocompact arithmetic lattices in a simple Lie group are uniformly discrete if and only if the Salem numbers are uniformly bounded away from $1$. We also prove an analogous result for semisimple Lie groups. Finally, we shed…

Geometric Topology · Mathematics 2022-07-07 Mikolaj Fraczyk , Lam L. Pham

We consider the smallest subring $D$ of $\mathbb{R}(X)$ containing every element of the form $1/(1+x^2)$, with $x\in \mathbb{R}(X)$. $D$ is a Pr\"ufer domain called the minimal Dress ring of $\mathbb{R}(X)$. In this paper, addressing a…

Commutative Algebra · Mathematics 2023-12-14 Laura Cossu

A subset $E$ of a metric space $X$ is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $\mathbb{R}^n$ for some $n$, sending $E$ to a starlike set. A subset $E\subset X$ is said to be recursively…

Geometric Topology · Mathematics 2024-05-13 Jeffrey Meier , Patrick Orson , Arunima Ray

Fix positive integers $n,r,d$. We show that if $n,r,d$ satisfy a suitable inequality, then any smooth hypersurface $X\subset \mathbb{P}^n$ defined over a finite field of characteristic $p$ sufficiently large contains a rational $r$-plane.…

Algebraic Geometry · Mathematics 2021-11-23 María Inés de Frutos Fernández , Sumita Garai , Kelly Isham , Takumi Murayama , Geoffrey Smith

Let $\PP^d$ be the $d$-fold direct product of the set of primes. We prove that if $A$ is a subset of $\PP^d$ of positive relative upper density then $A$ contains infinitely many "corners", that is sets of the form $\{x,x+te_1,...,x+te_d\}$…

Number Theory · Mathematics 2013-06-14 Ákos Magyar , Tatchai Titichetrakun

Positive spanning sets (PSSs) are families of vectors that span a given linear space through non-negative linear combinations. Despite certain classes of PSSs being well understood, a complete characterization of PSSs remains elusive. In…

Discrete Mathematics · Computer Science 2025-04-16 Denis Cornaz , Sébastien Kerleau , Clément W. Royer

Implicational bases are a well-known representation of closure spaces and their closure lattices. This representation is not unique, though, and a closure space usually admits multiple bases. Among these, the canonical base, the canonical…

Combinatorics · Mathematics 2025-09-03 Kira Adaricheva , Simon Vilmin

It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic…

Combinatorics · Mathematics 2015-10-20 Stuart Margolis , John Rhodes , Pedro V. Silva

A minimal separating set in a connected topological space $X$ is a subset $L \subset X$ with the property that $X \setminus L$ is disconnected, but if $L^{\prime}$ is a proper subset of $L$, then $X \setminus L^{\prime}$ is connected. Such…

Combinatorics · Mathematics 2025-07-17 Christopher N. Aagaard , J. J. P. Veerman

This paper studies the problem of decomposing a low-rank positive-semidefinite matrix into symmetric factors with binary entries, either $\{\pm 1\}$ or $\{0,1\}$. This research answers fundamental questions about the existence and…

Data Structures and Algorithms · Computer Science 2019-08-01 Richard Kueng , Joel A. Tropp

Let $\mathcal M=\langle M, <, +, \dots\rangle$ be an o-minimal expansion of an ordered group, and $P\subseteq M$ a dense set such that certain tameness conditions hold. We introduce the notion of a `product cone' in $\widetilde{\mathcal…

Logic · Mathematics 2017-08-15 Pantelis E. Eleftheriou

We provide a multidimensional extension of previous results on the existence of polynomial progressions in dense subsets of the primes. Let $A$ be a subset of the prime lattice - the d-fold direct product of the primes - of positive…

Number Theory · Mathematics 2025-04-22 Andrew Lott , Ákos Magyar , Giorgis Petridis , János Pintz

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

Algebraic Geometry · Mathematics 2011-01-24 Luchezar L. Avramov , Srikanth B. Iyengar

It is shown that each positive map between matrix algebras is the sum of a maximal decomposable map and an atomic map which is both optimal and co-optimal. The result is analyzed in detail for the positive projection onto a spin factor.

Functional Analysis · Mathematics 2013-08-19 Erling Størmer

For a non-empty set $X$, the collection $Top(X)$ of all topologies on $X$ sits inside the Boolean lattice $\PP(\PP(X))$ (when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space $\px$. Via this…

General Topology · Mathematics 2012-03-21 Jorge L. Bruno , Aisling E. McCluskey

An effective divisor D on a smooth (compact complex) surface X is called even, if its class $[D] \in H^2(X,\Z)$ is divisible by 2. D may be assumed reduced w.l.o.g. Then D being even is equivalent to the existence of a double cover $Y \to…

Algebraic Geometry · Mathematics 2007-05-23 Wolf P. Barth