arXiv++ Combinatorics

We study certain orientation-preserving involutions on three-dimensional small covers. We prove that the quotient space of an orientable three-dimensional small cover by such an involution in $\mathbb{Z}_2^3$ is homeomorphic to a connected sum of copies of $S^2 \times S^1$. If this quotient space is a 3-sphere, then the corresponding small cover is a two-fold branched covering of the 3-sphere along a link. We provide a description of this link in terms of the polytope and the characteristic function.

A crystallization of a PL manifold is an edge-colored graph that corresponds to a contracted triangulation of the manifold, facilitating the study of its topological and combinatorial properties. A small cover over a simple convex $n$-polytope $P^n$ is a closed $n$-manifold with a locally standard $\mathbb{Z}_2^n$-action such that its orbit space is homeomorphic to $P^n$. In this article, we study the crystallizations of small covers over the $n$-simplex $Δ^n$ and the prism $Δ^{n-1} \times I$. It is known that the small cover over the $n$-simplex $Δ^n$ is $\mathbb{RP}^n$. For every $n\geq 2$, we prove that $\mathbb{RP}^n$ has a unique $2^n$-vertex crystallization. We also demonstrate that there are exactly $1 + 2^{n-1}$ D-J equivalence classes of small covers over the prism $Δ^{n-1} \times I$, where $n\geq 3$. For each $\mathbb{Z}_2$-characteristic function of $Δ^{n-1} \times I$, we construct a $2^{n-1}(n+1)$-vertex crystallization of the small cover $M^n(λ)$ with regular genus $1 + 2^{n-4}(n^2 - 2n - 3)$, where $n\geq 4$. In particular, we construct four orientable and four non-orientable $\mathbb{RP}^3$-bundles over $\mathbb{S}^1$ up to D-J equivalence with regular genus 6.

We describe new, simple, recursive methods of construction for orientable sequences over an arbitrary finite alphabet, i.e. periodic sequences in which any sub-sequence of n consecutive elements occurs at most once in a period in either direction. In particular we establish how two variants of a generalised Lempel homomorphism can be used to recursively construct such sequences, generalising previous work on the binary case. We also derive an upper bound on the period of an orientable sequence.

Let $K$ be a simplicial complex, and let $Δ_i^{up}(K)$ be the $i$-th up normalized Laplacian of $K$. Horak and Jost showed that the largest eigenvalue of $Δ_i^{up}(K)$ is at most $i+2$, and characterized the equality case by the orientable or non-orientable circuits. In this paper, by using the balancedness of signed graphs, we show that $Δ_i^{up}(K)$ has an eigenvalue $i+2$ if and only if $K$ has an $(i+1)$-path connected component $K'$ such that the $i$-th signed incidence graph $B_i(K')$ is balanced, which implies Horak and Jost's characterization. We also characterize the multiplicity of $i+2$ as an eigenvalue of $Δ_i^{up}(K)$, which generalizes the corresponding result in graph case. Finally we gave some classes of infinitely many simplicial complexes $K$ with $Δ_i^{up}(K)$ having an eigenvalue $i+2$ by using wedge, Cartesian product and duplication of motifs.

The degree of a map between orientable manifolds is a fundamental concept in topology that aids in understanding the structure and properties of the manifolds and the maps between them. Numerous studies have been conducted on the degree of maps between orientable topological spaces. For each $d \in \mathbb{Z}$, we construct a degree $ d$ simplicial map from a $(2(n+1) \max\{|d|,1\})$-facet colored triangulation of $\mathbb{S}^{n-1} \times \mathbb{S}^1$ to the standard $ 2(n+1) $-facet colored triangulation of $ \mathbb{S}^{n-1} \times \mathbb{S}^1 $. We demonstrate that these are the minimal possible colored triangulations for a degree $d $ simplicial self-map of $\mathbb{S}^{n-1} \times \mathbb{S}^1 $, where $n \geq 2 $. Additionally, we construct a minimal degree $d $ simplicial map from a closed orientable $ n$-manifold to $ \mathbb{S}^n $, where $n \geq 1 $.

An orientable sequence of order $n$ over an alphabet $\{0,1,\ldots, k{-}1\}$ is a cyclic sequence such that each length-$n$ substring appears at most once \emph{in either direction}. When $k= 2$, efficient algorithms are known to construct binary orientable sequences, with asymptotically optimal length, by applying the classic cycle-joining technique. The key to the construction is the definition of a parent rule to construct a cycle-joining tree of asymmetric bracelets. Unfortunately, the parent rule does not generalize to larger alphabets. Furthermore, unlike the binary case, a cycle-joining tree does not immediately lead to a simple successor-rule when $k \geq 3$ unless the tree has certain properties. In this paper, we derive a parent rule to derive a cycle-joining tree of $k$-ary asymmetric bracelets. This leads to a successor rule that constructs asymptotically optimal $k$-ary orientable sequences in $O(n)$ time per symbol using $O(n)$ space. In the special case when $n=2$, we provide a simple construction of $k$-ary orientable sequences of maximal length.

