arXiv++ Combinatorics

Given a group $G$, its lattice of subgroups $\mathcal{L}(G)$ can be viewed as a simplicial complex in a natural way. The inclusion of $1_G, G \in \mathcal{L}(G)$ implies that $\mathcal{L}(G)$ is contractible, and so we study the topology of the order complex $\widehat{\mathcal{L}(G)} := \mathcal{L}(G) \setminus \{1_G,G\}$. In this short note we consider the homotopy type of $\widehat{\mathcal{L}(G)}$ where $G \cong PGL_2(p^{2^n})$, $p \geq 3$, $n \geq 1$ and show that $\widehat{\mathcal{L}(G)}$ is contractible. This is consistent with a conjecture of Shareshian on the homotopy type of order complexes of finite groups.

Given a graph $G$ on the vertex set $V$, the non-matching complex of $G$, $\mathsf{NM}_k(G)$, is the family of subgraphs $G' \subset G$ whose matching number $ν(G')$ is strictly less than $k$. As an attempt to generalize the result by Linusson, Shareshian and Welker on the homotopy types of $\mathsf{NM}_k(K_n)$ and $\mathsf{NM}_k(K_{r,s})$ to arbitrary graphs $G$, we show that (i) $\mathsf{NM}_k(G)$ is $(3k-3)$-Leray, and (ii) if $G$ is bipartite, then $\mathsf{NM}_k(G)$ is $(2k-2)$-Leray. This result is obtained by analyzing the homology of the links of non-empty faces of the complex $\mathsf{NM}_k(G)$, which vanishes in all dimensions $d\geq 3k-4$, and all dimensions $d \geq 2k-3$ when $G$ is bipartite. As a corollary, we have the following rainbow matching theorem which generalizes the result by Aharoni, Berger, Chudnovsky, Howard and Seymour: Let $E_1, \dots, E_{3k-2}$ be non-empty edge subsets of a graph and suppose that $ν(E_i\cup E_j)\geq k$ for every $i\ne j$. Then $E=\bigcup E_i$ has a rainbow matching of size $k$. Furthermore, the number of edge sets $E_i$ can be reduced to $2k-1$ when $E$ is the edge set of a bipartite graph.

We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.

This paper studies a discrete homotopy theory for graphs introduced by Barcelo et al. We prove two main results. First we show that if $G$ is a graph containing no 3- or 4-cycles, then the $n$th discrete homotopy group $A_n(G)$ is trivial for all $n\geq 2$. Second we exhibit for each $n\geq 1$ a natural homomorphism $ψ:A_n(G)\to \mathcal{H}_n(G)$, where $\mathcal{H}_n(G)$ is the $n$th discrete cubical singular homology group, and an infinite family of graphs $G$ for which $\mathcal{H}_n(G)$ is nontrivial and $ψ$ is surjective. It follows that for each $n\geq 1$ there are graphs $G$ for which $A_n(G)$ is nontrivial.

