sequence
6845 papers tagged with this keyword
Density and Symmetry in the Generalized Motzkin Numbers mod $p$
We give a formula for the density of $0$ in the sequence of generalized Motzkin numbers, $M^{a, b}_n$, modulo a prime, $p$, in terms of the first $p$ generalized central trinomial coefficients $T^{a, b}_n\bmod p$ (with $n<p$). We apply our method to various other sequences to obtain similar formulas. We also prove that $T^{a, b}_{p-1-n}\equiv (b^2-4a^2)^{\frac{p-1}{2}-n}T^{a, b}_n\pmod p$ to obtain tight lower bounds for the density of $0$ in our sequences. This symmetry of the first $p$ central trinomial coefficients mod $p$ also appears in a couple of other applications, including the proof of a novel symmetry of the first $p-2$ Motzkin numbers that is of independent interest: $M^{a, b}_{p-3-n}\equiv (b^2-4a^2)^{\frac{p-3}{2}-n}M^{a, b}_n\pmod p$.
Simultaneous edge-colourings
We study a generalisation of Vizing's theorem, where the goal is to simultaneously colour the edges of graphs $G_1,\dots,G_k$ with few colours. We obtain asymptotically optimal bounds for the required number of colours in terms of the maximum degree $Δ$, for small values of $k$ and for an infinite sequence of values of $k$. This asymptotically settles a conjecture of Cabello for $k=2$. Moreover, we show that $\sqrt k Δ+ o(Δ)$ colours always suffice, which tends to the optimal value as $k$ grows. We also show that $\ell Δ+ o(Δ)$ colours are enough when every edge appears in at most $\ell$ of the graphs, which asymptotically confirms a conjecture of Cambie. Finally, our results extend to the list setting. We also find a close connection to a conjecture of Füredi, Kahn, and Seymour from the 1990s and an old problem about fractional matchings.
The fundamental group and the magnitude-path spectral sequence of a directed graph
The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The fundamental group of a directed graph is related to path homology through the Hurewicz theorem. The magnitude-path spectral sequence connects magnitude homology and path homology of a directed graph, and it may be thought of as a sequence of homology of a directed graph, including path homology. In this paper, we study relations of the $r$-fundamental groups and the magnitude-path spectral sequence through the Hurewicz theorem and the Seifert-van Kampen theorem.
Patterns in Multi-dimensional Permutations
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.
Level of Regions for Deformed Braid Arrangements
This paper primarily investigates a specific type of deformation of the braid arrangement $\mathcal{B}_n$ in $\mathbb{R}^n$, denoted by $\mathcal{B}_n^A$ and defined in (1.2). Let $r_l(\mathcal{B}_n^A)$ be the number of regions of level $l$ in $\mathcal{B}_n^A$ with the corresponding exponential generating function $R_l(A;x)$. Using the weighted digraph model introduced by Hetyei [11], we establish a bijection between regions of level $l$ in $\mathcal{B}_n^A$ and valid $m$-acyclic weighted digraphs on the vertex set $[n]$ with exactly $l$ strong components. Based on this bijection, we obtain a property analogous to a polynomial sequence of binomial type, that is, $R_l(A;x)$ satisfies the relation
\[
R_l(A;x)=\big(R_1(A;x)\big)^l=R_k(A;x)R_{l-k}(A;x).
\]
Furthermore, the values $r_l(\mathcal{B}_n^A)$ yield a combinatorial interpretation for the coefficients in the expansion of the characteristic polynomial $χ_{\mathcal{B}_n^A}(t)$ in the basis elements $\binom{t}{l}$, that is, \[χ_{\mathcal{B}_n^A}(t)=\sum_{l=0}^n(-1)^{n-l}r_l(\mathcal{B}_n^A)\binom{t}{l}.\] If $n$, $a$ and $b$ are non-negative integers with $n\ge 2$ and $b-a\ge n-1$, for the deformation $\mathcal{B}_n^{[-a,b]}$ defined in (1.3), its characteristic polynomial has a single real root $0$ of multiplicity one when $n$ is odd, and has one more real root $\frac{n(a+b+1)}{2}$ of multiplicity one when $n$ is even.
Growing conditioned BGW trees with log-concave offspring distributions
We show that given a log-concave offspring distribution, the corresponding sequence of Bienaymé-Galton-Watson trees conditioned to have $n\geq 1$ vertices admits a realization as a Markov process $(T_n)_{n\geq1}$ which adds a new "right-leaning" leaf at each step. This applies for instance to offspring distributions which are Poisson, binomial, geometric, or any convolution of those. By a negative result of Janson, the log-concavity condition is optimal in the restricted case of offspring distributions supported in $\{0,1,2\}$. We then prove a generalization to the case of an offspring distribution supported on an arithmetic progression, if we assume log-concavity along that progression.
As an application, we deduce the existence of increasing couplings in an inhomogeneous model of random subtrees of the Ulam--Harris tree. This is equivalent to the statement that, in a corresponding inhomogeneous Bernouilli percolation model on a regular tree, the root cluster is stochastically increasing in its size.
These results generalize a construction of Luczak and Winkler which applies to uniformly sampled subtrees with $n$ vertices of the infinite complete $d$-ary trees. Our proofs are elementary and we tried to make them as self-contained as possible.
Facet-Hamiltonicity
We consider facet-Hamiltonian cycles of polytopes, defined as cycles in their skeleton such that every facet is visited exactly once. These cycles can be understood as optimal watchman routes that guard the facets of a polytope. We consider the existence of such cycles for a variety of polytopes, the facets of which have a natural combinatorial interpretation. In particular, we prove the following results:
- Every permutahedron has a facet-Hamiltonian cycle. These cycles consist of circular sequences of permutations of $n$ elements, where two successive permutations differ by a single adjacent transposition, and such that every subset of $[n]$ appears as a prefix in a contiguous subsequence. With these cycles we associate what we call rhombic strips which encode interleaved Gray codes of the Boolean lattice, one Gray code for each rank. These rhombic strips correspond to simple Venn diagrams.
- Every generalized associahedron has a facet-Hamiltonian cycle. This generalizes the so-called rainbow cycles of Felsner, Kleist, Mütze, and Sering (SIDMA 2020) to associahedra of any finite type. We relate the constructions to the Conway-Coxeter friezes and the bipartite belts of finite type cluster algebras.
- Graph associahedra of wheels, fans, and complete split graphs have facet-Hamiltonian cycles. For associahedra of complete bipartite graphs and caterpillars, we construct facet-Hamiltonian paths. The construction involves new insights on the combinatorics of graph tubings.
We also consider the computational complexity of deciding whether a given polytope has a facet-Hamiltonian cycle and show that the problem is NP-complete, even when restricted to simple 3-dimensional polytopes.
Parks: A Doubly Infinite Family of NP-Complete Puzzles and Generalizations of A002464
The Parks Puzzle is a paper-and-pencil puzzle game that is classically played on a square grid with different colored regions (the parks). The player needs to place a certain number of "trees" in each row, column, and park such that none are adjacent, even diagonally. We define a doubly-infinite family of such puzzles, the $(c, r)$-tree Parks puzzles, where there need be $c$ trees per column and $r$ per row. We then prove that for each $c$ and $r$ the set of $(c, r)$-tree puzzles is NP-complete. For each $c$ and $r$, there is a sequence of possible board sizes $m \times n$, and the number of possible puzzle solutions for these board sizes is a doubly-infinite generalization of OEIS sequence A002464, which itself describes the case $c = r = 1$. This connects the Parks puzzle to chess-based puzzle problems, as the sequence describes the number of ways to place non-attacking kings on a chessboard so that there is exactly one in each column and row (i.e. to place non-attacking dragon kings in shogi). These findings add yet another puzzle to the set of chess puzzles and expands the list of known NP-complete problems described.
A note on the lacking polynomial of the complete bipartite graph
The lacking polynomial is a graph polynomial introduced by Chan, Marckert, and Selig in 2013 that is closely related to the Tutte polynomial of a graph. It arose by way of a generalization of the Abelian sandpile model and is essentially the generating function of the level statistic on the set of recurrent configurations, called stochastically recurrent states, for that model. In this note we consider the lacking polynomial of the complete bipartite graph. We classify the stochastically recurrent states of the stochastic sandpile model on the complete bipartite graphs $K_{2,n}$ and $K_{m,2}$ where the sink is always an element of the set counted by the first index. We use these characterizations to give explicit formulae for the lacking polynomials of these graphs. Log-concavity of the sequence of coefficients of these two lacking polynomials is proven, and we conjecture log-concavity holds for this general class of graphs.
An alternating colouring function on strings
An alternating colouring function is defined on strings over the alphabet $\{0, 1\}$. It divides the strings in colourable and non-colourable ones. The points in the subshift of finite type defined by forbidding all non-colourable strings of a certain length alternate between states of one colour and states of the other colour. In other words, the points in the 2nd power shifts all have the same colour. The number $K_n$ of non-colourable strings of length $n \ge 2$ is shown to be $2 \cdot (J_{n-2} + 1)$ where $J$ is the sequence of Jacobsthal numbers. The number of sources and sinks in the de Bruijn graph of dimension $n \ge 3$ with non-colourable edges removed is shown each to be $K_n - 4$.
10-list Recoloring of Planar Graphs
Published in European Journal of Combinatorics. Vol. 130, December 2025, Article 104190, 20pp
• Search Publication
Fix a planar graph $G$ and a list-assignment $L$ with $|L(v)|=10$ for all $v\in V(G)$. Let $α$ and $β$ be $L$-colorings of $G$. A recoloring sequence from $α$ to $β$ is a sequence of $L$-colorings, beginning with $α$ and ending with $β$, such that each successive pair in the sequence differs in the color on a single vertex of $G$. We show that there exists a constant $C$ such that for all choices of $α$ and $β$ there exists a recoloring sequence $σ$ from $α$ to $β$ that recolors each vertex at most $C$ times. In particular, $σ$ has length at most $C|V(G)|$. This confirms a conjecture of Dvořák and Feghali. For our proof, we introduce a new technique for quickly showing that many configurations are reducible. We believe this method may be of independent interest and will have application to other problems in this area.
Simplifying and Characterizing DAGs and Phylogenetic Networks via Least Common Ancestor Constraints
Rooted phylogenetic networks, or more generally, directed acyclic graphs (DAGs), are widely used to model species or gene relationships that traditional rooted trees cannot fully capture, especially in the presence of reticulate processes or horizontal gene transfers. Such networks or DAGs are typically inferred from observable data (e.g. genomic sequences of extant species), providing only an estimate of the true evolutionary history. However, these inferred DAGs are often complex and difficult to interpret. In particular, many contain vertices that do not serve as least common ancestors (LCAs) for any subset of the underlying genes or species, thus may lack direct support from the observable data. In contrast, LCA vertices are witnessed by historical traces justifying their existence and thus represent ancestral states substantiated by the data. To reduce unnecessary complexity and eliminate unsupported vertices, we aim to simplify a DAG to retain only LCA vertices while preserving essential evolutionary information.
In this paper, we characterize $\mathrm{LCA}$-relevant and $\mathrm{lca}$-relevant DAGs, defined as those in which every vertex serves as an LCA (or unique LCA) for some subset of taxa. We introduce methods to identify LCAs in DAGs and efficiently transform any DAG into an $\mathrm{LCA}$-relevant or $\mathrm{lca}$-relevant one while preserving key structural properties of the original DAG or network. This transformation is achieved using a simple operator ``$\ominus$'' that mimics vertex suppression.
Asymptotic Bounds and Online Algorithms for Average-Case Matrix Discrepancy
We study the matrix discrepancy problem in the average-case setting. Given a sequence of $m \times m$ symmetric matrices $A_1,\ldots,A_n$, its discrepancy is defined as the minimal spectral norm over all signed sums $\sum_{i=1}^n x_iA_i$ with $x_1,\ldots,x_n \in \{\pm1\}$. Our contributions are twofold. First, we study the asymptotic discrepancy of random matrices. When the matrices belong to the Gaussian orthogonal ensemble, we provide a sharp characterization of the asymptotic discrepancy and show that the limiting distribution is concentrated around $Θ(\sqrt{nm}4^{-(1 + o(1))n/m^2})$, under the assumption $m^2 \ll n/\log{n}$. We observe that the trivial bound $O(\sqrt{nm})$ cannot be improved when $n \ll m^2$ and show that this phenomenon occurs for a broad class of random matrices. In the case $n = Ω(m^2)$, we provide a matching upper bound. Second, we analyse the matrix hyperbolic cosine algorithm, an online algorithm for matrix discrepancy minimization due to Zouzias (2011), in the average-case setting. We show that the algorithm achieves with high probability a discrepancy of $O(m\log{m})$ for a broad class of random matrices, including Wigner matrices with entries satisfying a hypercontractive inequality and Gaussian Wishart matrices.
Periodic orbits on 2-regular circulant digraphs
Periodic orbits (equivalence classes of closed paths up to cyclic shifts) play an important role in applications of graph theory. For example, they appear in the definition of the Ihara zeta function and exact trace formulae for the spectra of quantum graphs. Circulant graphs are Cayley graphs of $\mathbb{Z}_n$. Here we consider directed Cayley graphs with two generators (2-regular Cayley digraphs). We determine the number of primitive periodic orbits of a given length (total number of directed edges) in terms of the number of times edges corresponding to each generator appear in the periodic orbit (the step count). Primitive periodic orbits are those periodic orbits that cannot be written as a repetition of a shorter orbit. We describe the lattice structure of lengths and step counts for which periodic orbits exist and characterize the repetition number of a periodic orbit by its winding number (the sum of the step sequence divided by the number of vertices) and the repetition number of its step sequence. To obtain these results, we also evaluate the number of Lyndon words on an alphabet of two letters with a given length and letter count.
Combinatorial connections in snake graphs: Tilings, lattice paths, and perfect matchings
Snake graphs and their perfect matchings play a key role in the description of cluster variables of cluster algebras associated to surfaces. In this paper, we introduce triangular snake graphs and establish a bijection between their routes (non-intersecting lattice paths), perfect matchings of their underlying snake graphs, and tilings. As an application, we show that the number of perfect matchings in straight snake graphs can be expressed in terms of determinants of Hankel matrices with Catalan number entries. Moreover, we prove that the number of perfect matchings in snake graphs can be expressed as a sum of products of Fibonacci numbers, and we show how Fibonacci and Pell sequences arise from determinants of matrices with Fibonacci entries.
Dual Mixed Volume
We define and study the dual mixed volume rational function of a sequence of polytopes, a dual version of the mixed volume polynomial. This concept has direct relations to the adjoint polynomials and the canonical forms of polytopes. We show that dual mixed volume is additive under mixed subdivisions, and is related by a change of variables to the dual volume of the Cayley polytope. We study dual mixed volume of zonotopes, generalized permutohedra, and associahedra. The latter reproduces the planar $φ^3$-scalar amplitude at tree level.
Berge Pancyclic hypergraphs
A Berge cycle of length $\ell$ in a hypergraph is an alternating sequence of $\ell$ distinct vertices and $\ell$ distinct edges $v_1,e_1,v_2, \ldots, v_\ell, e_{\ell}$ such that $\{v_i, v_{i+1}\} \subseteq e_i$ for all $i$, with indices taken modulo $\ell$. We call an $n$-vertex hypergraph pancyclic if it contains Berge cycles of every length from $3$ to $n$. We prove a sharp Dirac-type result guaranteeing pancyclicity in uniform hypergraphs: for $n \geq 70$, $3 \leq r \leq \lfloor (n-1)/2\rfloor - 2$, if $\cH$ is an $n$-vertex, $r$-uniform hypergraph with minimum degree at least ${\lfloor (n-1)/2 \rfloor \choose r-1} + 1$, then $\cH$ is pancyclic.
Adjacent cycle-chains are $e$-positive
We describe a way to decompose the chromatic symmetric function as a positive sum of smaller pieces. We show that these pieces are $e$-positive for cycles. Then we prove that attaching a cycle to a graph preserves the $e$-positivity of these pieces. From this, we prove an $e$-positive formula for graphs of cycles connected at adjacent vertices. We extend these results to graphs formed by connecting a sequence of cycles and cliques.
Bijections for generalized Wilf equivalences
Starting with an inclusion-exclusion proof of a combinatorial identity, a direct bijection can be produced using recursive subtraction (sometimes with a direct combinatorial description). We apply this method to identities for generalized Wilf equivalences among consecutive patterns in inversion sequences, giving direct bijective proofs of some generalized Wilf equivalences shown by Auli and Elizalde. We also give new bijective proofs of a stronger relation among some consecutive patterns.
Multifold Convolutions, Generating Functions and 1d Random Walks
We consider multifold convolutions of a combinatorial sequence $(a_n)_{n=0}^{\infty}$: namely, for each $k \in \N$ the $k$-fold convolution is $\mathcal{M}^{(k)}_n(\boldsymbol{a}) = \sum_{j_1+\dots+j_k=n} a_{j_1} \cdots a_{j_k}$. Let $C_n$ be the Catalan numbers, and let $B_n$ be the central binomial coefficients. Then for random Dyck paths or simple random walk bridges, the multifold convolutions give moments of returns to the origin, using the stars-and-bars problem. There are well-known explicit formulas for the multifold convolutions of $C_n$ and $B_n$. But even for combinatorial sequences $B_n^2$ and $B_n^3$, one may determine asymptotics of multifold convolutions for large $n$. We also discuss large deviations: In a second part of the paper we consider an elementary version of the circle method for calculating asymptotics using complex analysis.