Related papers: A dendrite generated from {0,1}^{\Lambda}, Card\La…

Consider the $2n$-by-$2n$ matrix $M=(m_{i,j})_{i,j=1}^{2n}$ with $m_{i,j} = 1$ for $i,j$ satisfying $|2i-2n-1|+|2j-2n-1| \leq 2n$ and $m_{i,j} = 0$ for all other $i,j$, consisting of a central diamond of 1's surrounded by 0's. When $n \geq…

Given a finite set $W$ in $\bar{k}^n$ where $\bar{k}$ is the algebraic closure of a field $k$ one would like to determine if $W$ can be decomposed as $\prod_{i=1}^n V_i$ where $V_i \subset \bar{k}$ under a linear transformation, that is,…

Suppose that \Delta, \Delta' are two buildings each arising from a semisimpe algebraic group over a field, a topological field in the former case, and that for both the buildings the Coxeter diagram has no isolated nodes. We give conditions…

Let $f:(\mathbb{P}^1,P)\to(\mathbb{P}^1,P)$ be a postcritically finite rational map with postcritical set $P$. William Thurston showed that $f$ induces a holomorphic pullback map $\sigma_f:\mathcal{T}_P\to\mathcal{T}_P$ on the Teichm\"uller…

The collection of all topologies on a set X forms a complete lattice with respect to the inclusion order, which have been investigated by many researchers. Sobriety is one of the core and extensively studied properties in non-Hausdorff…

Given any (not necessarily connected) combinatorial finite graph and any compact smooth $6$-manifold $M^6$ with the third Betti number $b_3\not=0$, we construct a calibrated 3-dimensional homologically area minimizing surface on $M$…

We give a detailed and self-contained introduction to the theory of $\lambda $-toposes and prove the following: 1) A $\lambda $-separable $\lambda $-topos has enough $\lambda $-points. 2) The classifying $\lambda $-topos of a $\kappa $-site…

We suggest an alternative framework for interpreting the current state of the visible universe. Our approach is based on a dynamical ``Cosmological Constant'' and the starting point is that a decaying vacuum produces matter. As we point…

We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and also the projection lattice of a Hilbert space. As the latter example illustrates, a…

If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.

We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is…

We introduce and study a "desingularization" of a Lie groupoid $G$ along an "$A(G)$-tame" submanifold $L$ of the space of units $M$. An $A(G)$-tame submanifold $L \subset M$ is one that has, by definition, a tubular neighborhood on which…

The reduced density matrices of a many-body quantum system form a convex set, whose three-dimensional projection $\Theta$ is convex in $\mathbb{R}^3$. The boundary $\partial\Theta$ of $\Theta$ may exhibit nontrivial geometry, in particular…

The Golomb space $\mathbb N_\tau$ is the set $\mathbb N$ of positive integers endowed with the topology $\tau$ generated by the base consisting of arithmetic progressions $\{a+bn\}_{n=0}^\infty$ with coprime $a,b$. We prove that the Golomb…

We obtain a closed formula for the $v$-decomposition numbers $d_{\lambda\mu}(v)$ arising from the canonical basis of the Fock space representation of $U_v(\hat{\mathfrak{sl}}_e)$, where the partition $\lambda$ is obtained from $\mu$ by…

We discuss Devaney chaos on compact metric spaces using a decomposition space characterized by topological nature of symbolic dynamics. A chaotic map obtained here is defined as a topologically conjugate of the chaotic map on a…

Let $C(\mathbf I)$ be the set of all continuous self-maps from ${\mathbf I}=[0,1]$ with the topology of uniformly convergence. A map $f\in C({\mathbf I})$ is called a transitive map if for every pair of non-empty open sets $U,V$ in…

In this paper, we find at the properties of the family lambda which imply that the function space C(X,R^alpha) with the lambda-open topology is a semitopological group (paratopological group, topological group, topological vector space and…

We extend the {\lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify…

Let $\gamma\in(0;\frac{1}{2}),\tau\geq 1$ and define the "$\gamma,\tau$ Diophantine set" as: $$D_{\gamma, \tau}:=\{\alpha\in (0;1): ||q\alpha||\geq\frac{\gamma}{q^{\tau}}\quad\forall q\in\Bbb{N}\},\qquad ||x||:=\inf_{p\in\Bbb{Z}}|x-p|.$$ We…