English
Related papers

Related papers: Coverage of space in Boolean models

200 papers

Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $\Lambda$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any…

Representation Theory · Mathematics 2014-07-11 H. Derksen , B. Huisgen-Zimmermann , J. Weyman

We provide the solution for a fundamental problem of geometric optimization by giving a complete characterization of worst-case optimal disk coverings of rectangles: For any $\lambda\geq 1$, the critical covering area $A^*(\lambda)$ is the…

Computational Geometry · Computer Science 2020-03-19 Sándor P. Fekete , Utkarsh Gupta , Phillip Keldenich , Christian Scheffer , Sahil Shah

In this paper we prove, under mild conditions, that the positive definiteness of the circulant matrix appearing in the circulant embedding method is always guaranteed, provided the enclosing cube is sufficiently large. We examine in detail…

Numerical Analysis · Mathematics 2018-03-21 Ivan G. Graham , Frances Y. Kuo , Dirk Nuyens , Rob Scheichl , Ian H. Sloan

Let $E$ be a bounded open subset of $\mathbb{R}^n$. We study the following questions: For i.i.d. samples $X_1, \dots, X_N$ drawn uniformly from $E$, what is the probability that $\cup_i \mathbf{B}(X_i, \delta)$, the union of $\delta$-balls…

Probability · Mathematics 2023-07-06 Enrique Alvarado , Bala Krishnamoorthy , Kevin R. Vixie

We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the…

Logic · Mathematics 2019-03-05 Jennifer Chubb , Russell Miller , Reed Solomon

We consider a multiscale Boolean percolation on $\mathbb R^d$ with radius distribution $\mu$ on $[1,+\infty)$, $d\ge 2$. The model is defined by superposing the original Boolean percolation model with radius distribution $\mu$ with a…

Probability · Mathematics 2023-01-05 Barbara Dembin

The term ``Boolean category'' should be used for describing an object that is to categories what a Boolean algebra is to posets. More specifically, a Boolean category should provide the abstract algebraic structure underlying the proofs in…

Logic in Computer Science · Computer Science 2011-11-09 Lutz Strassburger

We investigate products of sets of reals with combinatorial covering properties. A topological space satisfies $\mathsf{S}_1(\Gamma,\Gamma)$ if for each sequence of point-cofinite open covers of the space, one can pick one element from each…

General Topology · Mathematics 2019-12-06 Piotr Szewczak , Magdalena Włudecka

In this series of papers we study subspaces of de Branges spaces of entire functions which are generated by majorization on subsets $D$ of the closed upper half-plane. The present, first, part is addressed to the question which subspaces of…

Complex Variables · Mathematics 2010-05-18 Anton Baranov , Harald Woracek

We present new completeness conditions for exponential systems on the complex plane in Banach algebras of continuous functions on a compact with a connected complement that are simultaneously holomorphic in the interior of this compact if…

Complex Variables · Mathematics 2023-06-29 B. N. Khabibullin , E. G. Kudasheva

We study a random partial covering model on the $(d-1)$-dimensional unit sphere, where $N$ spherical caps are placed independently and uniformly at random, each covering a surface fraction of $1/N$. This model provides a continuous…

Probability · Mathematics 2026-04-10 Steven Hoehner , Christoph Thäle

Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…

General Topology · Mathematics 2026-03-06 Earnest Akofor

We study some canonical differential operators on vector bundles over smooth, complete Riemannian manifolds. Under very general assumptions, we show that smooth, compactly supported sections are dense in the domains of these operators.…

Functional Analysis · Mathematics 2016-03-09 Lashi Bandara

We address the problem of finding conditions under which a compact Lorentzian manifold is geodesically complete, a property, which always holds for compact Riemannian manifolds. It is known that a compact Lorentzian manifold is geodesically…

Differential Geometry · Mathematics 2016-09-12 Thomas Leistner , Daniel Schliebner

A Boolean algebra $\A$ equipped with a (finitely-additive) positive probability measure $m$ can be turned into a metric space $(\A , d_{m})$, where $d_{m}(a,b)= m ((a\wedge\neg b)\vee(\neg a\wedge b))$, for any $a,b\in A$, sometimes…

Logic · Mathematics 2022-08-01 Stefano Bonzio , Andrea Loi

We introduce the $R$ cut-off covering spectrum and the cut-off covering spectrum of a complete length space or Riemannian manifold. The spectra measure the sizes of localized holes in the space and are defined using covering spaces called…

Metric Geometry · Mathematics 2010-02-05 Christina Sormani , Guofang Wei

In random sequential covering, identical objects are deposited randomly, irreversibly, and sequentially; only attempts increasing the coverage are accepted. A finite system eventually gets congested, and we study the statistics of congested…

Probability · Mathematics 2023-03-28 P. L. Krapivsky

A Boolean algebra carries a strictly positive exhaustive submeasure if and only if it has a sequential topology that is uniformly Frechet.

Logic · Mathematics 2017-05-03 Thomas Jech

A Boolean function of n bits is balanced if it takes the value 1 with probability 1/2. We exhibit a balanced Boolean function with a randomized evaluation procedure (with probability 0 of making a mistake) so that on uniformly random…

Probability · Mathematics 2012-06-21 Itai Benjamini , Oded Schramm , David B. Wilson

A topological space is called a submetrizable if it can be mapped onto a metrizable topological space by a continuous one-to-one map. In this paper we answer two questions concerning sequence-covering maps on submetrizable spaces.

General Topology · Mathematics 2024-02-20 Vlad Smolin