arXiv++ Combinatorics

We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $Δ$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its vertices are arranged in a $3\times 3$ array. Then for any continuous map $f:Δ\to \mathbb{R}^3$ it is possible to partition the rows or the columns of the vertex array into two parts, such that the disjoint faces $σ$ and $τ$ induced by the two parts satisfy $f(σ)\cap f(τ) \neq \emptyset$. Our result also has consequences for geometric transversals and topological Helly.

We study the higher expansion properties of locally symmetric spaces, with a particular focus on octonionic hyperbolic manifolds. We show that codimension two minimal submanifolds of compact octonionic locally symmetric spaces must have large volume, at least linear in the volume of the ambient space. As a corollary we prove linear waist inequalities for octonionic hyperbolic manifolds in codimension two and construct the first locally symmetric examples of power-law systolic freedom. We also show that any codimension two submanifold of small volume can be homotoped to a lower dimensional set. We use this to prove that branched covers of octonionic hyperbolic manifolds are stable in the sense of Dinur-Meshulam and to establish a uniform lower bound on the non-abelian Cheeger constants of octonionic hyperbolic manifolds. In a more general setting, we prove that maps from locally symmetric spaces to low dimensional euclidean spaces admit fibers whose fundamental group has large exponent of growth. We show as a consequence that cocompact lattices in $SL_n(\mathbb{R})$ have property $ FA_{\lfloor n/8\rfloor-1}$: any action on a contractible $CAT(0)$ simplicial complex of dimension at most $ \lfloor n/8\rfloor -1$ has a global fixed point.

We study structural and enumerative aspects of pure simplicial complexes and clique complexes. We prove a necessary and sufficient condition for any simplicial complex to be a clique complex that depends only on the list of facets. We also prove a theorem that a class of ``triangle-intersection free" pure clique complexes are uniquely determined up to isomorphism merely from the facet-adjacency matrix. Lastly, we count the number of pure simplicial complexes with a fixed number of facets and find an upper bound to the number of pure clique complexes.

We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Timár for classical expansion of bounded degree graphs. We prove that, like the separation profile, these new invariants are monotone under regular maps between complexes satisfying appropriate higher connectivity assumptions. In the dimension $1$ case, we recover the cutwidth profile of Huang-Hume-Kelly-Lam. We also prove the seemingly new result that any $1$-dimensional topological expander necessarily contains a graphical expander. In higher dimensions, we give full calculations of these new invariants for Euclidean spaces, which are natural analogues of waist and width-volume inequalities due to Gromov and Guth respectively. We present several other methods of obtaining upper bounds including naïve (yet useful) direct product and fibring theorems, and show how lower bounds can be obtained via thick embeddings of complexes, in analogy with previous work of Barrett-Hume. Using this, we find lower bounds for $k$-expansion of $(k+1)$-fold horocyclic products of trees, and for rank $k$ symmetric spaces of non-compact type. As a further application, we prove that for every $k\geq 2$ there is no coarse embedding (and more generally, no regular map) from the $k$-fold horocyclic product of $3$-regular trees to either any product $(\mathbb{H}^2)^{k-2}\times H \times D$ where $\mathbb{H}^2$ is the real hyperbolic plane, $H$ is a bounded degree hyperbolic graph and $D$ is a doubling metric space, or to any symmetric space whose non-compact factor has corank (dimension minus rank) is strictly less than $k$.

In this paper, we develop the concept of multiple cylinder of relations which is a generalization of the relation cylinder, extending the multiple non-Hausdorff mapping cylinder to sequences of finite T0-spaces linked by a series of relations. This construction is important in capturing complex homotopical structures across chains of finite spaces and, when the relations are induced by maps, it serves as a third space that collapses to two distinct finite spaces. Additionally, we introduce the concept of a strong-good cover for simplicial complexes and finite spaces, char acterized by collapsible (rather than merely contractible) intersections. This leads to a strengthened version of the Nerve Theorem, which we develop for simplicial complexes as well as for finite spaces with strong-good covers, demonstrating that these complexes and spaces and their associated nerves maintain the same simple homotopy type, thereby refining classical results for finite simplicial complexes and finite topological structures.

