arXiv++ Combinatorics

For a non-decreasing positive integer sequence $S = (s_{1}, \dots, s_{k})$, an $S$-packing edge-coloring of a graph $G$ is a partition of the edge set of $G$ into subsets $E_{1}, \dots, E_{k}$ such that for each $1 \leq i \leq k$, the distance between any two distinct edges $e_{1}, e_{2} \in E_{i}$ is at least $s_{i} + 1$. Gastineau and Togni conjectured that cubic graphs, except the Petersen and Tietze graphs, admit $(1, 1, 1, 3)$-packing edge-colorings. In this paper, we prove that every claw-free cubic graph admits such a coloring.

An integer sequence $(a_n)_{n \in \mathbb{N}}$ is \emph{MC-finite} if for all $m$, the sequence $a_n \bmod m$ is eventually periodic. There are MC-finite sequences $(a_n)_{n \in \mathbb{N}}$ such that the function $F: (m,n) \mapsto a_n \bmod m$ is not computable. In \cite{filmus2023mc} we presented concrete examples of MC-finite sequences taken from the Online Encyclopedia of Integer Sequences (OEIS) without discussing the computability of $F$. In this paper we discuss cases when this $F$ is effectively computable.

The complementary second Zagreb index of a graph $G$ is defined as $cM_2(G)=\sum_{uv\in E(G)}|(d_u(G))^2-(d_v(G))^2|$, where $d_u(G)$ denotes the degree of a vertex $u$ in $G$ and $E(G)$ represents the edge set of $G$. Let $G^*$ be a graph having the maximum value of $cM_2$ among all connected graphs of order $n$. Furtula and Oz [MATCH Commun. Math. Comput. Chem. 93 (2025) 247--263] conjectured that $G^*$ is the join $K_k+\overline{K}_{n-k}$ of the complete graph $K_k$ of order $k$ and the complement $\overline{K}_{n-k}$ of the complete graph $K_{n-k}$ such that the inequality $k<\lceil n/2 \rceil$ holds. We prove that (i) the maximum degree of $G^*$ is $n-1$ and (ii) no two vertices of minimum degree in $G^*$ are adjacent; both of these results support the aforementioned conjecture. We also prove that the number of vertices of maximum degree in $G^*$, say $k$, is at most $-\frac{2}{3}n+\frac{3}{2}+\frac{1}{6}\sqrt{52n^2-132n+81}$, which implies that $k<5352n/10000$. Furthermore, we establish results that support the conjecture under consideration for certain bidegreed and tridegreed graphs. In the aforesaid paper, it was also mentioned that determining the $k$ as a function of the $n$ is far from being an easy task; we obtain the values of $k$ for $5\le n\le 149$ in the case of certain bidegreed graphs by using computer software and found that the resulting sequence of the values of $k$ does not exist in "The On-Line Encyclopedia of Integer Sequences" (an online database of integer sequences).

In this paper, we extend recent results by Lv and Kitaev by proving 20 (out of 22 possible) joint equidistributions of mesh patterns 123 and 321 with symmetric shadings, as well as all 36 joint equidistributions of these patterns with minus-antipodal shadings. Our results link several joint equidistributions of mesh patterns to various integer sequences, including unsigned Stirling numbers of the first kind, harmonic numbers, and the numbers of inversion sequences avoiding a certain vincular pattern studied by Lin and Yan.

The study of some parametric integrals is presented with a combined approach of analytical development, the usage of a Computed Algebra System (CAS) and of the Online Encyclopedia of Integer Sequences. The methodology for the solution includes a) an analytical investigation for the study of the parametric integral, b) computations with a CAS of the integral for specific values of the parameter, c) investigation of the connection between the integral and special functions or classical numbers, and d) derivation of a general algorithm for the complete computation of the parametric integral. The central example of the paper is the parametric integral \begin{equation*} \label{the general integral} I_{n}^{(p)}=\int_0^{π/4} x^p \tan^n x\; dx, \end{equation*} The work reveals a connection of this parametric integral with Catalan numbers.

In this paper, we propose a general framework that extends the theory of permutation patterns to higher dimensions and unifies several combinatorial objects studied in the literature. Our approach involves introducing the concept of a "level" for an element in a multi-dimensional permutation, which can be defined in multiple ways. We consider two natural definitions of a level, each establishing connections to other combinatorial sequences found in the Online Encyclopedia of Integer Sequences (OEIS). Our framework allows us to offer combinatorial interpretations for various sequences found in the OEIS, many of which previously lacked such interpretations. As a notable example, we introduce an elegant combinatorial interpretation for the Springer numbers: they count weakly increasing 3-dimensional permutations under the definition of levels determined by maximal entries.

