Related papers: Cubical Covers of Sets in $\mathbb{R}^n$
In this paper we deduce the Lebesgue and the Knaster--Kuratowski--Mazurkiewicz theorems on the covering dimension, as well as their certain generalizations, from some simple facts of toric geometry. This provides a new point of view on this…
We study the problem of deciding if a given triple of permutations can be realized as geometric permutations of disjoint convex sets in $\mathbb{R}^3$. We show that this question, which is equivalent to deciding the emptiness of certain…
It is known that in $\mathbb{R}^n,n\geq 2$, a compact set which contains $n-1$ spheres with all radii in $[1/2,1]$ or with all possible centres in $[0,1]^n$ has full Hausdorff dimension. In fact the later set has positive Lebesgue measure.…
We have recently showed that it is possible to deal with collections of indistinguishable elementary particles (in the context of quantum mechanics) in a set-theoretical framework by using hidden variables, in a sense. In the present paper…
The hidden-variable question is whether or not various properties --- randomness or correlation, for example --- that are observed in the outcomes of an experiment can be explained via introduction of extra (hidden) variables which are…
In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson…
Given a semi-algebraic set S, we study compactifications of S that arise from embeddings into complete toric varieties. This makes it possible to describe the asymptotic growth of polynomial functions on S in terms of combinatorial data. We…
The compact set of homogeneous quadratic polynomials in $n$ real variables with modulus bounded by 1 on the unit sphere $S^{n-1}$ is trivially semi-definite representable. The compact set of homogeneous ternary quartics with modulus bounded…
In this paper we determine the group of rational automorphisms of binary cubic and quartic forms with integer coefficients and non-zero discriminant in terms of certain quadratic covariants of cubic and quartic forms. This allows one to…
In this article we introduce order preserving representations of fundamental groups of surfaces into Lie groups with bi-invariant orders. By relating order preserving representations to weakly maximal representations, introduced in…
Recent work has shown that the study of supercharacters on abelian groups provides a natural framework within which to study certain exponential sums of interest in number theory. Our aim here is to initiate the study of Gaussian periods…
In this paper we combine the principled approach to modalities from multimodal type theory (MTT) with the computationally well-behaved realization of identity types from cubical type theory (CTT). The result -- cubical modal type theory…
In this article, we investigate the image and preimage of the important combinatorial sets such as central sets, $C$-sets, and $J_\delta$-sets which play an important role in the study of combinatorics under certain partial semigroup…
We consider the possible sizes of large sumfree sets contained in the discrete hypercube $\{1,...,n\}^k$, and we determine upper and lower bounds for the maximal size as $n$ becomes large. We also discuss a continuous analogue in which our…
Boxplots and related visualization methods are widely used exploratory tools for taking a first look at collections of univariate variables. In this note an extension is provided that is specifically designed to detect and display…
The purpose of this paper is to continue studying the properties of $\gamma$-regular open sets introduced and explored in [6]. The concept of $\gamma$-closed spaces have also been defined and discussed.
There are theories of coverings of $C^*$-algebras which can be included into a following list: coverings of commutative $C^*$-algebras, coverings of $C^*$-algebras of groupoids and foliations, coverings of noncommutative tori, the double…
Gotay showed that a representation of the whole Poisson algebra of the torus given by geometric quantization is irreducible with respect to the most natural overcomplete set of observables. We study this representation and argue that it…
There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these…
Complements of union-closed families of sets, over a finite ground set, are known as simply rooted families of sets. Cubical sets are widely studied topological objects having applications in computational homology. In this paper, we look…