arXiv++ Combinatorics

We introduce a regularity method for sparse graphs, with new regularity and counting lemmas which use the Schatten-von-Neumann norms to measure uniformity. This leads to $k$-cycle removal lemmas in subgraphs of mildly-pseudorandom graphs, and also in graphs lacking a quasi-smooth family of bipartite subgraphs, extending results of Conlon, Fox, Sudakov and Zhao. We give some applications in additive combinatorics: one about translation-invariant linear equations in subsets of mildly-pseudorandom sets, one about such equations in generalized Sidon sets, and one about polygonal patterns in subsets of $\mathbf{Z}^2$ with few parallelograms (giving a two-dimensional analogue for a result of Prendiville). Separately, our regularity lemma implies a dense graph removal lemma with mild constant dependencies, in graphs whose spectral $L^{2-\varepsilon}$ norms are small.

Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's septuple identity. We view these series expansions as representations in canonical bases of certain vector spaces of quasiperiodic meromorphic functions (related to sections of line and vector bundles), and find new identities for two nonuple products, an undecuple product, and several two-variable Rogers-Ramanujan type sums. Our main theorem explains a correspondence between the septuple product identity and the two original Rogers-Ramanujan identities, involving two-variable analogues of fifth-order mock theta functions. We also prove a similar correspondence between an octuple product identity of Ewell and two simpler variations of the Rogers-Ramanujan identities, which is related to third-order mock theta functions, and conjecture other occurrences of this phenomenon. As applications, we specialize our results to obtain identities for quotients of generalized Dedekind eta functions and mock theta functions.

This paper proposes a new, visual method to study numerical semigroups and the Frobenius problem. The method is based on building a so-called reduction graph, whose nodes usually correspond to monogenic semigroups, and whose edges can have multiple inputs and outputs. If such a construction is possible, then determining whether the studied semigroup is symmetric, or finding explicit forms of its Apéry set and Hilbert series, is reduced to straightforward computations assisted by a MAPLE program we made available on arXiv. This approach applies to many of the cases considered in literature, including semigroups generated by arithmetic and geometric sequences, compound sequences, progressions of the form $a^n, a^n + a, \ldots, a^n + a^{n-1}$, triangular and tetrahedral numbers, certain Fibonacci triplets, etc. After explaining the general approach in more detail, the paper studies the types of edges that can be used as building blocks of a reduction graph, as well as a series of operations that serve to modify or combine valid reduction graphs. In the end of the paper, we use these techniques to solve the Frobenius problem for 7 new classes of numerical semigroups.