A cryptarithm (or alphametic) is a mathematical puzzle in which numbers are represented with words in such a way that identical letters stand for equal digits and distinct letters for unequal digits. An alphametic puzzle is usually given in the form of an equation that needs to be solved, such as SEND + MORE = MONEY. Alternatively, here we will consider cryptarithms constrained not by an equation but by a particular subsequence of natural numbers, for example perfect squares or primes. Such a cryptarithm has a unique solution if there is exactly one term in the sequence that has the corresponding pattern of digits. We will call such terms cryptarithmically unique. Here we estimate the density of such terms in an arbitrary sequence for which the overall density of terms among integers is known. In particular, among all perfect squares below 10^12, slightly less than one half are cryptarithmically unique, their density increasing toward larger numbers. Cryptarithmically unique prime numbers, however, are initially very scarce. Combinatorial estimates suggest that their density should drop below 10^-300 for decimal lengths of approximately 1829 digits, but then it recovers and is asymptotic to unity for very large primes. Finally, we introduce and discuss primonumerophobic digit patterns that no prime number happens to have.

We introduce totally nonnegative Grassmannians over finite fields where an element of a finite field is nonnegative if it is a square of an element of the finite field. Explicit point counts are given in some special cases where we find new interpretations of sequences in the On-Line Encyclopedia of Integer Sequences (OEIS). We compare and contrast the theory of totally nonnegative Grassmannians over a finite field with the traditional case of the field of real numbers.

We give a formula for counting the triangles in a picture consisting of the three sides of a triangle and some cevians. This lets us prove statements that are claimed without proof in the Online Encyclopedia of Integer Sequences and some popular YouTube videos, and also prove some new results. We also give formulas that apply when the cevians cut each side into equal-length pieces.

We study some representations of symmetric groups arising from a certain ideal in the coordinate ring of affine n-space. Our results give graded and representation-theoretic enhancements of sequence 337 of the Online Encyclopaedia of Integer Sequences, involving a symmetric version of the Bernoulli triangle.

We study a family of Riordan arrays whose square symmetrizations lead to the Robbins numbers as well as numbers associated to the $20$ vertex model. We provide closed-form expressions for the elements of these arrays, and also give a canonical Catalan factorization for them. We describe a related family of Riordan arrays whose symmetrizations also lead to the same integer sequences.

In this paper, we first give a new result characterizing the strongly connected digraphs with a diameter equal to that of their line digraphs. Then, we introduce the concepts of the inner diameter and inner radius of a digraph and study their behaviors in its iterated line digraphs. Furthermore, we provide a method to characterize sequences of integers (corresponding to the inner diameter or the number of vertices of a digraph and its iterated line digraphs) that satisfy some conditions. Among other examples, we apply the method to the cyclic Kautz digraphs, square-free digraphs, and the subdigraphs of De Bruijn digraphs. Finally, we present some tables with new sequences that do not belong to The On-Line Encyclopedia of Integer Sequences.

Using the Jacobi-Trudi identity as a base, we establish parallels between the theory of totally positive integer sequences and Koszul algebras. We then focus on the case of quadric hypersurface rings and use this parallel to construct new analogues of Schur modules. We investigate some of their Lie-theoretic properties (and in more detail in a followup article) and use them to construct pure free resolutions for quadric hypersurface rings which are completely analogous to the construction given by Eisenbud, Fløystad, and Weyman in the case of polynomial rings.

We present an algorithm to compute the domination polynomial of the $m \times n$ grid, cylinder, and torus graphs and the king graph. The time complexity of the algorithm is $O(m^2n^2 λ^{2m})$ for the torus and $O(m^3n^2λ^m)$ for the other graphs, where $λ= 1+\sqrt{2}$. The space complexity is $O(mnλ^m)$ for all of these graphs. We use this algorithm to compute domination polynomials for graphs up to size $24\times 24$ and the total number of dominating sets for even larger graphs. This allows us to give precise estimates of the asymptotic growth rates of the number of dominating sets. We also extend several sequences in the Online Encyclopedia of Integer Sequences.

Let us consider a collection $\mathcal G$ of codewords of length $n$ over an alphabet of size $s$. Let $t_1,\ldots, t_s$ be nonnegative integers. What is the maximum of $|\mathcal G|$ subject to the condition that any two codewords should have at least $t_i$ positions where both have letter $i$ ($1\le i\le s$). In the case $s=2$ it is a longstanding open question. Quite surprisingly, we obtain an almost complete answer for $s\ge 3$. The main tool is a correlation inequality.

Descents of odd length in Dyck paths are discussed, taking care of some variations. The approach is based on generating functions and the kernel method and augments relations about them from the Encyclopedia of Integer Sequences, that were pointed out by David Callan.

Let $\{a_i\}_{i=1}^\ell$ be a strongly unimodal positive integer sequence with peak position $k$. The rank of such sequence is defined to be $\ell-2k+1$. Let $u(m,n)$ denote the number of sequences $\{a_i\}_{i=1}^\ell$ with rank $m$ and $\sum_{i=1}^{\ell} a_i=n$. Bringmann, Jennings-Shaffer, Mahlburg and Rhoades conjectured that $\{u(m,n)\}_m$ is strongly log-concave for any fixed $n$. Motivated by this conjecture, in this paper we prove the strongly unimodality of $\{u(m,n)\}_m$, that is $u(m,n)>u(m+1,n)$ for $m\ge 0$ and $n\ge \max\{6,{m+2\choose 2}\}$. This result gives supportive evidence for the above conjecture. Moreover, we find a combinatorial interpretation of $u(m,n)$, which leads to a new combinatorial interpretation of ${\rm ospt}(n)$. Furthermore, using this new combinatorial interpretation, a lower bound and an asymptotic formula on ${\rm ospt}(n)$ will be presented.

Introduced in 2012, by Zhang, Zhao, and Nijhoff, the trilinear Boussinesq equation is the natural form of the equation for the $τ$-function of the lattice Boussinesq system. In this paper we study various aspects of this equation: its highly nontrivial derivation from the bilinear lattice AKP equation under dimensional reduction, a quadrilinear dual lattice equation, conservation laws, and periodic reductions leading to higher-dimensional integrable maps and their Laurent property. Furthermore, we consider a higher Gel'fand-Dikii lattice system, its periodic reductions and Laurent property. As a special application, from both a trilinear Boussinesq recurrence as well as a higher Gel'fand-Dikii system of three bilinear recurrences, we establish Somos-like integer sequences.

Given a (proper) vertex coloring $f$ of a graph $G$, say $f\colon V(G)\to \mathbb{N}$, the difference edge labelling induced by $f$ is a function $h\colon E(G)\to \mathbb{N}$ defined as $h(uv)=|f(u)-f(v)|$ for every edge $uv$ of $G$. A graceful coloring of $G$ is a vertex coloring $f$ of $G$ such that the difference edge labelling $h$ induced by $f$ is a (proper) edge coloring of $G$. A graceful coloring with range $\{1,2,\dots,k\}$ is called a graceful $k$-coloring. The least integer $k$ such that $G$ admits a graceful $k$-coloring is called the graceful chromatic number of $G$, denoted by $χ_g(G)$. We prove that $χ(G^2)\leq χ_g(G)\leq a(χ(G^2))$ for every graph $G$, where $a(n)$ denotes the $n$th term of the integer sequence A065825 in OEIS. We also prove that graceful coloring problem is NP-hard for planar bipartite graphs, regular graphs and 2-degenerate graphs. In particular, we show that for each $k\geq 5$, it is NP-complete to check whether a planar bipartite graph of maximum degree $k-2$ is graceful $k$-colorable. The complexity of checking whether a planar graph is graceful 4-colorable remains open.

In the proof of the irrationality of $ζ(3)$ and $ζ(2)$, Apéry defined two integer sequences through $3$-term recurrences, which are known as the famous Apéry numbers. Zagier, Almkvist--Zudilin and Cooper successively introduced the other $13$ sporadic sequences through variants of Apéry's $3$-term recurrences. All of the $15$ sporadic sequences are called Apéry-like sequences. Motivated by Gessel's congruences mod $24$ for the Apéry numbers, we investigate the congruences in the form $u_n\equiv α^n \pmod{N_α}~(α\in \mathbb{Z},N_α\in \mathbb{N}^{+})$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$. Let $N_α$ be the largest positive integer such that $u_n\equiv α^n \pmod{N_α}$ for all non-negative integers $n$. We determine the values of $\max\{N_α|α\in \mathbb{Z}\}$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$.The binomial transforms of Apéry-like sequences provide us a unified approach to this type of congruences for Apéry-like sequences.