An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we prove that the matching complexes of outerplanar graphs are contractible or homotopy equivalent to a wedge of spheres. This extends known results about trees and polygonal line tilings.

Coboundary expansion is a high dimensional generalization of the Cheeger constant to simplicial complexes. Originally, this notion was motivated by the fact that it implies topological expansion, but nowadays a significant part of the motivation stems from its deep connection to problems in theoretical computer science such as agreement expansion in the low soundness regime. In this paper, we prove coboundary expansion with non-Abelian coefficients for the coset complex construction of Kaufman and Oppenheim. Our proof uses a novel global argument, as opposed to the local-to-global arguments that are used to prove cosystolic expansion.

We find decompositions of $h$-polynomials of flag doubly Cohen-Macaulay simplicial complex that yield a direct connection between gamma vectors of flag spheres and constructions used to build them geometrically. More specifically, they are determined by iterated double suspensions and a "net nonnegative set of edge subdivisions" taking it to the given flag doubly Cohen-Macaulay simplicial complex. By a "net nonnegative set of edge subdivision", we mean a collection of edge subdivisions and contractions where there are at least as many edge subdivisions as contractions. Returning to the flag spheres, these repeated decompositions involve links over collections of disjoint edges and give an analogue of a Lefschetz map that applies to each step of the decomposition. The constructions used also give a direct interpretation of the Boolean decompositions coming from links and those of the entire simplicial complex. Roughly speaking, the Boolean vs. non-Boolean distinction is used to measure how far a flag sphere is from being the boundary of a cross polytope. An analogue of this statement for flag doubly Cohen-Macaulay simplicial complexes would replace boundaries of cross polytopes by repeated suspensions of links over edges of the given simplicial complex.

We study algebraic shifting of uniform hypergraphs and finite simplicial complexes in the exterior algebra with respect to matrices which are not necessarily generic. Several questions raised by Kalai (2002) are addressed. For instance, it turns out that the combinatorial shifting of Erdős$\unicode{x2013}$Ko$\unicode{x2013}$Rado (1961) arises as a special case. Moreover, we identify a sufficient condition for partial shifting to preserve the Betti numbers of a simplicial complex; examples show that this condition is sharp.

We study the minimum number of distinct eigenvalues over a collection of matrices associated with a graph. Lower bounds are derived based on the existence or non-existence of certain cycle(s) in a graph. A key result proves that every Johnson graph has a signed variant with exactly two distinct eigenvalues. We also explore applications to weighing matrices, linear ternary codes, tight frames, and compute the minimum rank of Johnson graphs. Further results involve the minimum number of distinct eigenvalues for graphs in association schemes, distance-regular graphs, and Hamming graphs. We also draw some connections with simplicial complexes and higher-order Laplacians.

This paper makes some preliminary observations towards an extension of current work on graphs defined on groups to simplicial complexes. I define a variety of simplicial complexes on a group which are preserved by automorphisms of the group, and in many cases have a relation to familiar graphs on the group. The ones which seem to reach deepest into the graph structure are two forms of independence complex, and some results on the class of groups for which these two complexes coincide are given. Other examples are treated more briefly.

Most applications of the hard Lefschetz theorem related to combinatorial properties of simplicial complexes involve their $h$-vectors. In the context of positivity properties involving $h$-vectors of flag spheres, $f$-vectors with a Lefschetz-type ``Boolean'' decomposition have been studied. In this note, we explore families of flag simplicial complexes where we can see this Boolean decomposition explicitly in terms of transformations connecting different simplicial complexes in this family. Note that we will take complexes in a given dimension to be PL homeomorphic to each other. In particular, the existence of a Boolean decomposition patched from local parts can be phrased in terms of a certain map formally satisfying an analogue of the hard Lefschetz theorem. The map is given by the composition of a double suspension with a ``net single edge subdivision''. Here, the former contributes to the Boolean part and the latter contributes to the disjoint non-Boolean part. The fact that the simplicial complex with the given $f$-vector can be taken to be balanced suggests algebraic versions of maps connected to these decompositions.

