arXiv subjects
Publications and source records attributed to Masaru Kada.
We discuss ``puzzles of prisoners and hats`` with infinitely many prisoners and more than two hat colors. Assuming that the set of hat colors is equipped with a commutative group structure, we prove strategic equivalence among puzzles of several protocols with countably many prisoners.
We investigate preservation of the Lindelöf property of topological spaces under forcing extensions. We give sufficient conditions for a forcing notion to preserve several strengthenings of the Lindelöf property, such as indestructible Lindelöf property, the Rothberger property and being a Lindelöf P-space.
Iwasa investigated the preservation of various covering properties of opological spaces under Cohen forcing. By improving the argument in Iwasa's paper, we prove that the Rothberger property, the Menger property and selective screenability are also preserved under Cohen forcing and forcing with the measure algebra.
We examine two quantum operations, the Permutation Test and the Circle Test, which test the identity of n quantum states. These operations naturally extend the well-studied Swap Test on two quantum states. We first show the optimality of the Permutation Test for any input size n as well as the optimality of the Circle Test for three input states. In particular, when n=3, we present a semi-classical protocol, incorporated with the Swap Test, which approximates the Circle Test efficiently. Furthermore, we show that, with help of classical preprocessing, a single use of the Circle Test can approximate the Permutation Test efficiently for an arbitrary input size n.
A slalom is a sequence of finite sets of length omega. Slaloms are ordered by coordinatewise inclusion with finitely many exceptions. Improving earlier results of Mildenberger, Shelah and Tsaban, we prove consistency results concerning existence and non-existence of an increasing sequence of a certain type of slaloms which covers a bounded set of functions in the Baire space.
It is known that the Stone-Cech compactification of a metrizable space X is approximated by the collection of Smirnov compactifications of X for all compatible metrics on X. If we confine ourselves to locally compact separable metrizable spaces, the corresponding statement holds for Higson compactifications. We investigate the smallest cardinality of a set D of compatible metrics on X such that the Stone-Cech compactification of X is approximated by Smirnov or Higson compactifications for all metrics in D. We prove that it is either the dominating number or 1 for a locally compact separable metrizable space.
It is known that the Stone-Čech compactification of a non-compact metrizable space $X$ is approximated by the collection of Smirnov compactifications of $X$ for all compatible metrics on $X$. We investigate the smallest cardinality of a set $D$ of compatible metrics on the countable discrete space $ω$ such that, the Stone-Čech compactification of $ω$ is approximated by Smirnov compactifications for all metrics in $D$, but any finite subset of $D$ does not suffice. We also study the corresponding cardinality for Higson compactifications.
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the null ideal of the real line which is order-isomorphic to Q with respect to set-inclusion. This is a variation of Hechler's classical result in the theory of forcing, and the statement of the theorem for the meager ideal has been already proved by Bartoszynski and the author.
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the real line which is order-isomorphic to Q with respect to set-inclusion. This is a variation of Hechler's classical result in the theory of forcing.