Two players play a game by alternately splitting a surface of a compact $2$-manifold along a simple closed curve that is not null-homotopic and attaching disks to the resulting boundary; the last player who can move wins. Starting from an orientable surface, the $G$-series is $01\dot{2}\dot{0}$ according to increasing genus. Starting from a nonorientable surface, the $G$-series is $012\dot{4}60\dot{3}$ according to increasing genus. Nim addition determines the $G$-values of the remaining compact $2$-manifolds.

For a given spatial graph $\mathcal{G} \subset \mathbb{R}^3$, we would like to find a closed orientable surface $\mathcal{S}$ embedded in $\mathbb{R}^3$ in which $\mathcal{G}$ is cellular embedded. However, for general $\mathcal{G}$ this is not possible. We therefore define a property of spatial graphs, called leveled, to show that for leveled spatial graphs with a small number of levels, a surface $\mathcal{S}$ can always be found. The argument is based on decomposing $\mathcal{G}$ into spatial subgraphs that can be placed on a sphere and on cylinders attached as handles, in such a way that the resulting surface contains a cellular embedding of $\mathcal{G}$. We generalize the procedure to an algorithm that, if successful, constructs $\mathcal{S}$ for leveled spatial graphs with any number of levels. We conjecture that all connected leveled embeddings can be cellular embedded with the presented algorithm.

For a graph $G$, and a nonnegative integer $g$, let $a_g(G)$ be the number of $2$-cell embeddings of $G$ in an orientable surface of genus $g$ (counted up to the combinatorial homeomorphism equivalence). In 1989, Gross, Robbins, and Tucker [Genus distributions for bouquets of circles, J. Combin. Theory Ser. B 47 (1989), 292-306] proposed a conjecture that the sequence $a_0(G),a_1(G),a_2(G),\dots$ is log-concave for every graph $G$. This conjecture is reminiscent to the Heron-Rota-Welsh Log Concavity Conjecture that was recently resolved in the affirmative by June Huh et al., except that it is closer to the notion of $Δ$-matroids than to the usual matroids. In this short paper, we disprove the Log Concavity Conjecture of Gross, Robbins, and Tucker by providing examples that show strong deviation from log-concavity at multiple terms of their genus sequences.

The sphere graph of $M_r$, a connect sum of $r$ copies of $S^1\times S^2$ was introduced by Hatcher as an analog of the curve graph of a surface to study the outer automorphism group of a free group $F_r$. Bestvina, Bromberg, and Fujiwara proved that the chromatic number of the curve graph is finite; bounds were subsequently improved by Gaster, Greene, and Vlamis. Motivated by the analogy, we provide upper and lower bounds for the chromatic number of the sphere graph of $M_r$. As a corollary to the prime decomposition of 3-manifolds, this gives bounds on the chromatic number of the sphere graph for any orientable 3-manifold.

Determining the minimum genus of a graph is a fundamental optimisation problem in the study of network design and implementation as it gives a measure of non-planarity of graphs. In this paper, we are concerned with determining the smallest value of $g$ such that a given graph $G$ has an embedding on the orientable surface of genus $g$. In particular, we consider the Cartesian product of graphs since this is a well studied graph operation which is often used for modelling interconnection networks. The $s$-cube $Q_i^{(s)}$ is obtained by taking the repeated Cartesian product of $i$ complete bipartite graphs $K_{s,s}$. We determine the genus of the Cartesian product of the $2r$-cube with the repeated Cartesian product of cycles and of the Cartesian product of the $2r$-cube with the repeated Cartesian product of paths.

Fair division is the problem of allocating a set of items among agents in a fair manner. One of the most sought-after fairness notions is envy-freeness (EF), requiring that no agent envies another's allocation. When items are indivisible, it ceases to exist, and envy-freeness up to any good (EFX) emerged as one of its strongest relaxations. The existence of EFX allocations is arguably the biggest open question within fair division. Recently, Christodoulou, Fiat, Koutsoupias, and Sgouritsa (EC 2023) showed that EFX allocations exist for the case of graphical valuations where an instance is represented by a graph: nodes are agents, edges are goods, and each agent values only her incident edges. On the other hand, they showed NP-hardness for checking the existence of EFX orientation where every edge is allocated to one of its incident vertices, and asked for a characterization of graphs that exhibit EFX orientation regardless of the assigned valuations. In this paper, we make significant progress toward answering their question. We introduce the notion of strongly EFX orientable graphs -- graphs that have EFX orientations regardless of how much agents value the edges. We show a surprising connection between this property and the chromatic number $χ(G)$ of the graph $G$. In particular, we show that graphs with $χ(G)\le 2$ are strongly EFX orientable, and those with $χ(G)>3$ are not strongly EFX orientable. We provide examples of strongly EFX orientable and non-strongly EFX orientable graphs of $χ(G)=3$ to prove tightness. Finally, we give a complete characterization of strong EFX orientability when restricted to binary valuations.

