arXiv++ Combinatorics

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.

We study $2$-dimensional unit vector flows on graphs, that is, nowhere-zero flows that assign to each oriented edge a unit vector in $\mathbb R^{3}$. We give a new geometric characterization of $\mathbb S^{2}$-flows on cubic graphs. We also prove that the class of cubic graphs admitting an $\mathbb S^{2}$-flow is closed under a natural composition operation, which yields further constructions; in particular, blowing up a vertex into a triangle preserves the existence of an $\mathbb S^{2}$-flow. Our second contribution is algebraic: we extend the rank-based approach of [SIAM J. Discrete Math., 29 (2015), pp.~2166--2178] from $\mathbb S^{1}$-flows to $\mathbb S^{2}$-flows. More precisely, we show that if an $\mathbb S^{2}$-flow $\varphi$ satisfies $\operatorname{rank}(S_{\mathbb{Q}}(\varphi))\le 2$ and $S_{\mathbb{Q}}(\varphi)$ is odd-coordinate-free, then the graph admits a nowhere-zero $4$-flow.

We study compositions of a positive integer $n$ in which the occurrence of even parts larger than a fixed threshold $k$ is controlled. More precisely, for each composition $m=(m_1,\dots,m_r)$ we consider the number of even parts strictly larger than $k$, and we introduce a two-variable generating function that encodes this statistic. We show that this generating function is rational and obtain explicit closed forms, depending on the parity of $k$. As a consequence, we derive exact counting formulas and linear recurrence relations for the number of compositions of $n$ with a prescribed number of even parts greater than $k$. We also obtain explicit formulas for related refined quantities, such as the number of compositions with an even or odd number of such parts, the total number of their occurrences among all compositions of $n$, and positional statistics describing how late the first such part appears in a composition. This combinatorial problem is motivated by questions arising from combinatorial expansions related to zeta functions of algebraic curves over finite fields, although the results of this paper are entirely combinatorial.

We give a combinatorial realization of a level-$\ell$ Robinson-Schensted-Knuth correspondence conjectured to exist by Song and Wang for cyclotomic Schur categories. We show that cyclotomic basis elements can be canonically reorganized into flagged block composition matrices encoding families of biwords, so that the correspondence is obtained by applying the classical RSK correspondence componentwise. This perspective identifies the level-$\ell$ correspondence as an iteration of classical RSK, specializing to the usual correspondence when $\ell=1$ and behaving naturally under restriction to lower levels.

In 2015, Kawarabayashi and Kreutzer proved the Directed Grid Theorem - the generalisation of the well-known Excluded Grid Theorem to directed graphs - confirming a conjecture by Reed, Johnson, Robertson, Seymour and Thomas from the mid-nineties. The theorem states that there is a function $f$ such that every digraph of directed treewidth $f(k)$ contains a cylindrical grid of order $k$ as a butterfly minor. However, the given function grows faster than any non-elementary function of the size of the grid minor. More precisely, it is larger than a power tower whose height depends on the size of the grid. In this paper, we present an alternative proof of the Directed Grid Theorem which is conceptually much simpler, more modular in composition and improves the upper bound for the function $f$ to a power tower of height $22$. A key concept of our proof is a new structure called cycles of well-linked sets (CWS). We show that any digraph of large directed treewidth contains a large CWS, which in turn contains a large cylindrical grid.

We give recurrences, generating functions and explicit exact expressions for the enumeration of fundamental quantities involving runs in binary strings. We first focus on enumerations concerning runs of ones, and we then analyse the same enumerations when runs of ones and runs of zeros are jointly considered. We give the connections between these two types of run enumeration, and with the problem of compositions. We also analyse the same enumerations with a Hamming weight constraint. We discuss which of the many number sequences that emerge from these problems are already known and listed in the OEIS. Additionally, we extend our main enumerative results to the probabilistic scenario in which binary strings are outcomes of independent and identically distributed Bernoulli variables.

In embedding calculus, spaces of embeddings are identified with derived mapping spaces between framed Fulton-MacPherson-type modules (framed configuration spaces). Unfortunately, there are no sufficiently good algebraic models for framed Fulton-MacPherson modules that would allow us to explicitly describe the rational homotopy type of the embedding space. Recently there were several attempts to avoid dealing with the framed versions of Fulton-MacPherson modules by considering framed manifolds, e.g. embeddings modulo immersions $\overline{\mathrm{Emb}}$ in a recent paper by Fresse, Turchin and Willwacher, or embeddings with a deformation of the framing $\widetilde{\mathrm{Emb}}$ in a recent paper by the author. In both cases, the rational homotopy type of the corresponding embedding space has an explicit description in terms of graphs (hairy graph complexes). We construct a combinatorial graphical composition for the composition of embedding spaces $\widetilde{\mathrm{Emb}}$. As a step on our way, we describe the action of the coinduction functor on configuration-space-type $e_n^c$-comodules.