Many invariants of finitely generated positive cancelative commutative semigroups can be studied from their Poincaré series. We offer and present several closed formulas for them. Moreover, those formulas have elementary proofs and are presented in two distinct forms: one characterized in terms of simplicial complexes and the other by a purely set theoretical approach.

In recent work of Braden, Huh, Matherne, Proudfoot and Wang, a class of simplicial complexes associated to matroids, called augmented Bergman complexes, was introduced. The present article concerns the face enumeration of these complexes. We prove that the augmented Bergman complex of any matroid admits a convex ear decomposition and deduce that augmented Bergman complexes are doubly Cohen--Macaulay and that they have top-heavy $h$-vectors. We provide some formulas for computing the $h$-polynomials of these complexes and exhibit examples which show that, in general, they are neither log-concave nor unimodal.

We show that there are $f$-vectors of balanced simplicial complexes giving a source of simplicial complexes exhibiting a Boolean decomposition similar to a geometric Lefschetz decomposition. The objects we are working with are $h$-vectors of flag spheres and balanced simplicial complexes whose $f$-vectors are equal to them. This builds on work of Nevo--Petersen--Tenner on a conjecture of Nevo--Petersen that the gamma vector of an odd-dimensional flag sphere is the $f$-vector of a balanced simplicial complex (which was shown for barycentric subdivisions by Nevo--Petersen--Tenner). We can connect our decomposition to positivity questions on reciprocal/palindromic polynomials associated to flag spheres and geometric questions motivating them. In addition, we note that the degrees in the Lefschetz-like decomposition are not halved unlike the usual $h$-vector setting.

We call a family of $s$ sets $\{F_1, \ldots, F_s\}$ a \textit{sunflower with $s$ petals} if, for any distinct $i, j \in [s]$, one has $F_i \cap F_j = \cap_{u = 1}^s F_u$. The set $C = \cap_{u = 1}^s F_u$ is called the {\it core} of the sunflower. It is a classical result of Erd\H os and Rado that there is a function $φ(s,k)$ such that any family of $k$-element sets contains a sunflower with $s$ petals. In 1977, Duke and Erd\H os asked for the size of the largest family $\mathcal{F}\subset{[n]\choose k}$ that contains no sunflower with $s$ petals and core of size $t-1$. In 1987, Frankl and F\" uredi asymptotically solved this problem for $k\ge 2t+1$ and $n>n_0(s,k)$. This paper is one of the pinnacles of the so-called Delta-system method. In this paper, we extend the result of Frankl and Füredi to a much broader range of parameters: $n>f_0(s,t) k$ with $f_0(s,t)$ polynomial in $s$ and $t$. We also extend this result to other domains, such as $[n]^k$ and ${n\choose k/w}^w$ and obtain even stronger and more general results for forbidden sunflowers with core at most $t-1$ (including results for families of permutations and subfamilies of the $k$-th layer in a simplicial complex). The methods of the paper, among other things, combine the spread approximation technique, introduced by Zakharov and the first author, with the Delta-system approach of Frankl and Füredi and the hypercontractivity approach for global functions, developed by Keller, Lifshitz and coauthors. Previous works in extremal set theory relied on at most one of these methods. Creating such a unified approach was one of the goals for the paper.

