Related papers: Tukey Order, Calibres and the Rationals
In the area of Tame Geometry, different model-theoretic tameness conditions are established and their relationships are analyzed. We construct a subfield $K$ of the real numbers that lacks several of such tameness properties. As our main…
We extend Grood's tableau construction of irreducible representations of the rook monoid and Steinberg's analogous result for the full transformation monoid. Our approach is characteristic-free and applies to any submonoid $\mathcal{M}(n)$…
We describe three algorithms to determine the stable, semistable, and torus-polystable loci of the GIT quotient of a projective variety by a reductive group. The algorithms are efficient when the group is semisimple. By using an…
In the context of combinatorial reciprocity, it is a natural question to ask what "$-Q$" is for a poset $Q$. In a previous work, the definition "$-Q:=Q\times\mathbb{R}$ with lexicographic order" was proposed based on the notion of Euler…
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…
In the paper, we describe all total orders $\succ$ compatible with addition on additive subsemigroup $S$ of finite dimensional spaces over rational numbers. We provide a necessary and sufficient condition under which a finitely generated…
We identify computability-theoretic properties enabling us to separate various statements about partial orders in reverse mathematics. We obtain simpler proofs of existing separations, and deduce new compound ones. This work is part of a…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
We prove that, for every cardinal number $\alpha\geq {\mathfrak c}$, there exists a metrizable space $X$ with $|X|=\alpha$ such that for every pair of quasiorders $\leq_1$, $\leq_2$ on a set $Q$ with $|Q| \leq \alpha$ satisfying the…
It is shown that any compact semistable quotient (in the sense of Heinzner and Snow) of a normal algebraic variety by a complex reductive Lie group $G$ is a good quotient. This reduces the investigation and classification of such…
Given a compact space $K$, we denote by $P(K)$ the space of all Radon probability measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. For nonmetrizable compacta $K$ even basic properties of $P(K)$ spaces…
A likelihood order is defined over linear subspaces of a finite dimensional Hilbert space. It is shown that such an order that satisfies some plausible axioms can be represented by a quantum probability in two cases: pure state and uniform…
Given an undirected graph representing similarities between a set of items and an additive measure evaluating the items, we treat the position of a special subset of items in an ordinal ranking through a collection of combinatorial…
The purpose of this paper is to show that the mathematics of quantum mechanics (QM) is the mathematics of set partitions (which specify indefiniteness and definiteness) linearized to vector spaces, particularly in Hilbert spaces. That is,…
Let $K$ be a non-polar compact subset of $\mathbb{R}$ and $\mu_K$ denote the equilibrium measure of $K$. Furthermore, let $P_n\left(\cdot, \mu_K\right)$ be the $n$-th monic orthogonal polynomial for $\mu_K$. It is shown that…
We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective…
Answering a question of Dobrinen and Todorcevic, we prove that below any stable ordered-union ultrafilter $\mathcal{U}$, there are exactly four nonprincipal Tukey classes: $[\mathcal{U}], [\mathcal{U}_{\operatorname{min}}],…
The author introduces the notion of a quantum form of an algebraic torus. In the case of diagonal algebraic torus we get the algebra of Laurent twisted polynomials. Quantum algebraic torus can be characterized in terms of exact sequences.…
Let $S \subset \P^n$ be a smooth quartic hypersurface defined over a number field $K$. If $n \ge 4$, then for some finite extension $K'$ of $K$ the set $S(K')$ of $K'$-rational points of $S$ is Zariski dense.
We analyze the quantum query complexity of sorting under partial information. In this problem, we are given a partially ordered set $P$ and are asked to identify a linear extension of $P$ using pairwise comparisons. For the standard sorting…