The common eigenfunctions of the twisted Cherednik operators can be first analyzed in the limit of $q\longrightarrow 1$. Then, the polynomial eigenfunctions form a simple set originating from the symmetric ground state of non-vanishing degree and excitations over it, described by non-symmetric polynomials of higher degrees and enumerated by weak compositions. This pattern is inherited by the full spectrum at $q\neq 1$, which can be considered as a deformation. The whole story looks like a typical NP problem: the Cherednik equations are difficult to solve, but easy to check the solution once it is somehow found.

Seidel switching is a classical operation on graphs which plays a central role in the theory of two-graphs, signed graphs, and switching classes. In this paper we focus on those switches which leave a given graph invariant up to isomorphism. We call such subsets of the vertex set \emph{identity Seidel switches}. After recalling basic properties of Seidel switching and the associated abelian group structure, we introduce Seidel equivalence classes of graphs and then study the structure of the family of identity Seidel switches of a fixed graph. We show that this family forms a 14 pages; 2--group under composition, and we obtain structural constraints on graphs in which many vertices or edges give rise to identity switches. In particular, we derive necessary conditions in terms of degree parameters, and we characterize certain edge-identity switches via an automorphism of an induced subgraph. Several constructions and examples are presented, and some open problems are proposed.

The Akbari-Cameron-Khosrovshahi (ACK) conjecture, which appears to be unresolved, states that for any simple graph $G$ with at least one edge, there exists a nonzero {$\{0,1\}$}-vector in the row space of its adjacency matrix that is not a row of the matrix itself. In this talk, we present a unified framework that includes several families and operations of graphs that satisfy the ACK conjecture. Using these fundamental results, we introduce new graph constructions and demonstrate, through graph structural and linear algebraic arguments, that these constructions adhere to the conjecture. Further, we show that certain graph operations preserve the ACK property. These results collectively expand the known classes of graphs satisfying the conjecture and provide insight into its structural invariance under composition and extension.

We begin with a review of Tutte's homotopy theory, which concerns the structure of certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ''elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ''fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ''higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.

We extend the notion of an $H$-normal quotient digraph of an $H$-vertex-transitive digraph to that of an $H$-subnormal quotient digraph. Using these concepts, together with bipartite halves of bipartite digraphs, we show that, for each finite connected $H$-vertex-transitive, $(H,s)$-arc-transitive digraph with $s\geqslant6$, either some $H$-normal quotient is a directed cycle of length at least $3$, or there is an $(L,t)$-arc-transitive digraph with $t\geqslant (s-3)/2$, and $L$ a vertex-quasiprimitive almost simple group with socle a composition factor of $H$. This connection demonstrates that, to understand finite $s$-arc-transitive digraphs with large $s$, those admitting a vertex-quasiprimitive almost simple $s$-arc-transitive subgroup of automorphisms play a central role. We show that for each $s$ and each odd valency $k$, there are infinitely many $(H,s)$-arc-transitive digraphs of valency $k$ with $H$ a finite alternating group. In addition we discovered a novel construction which takes as input a connected non-bipartite $H$-vertex-transitive, $(H,s)$-arc-transitive digraph, and outputs a connected bipartite $G$-vertex-transitive, $(G,2s)$-arc-transitive digraph with $G=(H\times H).2$. This leads to construction of vertex-bi-quasiprimitive $s$-arc-transitive digraphs, for arbitrarily large $s$. Our investigations yield several new open problems.

Carlitz considered integer compositions in which adjacent parts must be unequal. Arndt recently initiated the study of restricted compositions based on conditions applied to certain pairs of parts rather than to individual parts. Here, we combine and generalize these notions, establishing enumeration results using both combinatorial proofs and generating functions. Motivations for our generalizations include the gap-free compositions studied by Hitczenko and Knopfmacher and the Rogers-Ramanujan integer partitions.

Seaweed algebras are a class of Lie algebras that are naturally characterized by a pair of compositions, which in turn are represented visually as planar graphs called meanders. These meanders provide a straightforward method for computing the index of the associated algebra. The goal of this paper is to enumerate those seaweed algebras with a fixed index and whose associated compositions have restricted part sizes. In particular, we enumerate those with composition part sizes from so-called acyclic sets. We also establish a bijection between sets of indecomposable seaweed algebras with meanders with certain restricted part sizes and sets of permutations with restricted displacements. In certain cases, the index of the algebra can be determined by a simple statistic on the permutation.

Let $t$ be a positive real number. A graph is called \emph{$t$-tough} if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if the toughness of the graph is $t$, and the deletion of any edge from the graph decreases the toughness. Series--parallel graphs are graphs with two distinguished vertices called terminals, formed recursively by two simple composition operations, series and parallel joins. They can be used to model series and parallel electric circuits. We characterize the minimally $t$-tough series-parallel graphs for all $t\ge 1/2$. It is clear that there is no minimally $t$-tough series-parallel graph if $t>1$. We show that for $1\ge t >1/2$, most of the series-parallel graphs with toughness $t$ are minimally $t$-tough, but most of the series-parallel graphs with toughness $1/2$ are not minimally $1/2$-tough.

We study the nullspace of the adjacency matrix of split graphs, whose vertex set can be partitioned into a clique and an independent set. We introduce the clique-kernel, a subspace that decides whether clique vertices lie in the support of a kernel eigenvector, and we prove that its dimension is at most one. This yields the formula $null(Sp) = null(R) + \dim(\mathrm{Cker}(Sp))$, which fully describes the nullity of a split graph in terms of the biadjacency submatrix $R$. We also analyze unbalanced split graphs through the concept of swing vertices and characterize the structure of their kernel supports. Furthermore, we study the behavior of the nullspace under Tyshkevich composition and derive a closed formula for the determinant. These results provide a unified algebraic framework for understanding when a split graph is singular and how its combinatorial structure determines its nullspace.

We consider colored compositions where only some parts are allowed different colors, depending on their locations in the composition. The counting sequences are obtained through generating functions. Connections to many other combinatorial objects are discussed, with combinatorial arguments provided and generalized for these observations.

There is a natural bijection between standard immaculate tableaux of composition shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ set-partitions of $\{ 1, 2, \ldots, n \}$ into $k$ blocks, for the Stirling number $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ of the second kind. We introduce a family of tableaux that we refer to as \emph{lexical tableaux} that generalize immaculate tableaux in such a way that there is a bijection between standard lexical tableaux of shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left[ \begin{smallmatrix} n \\ k \end{smallmatrix} \right] $ permutations on $\{ 1, 2, \ldots, n \}$ with $k$ disjoint cycles. In addition to the entries in the first column strictly increasing, the defining characteristic of lexical tableaux is that the word $w$ formed by the consecutive labels in any row is the lexicographically smallest out of all cyclic permutations of $w$. This includes weakly increasing words, and thus, lexical tableaux provide a natural generalization of immaculate tableaux. Extending this generalization, we introduce a pair of dual bases of the Hopf algebras $\textsf{QSym}$ and $\textsf{NSym}$ defined in terms of lexical tableaux. We present two expansions of these bases, involving the monomial and fundamental bases (or, dually, the ribbon and complete homogeneous bases), using Kostka coefficient analogues and coefficients derived from standard lexical tableaux.

We study lucky cars in subsets of parking functions, called Fubini rankings and unit Fubini rankings. A Fubini ranking is a sequence of nonnegative integers that encodes a valid ranking of competitors, where ties are allowed. A car (or competitor) is said to be lucky if it is the first instance of that rank appearing in the sequence. We present combinatorial characterizations and enumeration formulas for lucky cars in both Fubini rankings and unit Fubini rankings, and establish connections between these objects and ordered set partitions, as well as integer compositions. To obtain our results, we use several techniques to enumerate statistics over these families of objects. In particular, we employ generating functions, bijective and combinatorial arguments, recurrence relations, and Zeilberger's creative telescoping method.

An $n$-dimensional lattice polytope ${\mathcal Q}_σ$ can be associated to any composition $σ$ of a positive integer $n$, as a special case of constructions due to Pitman--Stanley and Chapoton. The entries of the $h$-vector of $σ$, introduced by Chapoton, enumerate the lattice points in ${\mathcal Q}_σ$ by the number of their nonzero coordinates. Chapoton conjectured that this vector is equal to the $h$-vector of a flag simplicial polytope. This paper proves this conjecture. Moreover, it shows that the gamma-vector associated to the $h$-vector of $σ$ is nonnegative by means of an explicit combinatorial interpretation and confirms certain other conjectures of Chapoton on the lattice point enumeration of composition polytopes. A combinatorial interpretation of their $h^\ast$-polynomials is deduced.