Related papers: Product cones in dense pairs

We initiate the study of the expansion $\mathcal{S}(M)$ of a monoid $M$ obtained via the semidirect product of $M$ acting naturally on the left of its power set (regarded as a semilattice under union). We term this the `subset expansion' of…

The paper is devoted to the study of coarse shape of Cartesian products of topological spaces. If the Cartesian product of two spaces $X$ and $Y$ admits an HPol-expansion, which is the Cartesian product of HPol-expansions of these spaces,…

In a recent paper Sanpera et al. have shown, that for the simplest binary composite systems any density matrix can be described in terms of only product vectors. The purpose of this note is to show that posibillity of decomposing any state…

Denote by $M(P)$ the configuration space of a planar polygonal linkage, that is, the space of all possible planar configurations modulo congruences, including configurations with self-intersections. A particular interest attracts its subset…

We prove that for a residual (and hence dense) subset $\mathcal{G}$ of Riemannian metrics on $S^{n+1}$ in the $C^{3}$ topology, no area-minimizing integral $n$-current that is a boundary admits a singular tangent cone which is linearly…

We prove that for an arbitrary subtree $T$ of $2^{<\omega}$ with each element extendable to a path, a given countable class $\mathcal{M}$ closed under disjoint union, and any set $A$, if none of the members of $\mathcal{M}$ strongly…

We say that a theory $T$ is intermediate under effective reducibility if the isomorphism problems among its computable models is neither hyperarithmetic nor on top under effective reducibility. We prove that if an infinitary sentence $T$ is…

We define what it means for a condensed group action to be open (following Scholze) and show that for open subgroups, many elementary results about abstract modules hold for condensed modules, such as the existence of Mackey's Formula for…

Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K…

The dissipated spaces form a class of compacta which contains both the scattered compacta and the compact LOTSes (linearly ordered topological spaces), and a number of theorems true for these latter two classes are true more generally for…

We prove that, under mild assumptions, a lattice in a product of semi-simple Lie group and a totally disconnected locally compact group is, in a certain sense, arithmetic. We do not assume the lattice to be finitely generated or the ambient…

We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the…

Let $X^{(2)}$ denote the second symmetric product space of a partially ordered vector space $X$, endowed with the projective cone. A characterization of linear maps $T\colon X^{(2)}\to X^{(2)}$ which preserve the set of all positive…

We study the existence of a decomposition of the diagonal for bidegree hypersurfaces in a product of projective spaces. Using a cycle theoretic degeneration technique due to Lange, Pavic and Schreieder, we develop an inductive procedure…

Infinite products, indexed by countably infinite linear orders, arise naturally in the context of fundamental groupoids. Such products are called "transfinite" if the index orders are permitted to contain a dense suborder and are called…

We formalize the ``metric bundle'' viewpoint by defining, for any smooth $n$--manifold $M$, the open fiberwise cones $\mathcal{G}^{p,q}\subset S^2\Tstar M$ of nondegenerate symmetric bilinear forms with fixed signature $(p,q)$, and we…

We present a deformed star-product for a particle in the presence of a magnetic monopole. The product is obtained within a self-dual quantization-dequantization scheme, with the correspondence between classical observables and operators…

We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge…

The convex and metric structures underlying probabilistic physical theories are generally described in terms of base normed vector spaces. According to a recent proposal, the purely geometrical features of these spaces are appropriately…

We discuss conditions under which a convex cone $\K\subset \R^{\Omega}$ admits a probability $m$ such that $\sup_{k\in \K} m(k)\leq0$. Based on these, we also characterize linear functionals that admit the representation as finitely…