Related papers: A note on an effective Polish topology and Silver'…
We introduce probability-graphons which are probability kernels that generalize graphons to the case of weighted graphs. Probability-graphons appear as the limit objects to study sequences of large weighted graphs whose distribution of…
We describe a homotopical version of the relational and gluing models of type theory, and generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy theory on inverse diagrams, and relies on the fact that Reedy…
Various kinds of data are routinely represented as discrete probability distributions. Examples include text documents summarized by histograms of word occurrences and images represented as histograms of oriented gradients. Viewing a…
We prove two homotopy decomposition theorems for the loops on co-H-spaces, including a generalization of the Hilton-Milnor Theorem. These are applied to problems arising in algebra, representation theory, toric topology, and the study of…
Hurewicz found connections between some topological notions and the combinatorial cardinals b and d. Reclaw gave topological meaning to the definition of the cardinal p. We extend the picture with a topological interpretation of the…
Let $\Sigma$ be a closed orientable surface of genus at least two, and let $X, Y$ be distinct marked Riemann surface structures on $\Sigma$, possibly with opposite orientations. In this paper, we show that there are (exactly) countably…
This paper constructs a continuous decomposition of the Sierpi\'nski curve into acyclic continua one of which is an arc. This decomposition is then used to construct another continuous decomposition of the Sierpi\'nski curve. The resulting…
Let $\xi\geq 1$ be a countable ordinal. We study the Borel subsets of the plane that can be made ${\bf\Pi}^0_\xi$ by refining the Polish topology on the real line. These sets are called potentially ${\bf\Pi}^0_\xi$. We give a Hurewicz-like…
Here are two of our main results: Theorem 1. Let X be a normal space with dim X=n and m\geq n+1. Then the space C*(X,R^m) of all bounded maps from X into R^m equipped with the uniform convergence topology contains a dense G_{\delta}-subset…
We give strong necessary conditions on the admissibility of a Polish group topology for an arbitrary graph product of groups $G(\Gamma, G_a)$, and use them to give a characterization modulo a finite set of nodes. As a corollary, we give a…
The paper deals with the program of determining the complexity of various homeomorphism relations. The homeomorphism relation on compact Polish spaces is known to be reducible to an orbit equivalence relation of a continuous Polish group…
Let $X = \left\{P \in [0,1]^{\bf N} : \left(\forall \nu \in {\bf N} \right) \left(P \left(\{\nu \} \right) > 0 \right) \wedge \sum\limits_{\nu = 0}^{\infty} P \left(\{\nu \} \right) = 1 \right\} $ be the Polish space of probability measures…
The purpose of this paper is to make a comprehensive connection between the basic results and properties derived from the two kinds of topologies (namely the $(\epsilon,\lambda)-$topology introduced by the author and the stronger locally…
The symmetric homology of a unital algebra $A$ over a commutative ground ring $k$ is defined using derived functors and the symmetric bar construction of Fiedorowicz. For a group ring $A = k[\Gamma]$, the symmetric homology is related to…
The notion of typical sequences plays a key role in the theory of information. Central to the idea of typicality is that a sequence $x_1, x_2, ..., x_n$ that is $P_X$-typical should, loosely speaking, have an empirical distribution that is…
This paper studies Moore's measurable cohomology theory for locally compact groups and Polish modules. An elementary dimension-shifting argument is used to show that all classes in that theory have representatives with considerable extra…
The constraint satisfaction problem (CSP) can be formulated as a homomorphism problem between relational structures: given a structure $\mathcal{A}$, for any structure $\mathcal{X}$, whether there exists a homomorphism from $\mathcal{X}$ to…
We obtain the bi-Hamiltonian structure of the super KP hierarchy based on the even super KP operator $\Lambda = \theta^{2} + \sum^{\infty}_{i=-2}U_{i} \theta^{-i-1}$, as a supersymmetric extension of the ordinary KP bi-Hamiltonian…
We study the motion of smooth, closed, strictly convex hypersurfaces in $\mathbb{R}^{n+1}$ expanding in the direction of their normal vector field with speed depending on the $k$th elementary symmetric polynomial of the principal radii of…
We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable…