arXiv++ Combinatorics

A map is a cellular decomposition of a closed surface. In the framework of classifying all regular maps by their supporting surface, it is an open problem to find all closed surfaces that support no regular maps. Classification of regular maps on surfaces with Euler characteristic $-p, -p^2, -p^3, -2p,$ and $-3p$ has already been done by several authors in a series of papers, which also show that surfaces with these Euler characteristic support no regular maps if the corresponding prime $p$ satisfies certain conditions. In this paper, assuming that $p\geq 5$ is a prime and $i\geq 4$, we show that the order of a Sylow $p$-subgroup of a regular map with Euler characteristic $-p^i$ is bounded by $p^{i-1}$ unless $p\in \{5, 7, 13\}$, and we show the existence of a normal $p$-subgroup for these regular maps whenever a Sylow $p$-subgroup has order at least $\sqrt{p^i}$, laying a solid foundation for using an inductive method to completely characterize regular maps of Euler characteristic $-p^i$. Based on this, we classify all regular maps with Euler characteristic $-p^4$ for a prime $p\geq 5$ in terms of reduced presentations of their automorphism groups. Consequently, a closed surface with Euler characteristic $-p^4$ supports no regular maps if and only if $p\notin \{2,3,5,7,13\}$.

In 2019, investigation of the so-called factor-invariant cubic graphs was initiated by Alspach, Khodadadpour and Kreher. For a cubic graph $Γ$ and a vertex-transitive subgroup $G$ of $\mathrm{Aut}(Γ)$, a $2$-factor $\mathcal{C}$ of $Γ$ is said to be {\em $G$-invariant} if the set $\mathcal{C}$ is preserved by each element of $G$. Investigations of factor-invariant cubic graphs therefore contribute to the rapidly growing theory on cubic vertex-transitive graphs, providing a better insight into the structure of such graphs. Initially, the examples where $\mathcal{C}$ consists of a single or just two cycles were analyzed. In a recent paper by Brian Alspach and the author of this paper, the investigation of the examples for which the corresponding quotient graph $Γ_\mathcal{C}$ of $Γ$ with respect to $\mathcal{C}$ is a cycle was initiated. Moreover, the graphs of the so-called {\em alternating cycle quotient type} were classified. In this paper, the remaining examples, that is the graphs of the {\em bialternating cycle quotient type}, are classified. It is shown that they belong to a previously unknown infinite $5$-parametric family of graphs of girth at most $10$ and that they are Cayley graphs of groups with respect to three involutions.

A cut in a graph $G$ is called a {\em bond} if both parts of the cut induce connected subgraphs in $G$, and the {\em bond polytope} is the convex hull of all bonds. Computing the maximum weight bond is an NP-hard problem even for planar graphs. However, the problem is solvable in linear time on $(K_5 \setminus e)$-minor-free graphs, and in more general, on graphs of bounded treewidth, essentially due to clique-sum decomposition into simpler graphs. We show how to obtain the bond polytope of graphs that are $1$- or $2$-sum of graphs $G_1$ and $ G_2$ from the bond polytopes of $G_1,G_2$. Using this we show that the extension complexity of the bond polytope of $(K_5 \setminus e)$-minor-free graphs is linear. Prior to this work, a linear size description of the bond polytope was known only for $3$-connected planar $(K_5 \setminus e)$-minor-free graphs, essentially only for wheel graphs. We also describe an elementary linear time algorithm for the \MaxBond problem on $(K_5\setminus e)$-minor-free graphs. Prior to this work, a linear time algorithm in this setting was known. However, the hidden constant in the big-Oh notation was large because the algorithm relies on the heavy machinery of linear time algorithms for graphs of bounded treewidth, used as a black box.

An r-partite graph is an interval r-graph if corresponding to each vertex we can assign an interval of the real line such that two vertices u and v of different partite sets are adjacent if and only if their corresponding intervals intersect. In this paper, we provide two vertex-ordering characterizations of interval r-graphs and identify forbidden patterns for interval r-graphs in terms of specific orderings of their vertices.

