arXiv++ Combinatorics

In this short note, we prove that, for any pair of finite groups $G$ and $H$, there exist a finite $T_0$-space $X$ and a semiflow $\varphi\colon [0,\infty)\times X\to X$ such that $\operatorname{Aut}(X)\cong G$, whereas $\operatorname{Aut}(\varphi_t(X))\cong H$ for every $t>0$. Thus, the symmetry group of a finite $T_0$-space and those of all its positive-time images can be prescribed independently.

The Poincaré polynomials of the Deligne-Mumford space $\overline{M_{0,n}}$ of stable genus 0 curves have been widely studied by several authors such as Keel and Manin. These polynomials can be computed via a recursive formula that is combinatorial in nature, and their exponential generating functions satisfy elegant functional and differential equations. In this paper, we state some combinatorial formulas to the Poincaré polynomials of Hassett's heavy-light moduli spaces $\overline{M_{0,w_{m,n}}}$, with $m$ heavy marked points and $n-m$ light marked points. We express the Poincaré polynomials recursively in terms of the Möbius function of a certain lattice of set partitions. In the case of $m=2$, we get a Losev-Manin space. We give an explicit formula for the Poincaré polynomial or $\overline{M_{0,w_{2,n}}}$ by counting ordered set partitions; and give a recursive formula for this polynomial similar to that in the setting of $\overline{M_{0,n}}$. We prove this recursive formula using geometric and topological properties of the stratification of Losev-Manin spaces; and use an exponential generating function to simplify this recursive formula. Finally, we give a remarkable generalization to the ordered Bell numbers and a recurrence relation for this generalization.

