Related papers: On the Orderability Problem and the Interval Topol…
Recently, it was realized that anomalies can be completely classified by topological orders, symmetry protected topological (SPT) orders, and symmetry enriched topological orders in one higher dimension. The anomalies that people used to…
We give an exact mathematical construction of a spacelike order $<$, which is dual to the standard chronological order $\ll$ in the $n$-dimensional Minkowski space $M^n$, and we discuss its order-theoretic, geometrical as well as its…
Our aim is to find some new links between linear (circular) orderability of groups and topological dynamics. We suggest natural analogs of the concept of algebraic orderability for topological groups involving order-preserving actions on…
While ostensibly coined in 1989 by Xiao-Gang Wen, the term "topological order" has been in use since 1972 to describe the behavior of the classical xy model. It has been noted that the xy model does not have Wen's topological order since it…
The notion of Grothendieck topos may be considered as a generalisation of that of topological space, one in which the points of the space may have non-trivial automorphisms. However, the analogy is not precise, since in a topological space,…
A central theme in distributed network algorithms concerns understanding and coping with the issue of locality. Inspired by sequential complexity theory, we focus on a complexity theory for distributed decision problems. In the context of…
There are two classes of topologies most often placed on the space of Lorentz metrics on a fixed manifold. As I interpret a complaint of R. Geroch [Relativity, 259 (1970); Gen. Rel. Grav., 2, 61 (1971)], however, neither of these standard…
The topology of periodic spaces has attracted a lot of interest in recent years in order to study and classify crystalline structures and other large homogeneous data sets, such as the distribution of galaxies in cosmology. In practice,…
After reviewing the multiple roles of toposes - as generalized topological spaces, as universal invariants, as categorical analogues of the set-theoretic universe, and as semantic environments for first-order theories - we recall the notion…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
By using low-dimensional chaos maps, the power law relationship established between the sample mean and variance called Taylor's Law (TL) is studied. In particular, we aim to clarify the relationship between TL from the spatial ensemble…
Consider a set $M$ equipped with a structure $*$. We call a natural topology $T_*$, on $(M,*)$, the topology induced by $*$. For example, a natural topology for a metric space $(X,d)$ is a topology $T_d$ induced by the metric $d$ and for a…
In the discrete Tempotron learning problem a neuron receives time varying inputs and for a set of such input sequences ($\mathcal S_-$ set) the neuron must be sub-threshold for all times while for some other sequences ($\mathcal S_+$ set)…
Extending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered group, on the one hand, and spectral spaces of free lattice-ordered groups, on the…
Let SYT_n be the set of all standard Young tableaux with n cells. After recalling the definitions of four partial orders, the weak, KL, geometric and chain orders on SYT_n and some of their crucial properties, we prove three main results:…
Finite translation surfaces can be classified by the order of their singularities. When generalizing to infinite translation surfaces, however, the notion of order of a singularity is no longer well-defined and has to be replaced by new…
We consider a category of all finite partial orderings with quotient maps as arrows and construct a Fra\"iss\'e sequence in this category. Then we use commonly known relations between partial orders and lattices to construct a sequence of…
Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…
A fundamental question in search-guided AI: what topology should guide Monte Carlo Tree Search (MCTS) in puzzle solving? Prior work applied topological features to guide MCTS in ARC-style tasks using grid topology -- the Laplacian spectral…
Statistical Topology emerged since topological aspects continue to gain importance in many areas of physics. It is most desirable to study topological invariants and their statistics in schematic models that facilitate the identification of…