A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$, equipped with various norms. One of these problems has been solved for the first time in [De Chiffre, Gelbsky, Lubotzky, Thom, 2020]: some central extensions $\widetildeΓ$ of arithmetic lattices $Γ$ of $Sp(2g,\mathbb{Q}_p)$ were shown to be non-Frobenius approximated by almost homomorphisms to $U(n)$. Right after, it was shown that similar results hold with respect to the $p$-Schatten norms in [Lubotzky, Oppenheim, 2020]. It is natural, and has already been suggested in [Chapman, Lubotzky, 2024] and [Gohla, Thom, 2024], to check whether the $\widetildeΓ$ are also non-sofic. In order to show that they are (also) non-sofic, it suffices: (a) To prove that the permutation Cheeger constant of the simplicial complex underlying $Γ$ is positive, generalizing [Evra, Kaufman, 2016]. This would imply that $Γ$ is stable. (b) To prove that the (flexible) stability of $Γ$ implies the non-soficity of $\widetildeΓ$. Clause (b) was proved by Gohla and Thom. Here we offer a more algebraic/combinatorial treatment to their theorem.

The basic (and traditional) crossing number problem is to determine the minimum number of crossings in a topological drawing of an input graph in the plane. We develop a unified framework that smoothly captures many generalized crossing number problems, and that yields fixed-parameter tractable (FPT) algorithms for them not only in the plane but also on surfaces. Our framework takes the following form. We fix a surface S, an integer r, and a map \k{appa} from the set of topological drawings of graphs in S to Z+\cup{\infty}, satisfying some natural monotonicity conditions, but essentially describing the allowed drawings and how we want to count the crossings in them. Then deciding whether an input graph G has an allowed drawing D on S with \k{appa}(D)<=r can be done in time quadratic in the size of G (and exponential in other parameters). More generally, we may take as input an edge-colored graph, and distinguish crossings by the colors of the involved edges; and we may allow to perform a bounded number of edge removals and vertex splits to G before drawing it. The proof is a reduction to the embeddability of a graph on a two-dimensional simplicial complex. This framework implies, in a unified way, quadratic FPT algorithms for many topological crossing number variants established in the graph drawing community. Some of these variants already had previously published FPT algorithms, mostly relying on Courcelle's metatheorem, but for many of those, we obtain an algorithm with a better runtime. Moreover, our framework extends, at no cost, to these crossing number variants in any fixed surface.

We study diagonal arrangement complements $D(K)$ in $\mathbb{C}^m$. We consider the class of simplicial complexes $K$ in which any two missing faces have a common vertex, and prove that the coordinate arrangement complement $U(K)$ is the double suspension of the diagonal arrangement complement $D(K)$. In the case of subspace arrangements in $\mathbb{R}^m$ the coordinate arrangement complement $U_{\mathbb{R}}(K)$ is the single suspension of $D_{\mathbb{R}}(K)$.

One of the most common and effective methods of obtaining structural information on simplicial complexes is to use tools from algebraic geometry/commutative algebra (often motivated by properties of toric varieties). However, there is no general algebro-geometric description of components of the gamma vector holding for arbitary flag simplicial spheres. This invariant occurs in many different contexts including permutation statistics, signatures of toric varieties, and Euler characteristics of nonpositively curved piecewise Euclidean manifolds. Combinatorial methods resulting from an explicit inverted Chebyshev expansion give rise to new positivity properties and cell complex structures that are of interest in their own right. Note that the focus is on the $f$-vector rather than the $h$-vector in ``algebraic'' settings. For flag simplicial spheres $Δ$, the fact that $h(Δ) = f(Γ)$ and compatibility between Chebyshev expansions and a modification of the $f$-polynomial by work of Hetyei are the key inputs. In the main formula implying new positivity results, local structures of $CAT(0)$ complexes and cubical analogues of barycentric subdivisions give deeper connections with cubical complex structures complementing earlier work related to the top gamma vector component. Afterwards, we return to the motivating example of barycentric subdivisions and consider how $f$-vectors of Cohen--Macaulay and vertex decomposable flag complexes in geometric settings decompose and interact with geometric transformations. This includes subdivisions of simplicial complexes and recursive properties they share with vertex decomposable flag complexes.