In 1965 Edmonds showed that every eulerian graph has a bi-eulerian embedding, i.e., an embedding with exactly two faces, each bounded by an euler circuit. We refine this result by giving conditions for a graph to have a bi-eulerian embedding that is specifically orientable or nonorientable. We give connections to the maximum genus problem for directed embeddings of digraphs, in which every face is bounded by a directed circuit. Given an eulerian digraph $D$ with all vertices of degree 2 mod 4 and a directed euler circuit $T$ of $D$, we show that $D$ has an orientable bi-eulerian directed embedding with one of the faces bounded by $T$; this is a maximum genus directed embedding. This result also holds when $D$ has exactly two vertices of degree $0$ mod $4$, provided they are interlaced by $T$. More generally, if $D$ has $\ell$ vertices of degree 0 mod 4, we can find an orientable directed embedding with a face bounded by $T$ and with at most $\ell+1$ other faces. We show that given an eulerian graph $G$ and a circuit decomposition $C$ of $G$, there is an nonorientable embedding of $G$ with the elements of $C$ bounding faces and with one additional face bounded by an euler circuit, unless every block of $G$ is a cycle and $C$ is the collection of cycles of $G$. In particular, every eulerian graph that is not edgeless or a cycle has a nonorientable bi-eulerian embedding with a given euler circuit $T$ bounding one of the faces. Polynomial-time algorithms giving the specified embeddings are implicit in our proofs.

We show a generalization of the crossing lemma for multi-graphs drawn on orientable surfaces in which pairs of edges are assumed to be drawn by non-homotopic simple arcs which pairwise cross at most $k$ times.

Which surfaces can be realized with two-dimensional faces of the five-dimensional cube (the penteract)? How can we visualize them? In recent work, Aveni, Govc, and Roldan, show that there exist 2690 connected closed cubical surfaces up to isomorphism in the 5-cube. They give a classification in terms of their genus $g$ for closed orientable cubical surfaces and their demigenus $k$ for a closed non-orientable cubical surface. In this paper, we explain the main idea behind the exhaustive search and we visualize the projection to $\mathbb{R}^3$ of a torus, a genus two torus, the projective plane, and the Klein bottle. We use reinforcement learning techniques to obtain configurations optimized for 3D printing.

We consider the generating series of oriented and non-oriented hypermaps with controlled degrees of vertices, hyperedges and faces. It is well known that these series have natural expansions in terms of Schur and Zonal symmetric functions, and with some particular specializations, they satisfy the celebrated KP and BKP equations. We prove that the full generating series of hypermaps satisfy a family of differential equations. We give a first proof which works for an $α$ deformation of these series related to Jack polynomials. This proof is based on a recent construction formula for Jack characters using differential operators. We also provide a combinatorial proof for the orientable case. Our approach also applies to the series of $k$-constellations with control of the degrees of vertices of all colors. In other words, we obtain an equation for the generating function of Hurwitz numbers (and their $α$-deformations) with control of full ramification profiles above an arbitrary number of points. Such equations are new even in the orientable case.

We prove that the arc complex of a polygon with a marked point in its interior is a strongly collapsible combinatorial ball. We also show that the arc complex of a Möbius strip, with finitely many marked points on its boundary, is a simplicially collapsible combinatorial ball but is not strongly collapsible.

We study the geometric and combinatorial effect of smoothing an intersection point in a collection of arcs or curves on a surface. We prove that all taut arcs with fixed endpoints and all taut 1-manifolds with at least two non-disjoint components on an orientable surface with negative Euler characteristic admit a taut smoothing, and also that all taut arcs with free endpoints admit a smoothing that is either taut or becomes taut after removing at most one intersection. We deduce that for every Riemannian metric on a surface, the shortest properly immersed arcs with at least $k$ self-intersections have exactly $k$ self-intersections when the endpoints of the arc are fixed, and at most $k+1$ self-intersections otherwise, and that the arc length spectrum is "coarsely ordered" by self-intersection number. Along the way, we obtain partial analogous results in the case of curves.

A quantum walk model which reflects the $2$-cell embedding on the orientable closed surface of a graph in the dynamics is introduced. We show that the scattering matrix is obtained by finding the faces on the underlying surface which have the overlap to the boundary and the stationary state is obtained by counting two classes of the rooted spanning subgraphs of the dual graph on the underlying embedding.

An orientable sequence of order $n$ is a cyclic binary sequence such that each length-$n$ substring appears at most once \emph{in either direction}. Maximal length orientable sequences are known only for $n\leq 7$, and a trivial upper bound on their length is $2^{n-1} - 2^{\lfloor(n-1)/2\rfloor}$. This paper presents the first efficient algorithm to construct orientable sequences with asymptotically optimal length; more specifically, our algorithm constructs orientable sequences via cycle-joining and a successor-rule approach requiring $O(n)$ time per bit and $O(n)$ space. This answers a longstanding open question from Dai, Martin, Robshaw, Wild [Cryptography and Coding III (1993)]. Applying a recent concatenation-tree framework, the same sequences can be generated in $O(1)$-amortized time per bit using $O(n^2)$ space. Our sequences are applied to find new longest-known (aperiodic) orientable sequences for $n\leq 20$.