An element of a group is called \emph{reversible} if it is conjugate to its inverse, and \emph{strongly reversible} if it can be expressed as a product of two involutions. We study strongly reversible elements in the Riordan group and in several of its important subgroups. We show that not every reversible element in the Riordan group is strongly reversible, and we investigate products of reversible elements in the Riordan group.

Let $p(n)$ denote the number of partitions of a natural number $n$. As $ n \to \infty$, the $n$th root of $p(n)$ tends to $1$, which is related to the Cauchy--Hadamard test for power series. Andrews also discovered an elementary proof. Sun conjectured that this happens in a certain way for $n\geq 6$: \begin{equation*} \sqrt[n]{p(n)} > \sqrt[n+1]{p(n+1)}. \end{equation*} The conjecture was proved by Wang and Zhu; shortly thereafter, Chen and Zheng independently obtained a second proof. In this paper, we follow an approach by Rota. We consider $p(n)$ as special values of the D'Arcais polynomials, known as the Nekrasov--Okounkov polynomials. This identifies Sun's conjecture as a property of the largest real zero of certain polynomials. This leads to results towards $k$-coloured partitions, overpartitions, and plane partitions. Moreover, we also consider Chebyshev and Laguerre polynomials. The main purpose of this paper is to offer a uniform approach.

A graph is said to be globally rigid in $d$-dimensional space if almost all of its embeddings are unique up to isometries. If a graph has enough automorphisms to send any of its vertices into any other, then it is called vertex-transitive. We show that, in any dimension, highly regular vertex-transitive graphs are globally rigid, positively answering a conjecture of Sean Dewar. Furthermore, we construct examples that show that our constant for regularity is best possible.

We introduce the rank-nullity ring of a matroid $M$, which is a subring of the Chow ring of the permutahedral toric variety. This subring contains the tautological Chern classes of $M$, a fact we deduce from a highly symmetric formula for these classes. When the matroid $M$ is a uniform matroid, the rank-nullity ring coincides with the subring of $S_n$-invariants of the Chow ring of the permutahedral toric variety. In this case, we compute its Hilbert function explicitly and provide a Gröbner basis for the ideal of relations among its generators.

We present new invariants, APN-extendibility criterion and a backtracking approach to identify several numerical facts supporting the conjecture that the set of 6-bit \APN functions is limited to 14 CCZ-classes.

We prove rigidity results describing contextually-constrained maps defined on Grassmannians and manifolds of ordered independent line tuples in finite-dimensional vector or Hilbert spaces. One statement in the spirit of the Fundamental Theorem of Projective Geometry classifies maps between full Grassmannians of two $n$-dimensional Hilbert spaces, $n\ge 3$, preserving dimension and lattice operations for pairs with commuting orthogonal projections, as precisely those induced by semilinear injections unique up to scaling. In a different but related direction, denote the manifolds of ordered orthogonal (linearly-independent) $n$-tuples of lines in an $n$-dimensional Hilbert space $V$ by $\mathbb{F}^{\perp}(V)$ (respectively $\mathbb{F}(V)$) and, for partitions $π$ of the set $\{1..n\}$, call two tuples $π$-linked if the spans along $π$-blocks agree. A Wigner-style rigidity theorem proves that the symmetric maps $\mathbb{F}^{\perp}(\mathbb{C}^n)\to \mathbb{F}(\mathbb{C}^n)$, $n\ge 3$ respecting $π$-linkage are precisely those induced by semilinear injections, hence by linear or conjugate-linear maps if also assumed measurable. On the other hand, in the $\mathbb{F}(\mathbb{C}^n)$-defined analogue the only other possibility is a qualitatively new type of purely-contextual-global symmetry transforming a tuple $(\ell_i)_i$ of lines into $\left(\left(\bigoplus_{j\ne i}\ell_j\right)^{\perp}\right)_i$.