We study the partition regular properties of topological groups, proving several extensions of Hindman theorem where monochromatic sets of finite sums are required to satisfy additional topological constraints. In particular, our results imply that for every nowhere dense set $C \subseteq \mathbb{R}^n$, there exists an open set $P \supseteq C$ such that for any finite coloring of $\mathbb{Q}^n \setminus P$, there is a family $\mathcal{A}$ of sequences in $\mathbb{Q}^n \setminus P$ which satisfies the following properties: (i) for each $A\in\mathcal A$, the set $\operatorname{FS}(A)$ of finite sums of $A$ is a closed discrete subset of $\mathbb R^n$; (ii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is monochromatic; and (iii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is dense in an open unbounded subset of $\mathbb R^n$.

We provide a combinatorial characterization for pairs of order-theoretic trees with homeomorphic ray spaces, answering an open problem proposed by Kurkofka ad Pitz. This solution is inspired by the introduction of a transfinite topological game, which allows us to characterize not only ray spaces through the existence of winning strategies for one of the players, but also their homeomorphic classes. As applications of these results, we obtain a new topological characterization for graph-theoretic end spaces (thus obtaining yet another solution to a recently solved problem of Diestel), as well as for edge-end spaces and completely ultrametrizable spaces. We also introduce a generalization of the class of ray spaces (which is strict, as witnessed by the Sorgenfrey line). Furthermore, we establish that, for subspaces with cardinality less than continuum of end spaces, the scattered property is equivalent to the property of being, itself, an end space. At last, we determine that ray spaces in a couple of classes fail to have their product with any non-discrete space as a ray space.

We formulate compactifications of continuous maps naturally. We consider real analytic functions mainly. We are interested in topological properties and combinatorial ones of explicit resulting maps. For understanding them, we use their Reeb spaces, being quotient spaces of the spaces of the domains of the functions and defined by the equivalence relation identifying two points in same components of their level sets. They are known to be $0$- or $1$-dimensional (metrizable) cell-complexes, in our situations or more general certain tame cases. Reeb spaces have been important in understanding topological properties and combinatorial ones of functions and spaces roughly, since the last century. These compactifications have been explicitly studied by the author previously and recently. We have obtained real algebraic functions whose Reeb spaces are not so complicated and which seem to be of most natural and simplest. We present new discussions and examples.

We classify the finite posets whose probabilistic powerdomain is an RB-domain. For a finite nonempty poset \(P\), let \(\Vone(P)\) be the probability powerdomain of $P$, which is the probability simplex ordered by the stochastic order. We prove that \(\Vone(P)\) is an RB-domain if and only if \(P\) has a least element and the undirected Hasse graph of \(P\) is a tree. Consequently, the probabilistic powerdomain does not preserve RB-domains; the four-point diamond gives a finite counterexample. The proof separates two obstructions. First, if \(P\) has no least element, then the face of probability measures supported on the minimal points must be fixed pointwise by every deflation below the identity. Secondly, once a least element exists, the Hasse graph is connected, and a cycle in it makes the local stochastic cone non-simplicial. A Euclidean finite-step cone argument then rules out the finite-valued monotone approximations supplied by the RB property.

We report the exact value of the number of labeled partially ordered sets (equivalently, labeled $T_0$ topologies) on 19 points, P(19) = 646099441937791106493755218560442089979, a 39-digit integer extending OEIS A001035, whose largest previously computed term was P(18) (Brinkmann and McKay). By the Stirling transform we also obtain the number of labeled topologies on 19 points, A000798(19) = 689054943207246404281592791142107048261. Our route is the Erné-Stege moment reduction, which expresses P(19) through a few sums of antichain counts over the posets on at most 16 points. All of these are available from the posets on at most 15 points (whose number is catalogued, and which standard software generates on demand), except a single moment over the 16-point posets. That moment is obtained not by enumerating the 16-point posets but by inserting a single element into the 15-point ones, with a per-parent kernel that advances the sum at the cost of computing the parent's own antichain count. The result passes several independent checks, among them the residue predicted by the modular periodicity of A001035 and the recovery from the same sweep of the known count P(16) and the Erné-Stege moments G(16,1) and G(16,2). We also report the moments G(16,3) and G(16,4), the latter an input to the analogous computation for 20 points.

Toric arrangements of maximal rank have been studied by the author in a paper that shows how the complement manifold of these arrangements is diffeomorphic to that of centered ones. In this work we turn our attention to toric arrangements of rank one, namely parallel toric arrangements. Our aim is to prove, by means of basic arguments of cohomology theory, that the Euler-Poincaré characteristic of the complement manifold of parallel toric arrangements can be computed in terms of those of the complement manifolds of the singular subtori that compose the arrangement.

Given a decorated planar graph $(G,ω)$, where $G$ is a planar graph and $ω\in H^1(|\mathcal{Q}G|,\mathbb{Z})$ with $\mathcal{Q}G$ the directed medial graph of $G$, we call some angular functions $ω$-compatible and study two distinct but related directed graphs: $\mathcal{L}(G,ω)$, which is the directed graph of such functions, and $BMS(G,ω)$, the directed graph of BMS states which are some pairs of $ω$-compatible functions plus additional data. We give sufficient conditions for $\mathcal{L}(G,ω)$ to be a graded distributive lattice, recovering Kauffman's Clock Theorem when $G$ is a knot diagram. We also define a potential on $\mathcal{Q} G$ and associate a representation of the corresponding quiver with potential to every BMS state. Under suitable assumptions, this construction yields an isomorphism between $\mathcal{L}(G,ω)$ and the lattice of subrepresentations of a maximal representation, generalizing a result of Bazier-Matte--Schiffler.

We study test sets: subfamilies of sequences converging to a point P that still suffice to detect every discontinuity of real-valued functions at P. Ordered by inclusion, these test sets form a poset. Under natural hypotheses at P, we prove that this poset has a minimal element. We also analyze its maximal chains, showing that some have a least element, while others do not. Finally, on the sequential fan we give a concrete realization in which the minimal test set produced by our construction has strictly smaller cardinality than the full family of convergent sequences.

Reeb spaces of continuous real-valued functions on topological spaces are fundamental and strong tools in investigating the spaces. The Reeb space is the natural quotient space of the space of the domain represented by connected components of its level sets. They have appeared in theory of Morse functions in the last century and as important topological objects, they are shown to be graphs for tame functions on (compact) manifolds such as Morse(-Bott) functions and naturally generalized ones. Related general theory develops actively, recently, mainly by Gelbukh and Saeki. For nice Haudorff spaces and continuous functions there, they are "$1$-dimensional". We concentrate on Reeb spaces which are not CW complexes and study their representations by graphs and nice examples. Reconstructing nice smooth functions with given Reeb graphs is of related studies and pioneered by Sharko and followed by Masumoto, Michalak, Saeki, and so on. The author has also contributed to it.

In 1992, Diestel asked which topological spaces could be represented as the end space of some graph. In 2023, Pitz provided a solution to this question by giving a topological characterization of end spaces using a hereditarily complete special subbase. In this paper, we present an alternative topological characterization of end spaces, in which we employ a special subbase and a topological game. Furthermore, we provide several applications of this characterization: we show that every end space is hereditarily Baire, that $G_δ$ subspaces of end spaces are also end spaces, and that the product of end spaces is not always an end space.

We classify $n\times n$-matrix-valued continuous commutativity and spectrum preservers defined on spaces of (a) normal, (b) semisimple and (c) arbitrary $n\times n$ matrices with spectra contained in sufficiently connected subsets $\mathcal{X}\subseteq \mathbb{C}$, generalizing a number of results due to Šemrl, Gogić, Tomašević and the author among others. In case (a) these are always conjugations or transpose conjugations, while in cases (b) and (c) qualitatively distinct possibilities arise depending on the local regularity of the complex-conjugation map close to coincident-eigenvalue loci of $\mathcal{X}^n$.

This is a note on the graphs of two smooth real-valued functions in the plane with no intersection and the natural map onto the region surrounded by them with the canonical projection to the line composed, yielding its Reeb space. The Reeb space of a real-valued function on a topological space is the set of all connected components of all level sets and topologized naturally. Such spaces have been fundamental and strong tools in theory of Morse functions and its generalization and variants, since the former half of the 20th century. They are graphs for tame functions such as Morse(-Bott) functions. The author has launched and has been studying this problem since 2020s, interested in Reeb spaces of smooth or non-analytic non-proper functions. For smooth closed manifolds and nice compact spaces, topological properties and combinatorial ones on Reeb spaces have been investigated by Gelbukh, Saeki, and so on.

Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each infinity, and topological properties and combinatorial ones of its composition with the canonical projection. Here, we consider smooth functions with congruent or globally similar graphs instead. Here, the Reeb space of a smooth function on a manifold with no boundary is fundamental and important. This is the naturally topologized quotient space of the manifold, consisting of all connected components (contours) of the function and is a graph under a certain nice situation. Related studies also related to the present study were started due to interest of the author in theory of Reeb spaces of non-proper functions. For proper functions, in 2020s related studies have developed mainly due to Gelbukh and Saeki.