We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal{R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_*(Ω\mathcal{Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterisation of these properties. For $RC_K'$, it is given by a condition on the homology group $H_2(\mathcal{R}_K)$, whereas for $H_*(Ω\mathcal{Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal{Z}_K$.

Various concepts and constructions in homotopy theory have been defined in the digital setting. Although there have been several attempts at a definition of a fibration in the digital setting, robust examples of these digital fibrations are few and far between. In this paper, we develop a digital Hopf fibration within the category of tolerance spaces. By widening our category to that of tolerance spaces, we are able to give a construction of this digital Hopf fibration which mimics the smooth setting.

Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent of induction for cycles for the case that the graph is given as the symmetric closure of a locally confluent and (co-)well-founded relation. We show that, assuming the property in question is sufficiently nice, it is enough to prove it for the empty cycle and for cycles given by local confluence. Our motivation and application is in the field of homotopy type theory, which allows us to work with the higher-dimensional structures that appear in homotopy theory and in higher category theory, making coherence a central issue. This is in particular true for quotienting - a natural operation which gives a new type for any binary relation on a type and, in order to be well-behaved, cuts off higher structure (set-truncates). The latter makes it hard to characterise the type of maps from a quotient into a higher type, and several open problems stem from this difficulty. We prove our theorem on cycles in a type-theoretic setting and use it to show coherence conditions necessary to eliminate from set-quotients into 1-types, deriving approximations to open problems on free groups and pushouts. We have formalised the main result in the proof assistant Lean.

For $r\geq 1$, the $r$-independence complex of a graph $G$, denoted Ind$_r(G)$, is a simplicial complex whose faces are subsets $A \subseteq V(G)$ such that each component of the induced subgraph $G[A]$ has at most $r$ vertices. In this article, we establish a relation between the distance $r$-domination number of $G$ and (homological) connectivity of Ind$_r(G)$. We also prove that Ind$_r(G)$, for a chordal graph $G$, is either contractible or homotopy equivalent to a wedge of spheres. Given a wedge of spheres, we also provide a construction of a chordal graph whose $r$-independence complex has the homotopy type of the given wedge.

We investigate the combinatorial data arising from the classification of equivariant homotopy commutativity for cyclic groups of order $G=C_{p_1 \cdots p_n}$ for $p_i$ distinct primes. In particular, we will prove a structural result which allows us to enumerate the number of $N_\infty$-operads for $C_{pqr}$, verifying a computational result.

For $r\geq 1$, the $r$-independence complex of a graph $G$ is a simplicial complex whose faces are subset $I \subseteq V(G)$ such that each component of the induced subgraph $G[I]$ has at most $r$ vertices. In this article, we determine the homotopy type of $r$-independence complexes of certain families of graphs including complete $s$-partite graphs, fully whiskered graphs, cycle graphs and perfect $m$-ary trees. In each case, these complexes are either homotopic to a wedge of equi-dimensional spheres or are contractible. We also give a closed form formula for their homotopy types.

Starting from any operad P, one can consider on one hand the free operad on P, and on the other hand the Baez--Dolan construction on P. These two new operads have the same space of operations, but with very different notions of arity and substitution. The main result of this paper is that the incidence bialgebras of the two-sided bar constructions of the two operads constitute together a comodule bialgebra. The result is objective: it concerns comodule-bialgebra structures on groupoid slices, and the proof is given in terms of equivalences of groupoids and homotopy pullbacks. Comodule bialgebras in the usual sense are obtained by taking homotopy cardinality. The simplest instances of the construction cover several comodule bialgebras of current interest in analysis. If P is the identity monad, then the result is the Faà di Bruno comodule bialgebra (dual to multiplication and substitution of power series). If P is any monoid $Ω$ (considered as a one-coloured operad with only unary operations), the resulting comodule bialgebra is the dual of the near-semiring of $Ω$-moulds under product and composition, as employed in Écalle's theory of resurgent functions in local dynamical systems. If P is the terminal operad, then the result is essentially the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, dual to composition and substitution of B-series in numerical analysis (Chartier--Hairer--Vilmart). The full generality is of interest in category theory. As it holds for any operad, the result is actually about the Baez--Dolan construction itself, providing it with a new algebraic perspective.

As part of various obstruction theories, non-trivial Massey products have been studied in symplectic and complex geometry, commutative algebra and topology for a long time. We introduce a general approach to constructing non-trivial Massey products in the cohomology of moment-angle complexes, using homotopy theoretical and combinatorial methods. Our approach sets a unifying way of constructing higher Massey products of arbitrary cohomological classes and generalises all existing examples of non-trivial Massey products in moment-angle complexes. As a result, we obtain explicit constructions of infinitely many non-formal manifolds that appear in topology, complex geometry and algebraic geometry.

The general goal of this paper is to gather and review several methods from homotopy and combinatorial topology and formal concepts analysis (FCA) and analyze their connections. FCA appears naturally in the problem of combinatorial simplification of simplicial complexes and allows to see a certain duality on a class of simplicial complexes. This duality generalizes Poincare duality on cell subdivisions of manifolds. On the other hand, with the notion of a topological formal context, we review the classical proofs of two basic theorems of homotopy topology: Alexandrov Nerve theorem and Quillen--McCord theorem, which are both important in the applications. A brief overview of the applications of the Nerve theorem in brain studies is given. The focus is made on the task of the external stimuli space reconstruction from the activity of place cells. We propose to use the combination of FCA and topology in the analysis of neural codes. The lattice of formal concepts of a neural code is homotopy equivalent to the nerve complex, but, moreover, it allows to analyse certain implication relations between collections of neural cells.

This is the second in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. The first main result in this article concerns the function $f(k,n)$ defined as the number of SNBC (strictly non-backtracking closed) walks of length $k$ of a given homotopy type in a random covering graph of degree $n$ of a fixed graph. We prove the existence of asymptotic expansions in powers of $1/n$ for $f(k,n)$, where the coefficients---functions of $k$---are proven to have some desirable properties; namely, these coefficients are approximately a sum of polynomials times exponential functions. The second main result is a generalization of the first, where the number of SNBC walks of length $k$ is multiplied by an indicator function that the covering graph contains a certain type of {\em tangle}; the second result requires more terminology, although its proof uses the same basic tools used to prove the first result. % The motivation for the second main result will be clear in % the third article in this series of articles. The results in this article are mostly straightforward generalizations of methods used in previous works. However, this article (1) "factors" these methods into a number of short, conceptually simple, and independent parts, (2) writes each independent part in more general terms, and (3) significantly simplifies of one of the previous computations. As such we expect that this article will make it easier to apply trace methods to related models of random graphs.

We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as an application, we treat the case of ordered configuration spaces of elliptic curves. Our models are finite polyhedral CW complexes, and our combinatorial tools of choice are acyclic categories (small categories without loops). As a stepping stone, we give a characterization of which acyclic categories arise as face categories of polyhedral CW complexes.

Given an arbitrary sequence of non-negative integers $\vecλ=(λ_1,\dots,λ_n)$ and a graph $G$ with vertex set $\{v_1,\dots,v_n\}$, the bounded degree complex, denoted $\text{BD}^{\vecλ}(G)$, is a simplicial complex whose faces are the subsets $H\subseteq E(G)$ such that for each $i \in \{1,\dots,n\}$, the degree of vertex $v_i$ in the induced subgraph $G[H]$ is at most $λ_i$. When $λ_i=k$ for all $i$, the bounded degree complex $\text{BD}^{\vecλ}(G)$ is called the $k$-matching complex, denoted $M_k(G)$. In this article, we determine the homotopy type of bounded degree complexes of forests. In particular, we show that, for all $k\geq 1$, the $k$-matching complexes of caterpillar graphs are either contractible or homotopy equivalent to a wedge of spheres, thereby proving a conjecture of Julianne Vega \cite[Conjecture 7.3]{Vega19}. We also give a closed form formula for the homotopy type of the bounded degree complexes of those caterpillar graphs in which every non-leaf vertex is adjacent to at least one leaf vertex.

We study the topology of a random cubical complex associated to Bernoulli site percolation on a cubical grid. We begin by establishing a limit law for homotopy types. More precisely, looking within an expanding window, we define a sequence of normalized counting measures (counting connected components according to homotopy type), and we show that this sequence of random probability measures converges in probability to a deterministic probability measure. We then investigate the dependence of the limiting homotopy measure on the coloring probability $p$, and our results show a qualitative change in the homotopy measure as $p$ crosses the percolation threshold $p=p_c$. Specializing to the case of $d=2$ dimensions, we also present empirical results that raise further questions on the $p$-dependence of the limiting homotopy measure.

We extend the facial weak order from finite Coxeter groups to central hyperplane arrangements. The facial weak order extends the poset of regions of a hyperplane arrangement to all its faces. We provide four non-trivially equivalent definitions of the facial weak order of a central arrangement: (1) by exploiting the fact that the faces are intervals in the poset of regions, (2) by describing its cover relations, (3) using covectors of the corresponding oriented matroid, and (4) using certain sets of normal vectors closely related to the geometry of the corresponding zonotope. Using these equivalent descriptions, we show that when the poset of regions is a lattice, the facial weak order is a lattice. In the case of simplicial arrangements, we further show that this lattice is semidistributive and give a description of its join-irreducible elements. Finally, we determine the homotopy type of all intervals in the facial weak order.

We design a homotopy continuation algorithm, that is based on numerically tracking Viro's patchworking method, for finding real zeros of sparse polynomial systems. The algorithm is targeted for polynomial systems with coefficients satisfying certain concavity conditions. It operates entirely over the real numbers and tracks the optimal number of solution paths. In more technical terms; we design an algorithm that correctly counts and finds the real zeros of polynomial systems that are located in the unbounded components of the complement of the underlying A-discriminant amoeba.

The matching complex of a simple graph $G$ is a simplicial complex consisting of the matchings on $G$. Jelić Milutinović et al. studied the matching complexes of the polygonal line tilings, and they gave a lower bound for the connectivity of the matching complexes of polygonal line tilings. In this paper, we determine the homotopy types of the matching complexes of polygonal line tilings recursively, and determine their connectivities.