sequence
7033 papers tagged with this keyword
Finite-n Estimate of Dedekind Numbers by Layer-Ratio Monte Carlo
Published in Mathematics 14(18), 3300 (2026)
• View Publication
• BIB
Dedekind's problem counts monotone Boolean functions, equivalently downsets of a Boolean lattice. We recast this enumeration as a finite layer-ratio reconstruction problem for the Whitney numbers of the ranked ideal lattice. An exact adjacent-layer double count expresses each layer ratio through local averages of the number of addable elements and the number of removable elements. Reversible fixed-layer Markov chains estimate these averages and hence estimate the Dedekind number $M(n)$. Backtests at $M(8)$ and $M(9)$ calibrate seed-level variability under the fixed protocol and measure the observed Monte Carlo budget scaling. The resulting estimate probes the Whitney-number sequence of the ideal lattice. Although these rows have previously been described empirically as unimodal, the high-precision $n=9$ estimate has a shallow two-shoulder feature around the central rank, contrary to that empirical description; $n=11$ and $n=13$ center-window estimates show a larger-contrast analogous pattern. The protocol estimate for $M(10)$ is \[ \widehat M(10)=(8.9360\pm0.0010)\times 10^{78}, \] where the displayed uncertainty is the budget-based forecast scale from the cross-$n$ scaling law under the production budget.
Cluster Algebras for Bosonic Plethysm
Let $\Bbbk$ be an algebraically closed field of characteristic zero, let $V=\Bbbk^\ell$ and $W=\Bbbk^m$, and set \[ \mathcal R_{\ell,m}=\operatorname{Sym}(\operatorname{Sym}^2V\otimes W)^{U_V}. \] We construct an explicit skew-symmetrizable seed $Σ_{\ell,m}$ by restricting and folding the determinantal seed for the flagged $m$-arrow Kronecker quiver. For every $\ell,m\ge2$, we have \[ \mathcal R_{\ell,m}=\mathcal U(Σ_{\ell,m}), \] with polynomial frozen coefficients, and $Σ_{\ell,m}$ admits a reddening sequence. The theta basis extends across the frozen boundary exactly for parameters in a rational polyhedral cone $\mathscr C_{\ell,m}$. Its weight fibers count the multigraded highest-weight multiplicities of $\mathcal R_{\ell,m}$, and the Jacobi--Trudi identity expresses symmetric-square plethysm coefficients as finite alternating sums of these counts. Optimized frozens give an explicit finite system of inequalities for $\mathscr C_{\ell,m}$.
Permutation of edges in mutation reduction of pointed Brauer trees
Aihara developed an algorithm for Brauer tree algebras, which we call a mutation reduction, for getting from a Brauer tree algebra to the simpler Brauer star algebra using a sequence of mutations centered on edges. Schaps and Zvi, using the
Schaps-Zakay theory of pointing the tree, showed that different algorithms for the sequence of mutations give permutations of the edges.
Kozakai gave a new algorithm for a mutation reduction that depends on a given pointing and describes the evolution of the pointing under the mutation reduction.
In this paper, we define a pointed generalized Aihara algorithm and show that its permutation is the identity. We give a general form for the permutations resulting from Kozakai's algorithm, which we illustrate with examples from uni-branch binary trees.
Vertex-distinguishing chromatic index of digraphs
Let $D$ be a digraph. In this note, an \emph{arc coloring} of $D$ is an assignment of colors to the arcs of $D$ such that no two arcs with a common tail receive the same color and no two arcs with a common head receive the same color. Under such a coloring, each vertex $v$ is associated with an \emph{out-color set} and an \emph{in-color set}, consisting of the colors assigned to the arcs with tail $v$ and to the arcs with head $v$, respectively. An arc coloring of $D$ is \emph{vertex-distinguishing} if any two distinct vertices have different out-color sets and different in-color sets. The minimum number of colors required for a vertex-distinguishing arc coloring of $D$ is called the \emph{vertex-distinguishing chromatic index} of $D$, denoted $χ_{vd}^{\prime}(D)$. In 2016, Li, Bai, He, and Sun conjectured that $χ_{vd}^{\prime}(D)=k(D)$ for any digraph $D$ with at most one source and at most one sink, where $k(D)$ is a natural lower bound determined by the outdegree and indegree sequences of $D$. We confirm this conjecture.
Convolutive sequences, II: Parametrizations
In recent work, the authors defined a sequence $(a_n)_{n\ge 0}$ to be $m$-convolutive exactly if
\begin{align*}
\sum_{n\ge 0} a_{mn} q^n = \left(\sum_{n\ge 0} a_n q^n\right)^m
\end{align*}
for a specific positive integer $m$ and provided proofs of the $2$- and $3$-convolutivity of a small number of sequences arising from primitive eta-products. Since the completion of that work, the authors have discovered many new instances of convolutive eta-products. The main focus of this work is to unify all but one of these instances in a parametric way.
Binary X-rays of doubly stochastic matrices
The X-ray of a permutation is a sequence of sums along each diagonal of the associated permutation matrix. They satisfy certain necessary constraints on distribution of the values, which are conjectured to be sufficient when the sequence is binary. By re-expressing the constraints in a form that allows for real-valued relaxations, we prove that these binary sequences are always X-rays of doubly stochastic matrices.
Nine-distance theorem and growth of best-approximation denominators
We prove a nine-distance theorem for Kronecker sequences on flat three-tori. That is, we show that among the first $N$ orbit points, at most nine distinct positive nearest-neighbour distances occur. This proves the conjecture of Haynes and Marklof. An example of Dettmann shows that nine is optimal. More generally, we prove that on a flat $d$-dimensional torus the number of such distances is at most $2^d+1$.
The main tool is a new growth theorem for the denominators $q_1<q_2<\cdots$ of best simultaneous approximations in a $d$-dimensional inner-product space, which is of independent interest. We prove that, whenever $q_{n+2^d}$ is defined, either $q_{n+2^d}\ge2q_{n+1}$, or the indices $1,\ldots,2^d$ can be partitioned into disjoint pairs $\{j,k\}$, $j<k$, such that $q_{n+k}=q_n+q_{n+j}$. In particular, $$
q_{n+2^d}\ge \min\{2q_{n+1},q_n+q_{n+2^{d-1}}\}\ge q_n+q_{n+1}. $$
The catenary degree of monoids of product-one sequences
Let $G$ be a (multiplicatively written) finite group. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed and the order is disregarded. A product-one sequence is a sequence whose terms can be ordered such that their product in $G$ equals the identity element of $G$. The set $\mathcal B (G)$ of all product-one sequences over $G$, endowed with the concatenation of sequences as the operation, is a finitely generated C-monoid; in particular, it is atomic, i.e., every non-unit element can be written as a finite product of atoms. The study of $\mathcal B (G)$ is of fundamental importance, as its combinatorial, algebraic, and arithmetic properties play a crucial role across various branches of mathematics, most notably in invariant theory and factorization theory. While the arithmetic of the monoid $\mathcal B (G)$ is well understood in the abelian setting (in which case $\mathcal B (G)$ is a Krull monoid), little is known in the non-abelian setting because of the substantial structural complexity involved. In this paper, we study the arithmetic invariants of the monoid $\mathcal B (G)$ for non-abelian groups, focusing in particular on the catenary degree. The catenary degree $\mathsf c (G)$ of the monoid $\mathcal B (G)$ is defined as the smallest integer $N$ such that any two factorizations of an element $S \in \mathcal B (G)$ can be concatenated by a chain of factorizations in which adjacent steps differ by replacing at most $N$ atoms. Extending the methods from arithmetic combinatorics to the non-abelian setting, we explicitly characterize all finite groups with catenary degree at most 3, and we investigate an infinite class of finite groups whose monoids of product-one sequences are seminormal and possess well-behaved arithmetic structures. Furthermore, we show that a specific non-abelian group in this class has catenary degree 4.
The finitude of the fibers of the complementary Bell numbers
Subbarao and Verma introduced, in 1999, a number of open problems concerning the sequence $(f(n))_{n \geq 0}$ of complementary Bell numbers, which may be defined via Bell polynomials $B_{n}(x) = \sum_{k=0}^{n} \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} x^k$ so that $f(n) = B_{n}(-1)$. Yang [Electron. J. Combin., 2001] subsequently solved the first two problems from Subbarao and Verma, but the third such problem has remained open, to the best of our knowledge. The first part of this third problem asks whether or not $f(n)$ takes any given value only a finite number of times. We solve this problem in the affirmative, through a combined application of finite difference-based methods, partial Motzkin paths, the completeness of the Tate algebra with respect to the Gauss norm, and Strassmann's theorem.
Parking Cascades: From the Simplest Sequence to Motzkin and Catalan
We introduce $k$-cascading parking functions, a parametrized variant of parking functions in which cars form bumping cascades of up to $k \geq 0$ cars. Setting $k = 0$ recovers classical parking functions, whereas $k = 1$ recovers MVP parking functions. Although parking functions and cascading parking functions are equivalent as sets, they are generally distinct as maps. Therefore, in this paper we consider the enumeration of the fibers of their outcomes. Our main result is a recursive, permutation pattern-based formula for the size of the fiber of any given permutation, for any given $k \geq 0$. When specialized to the longest word, the formula reduces to a family of integer sequences that interpolate between the simplest sequence ($k=0$), the Motzkin numbers ($k = 1$), and the Catalan numbers ($k\geq n-1$). When specialized to the set of layered permutations, the formula gives new combinatorial interpretations for the row sums of certain convolution triangles, including Motzkin and Catalan convolution triangles.
About two results for new valid juggling sequences
In this note, we study two simple operations for extending juggling (siteswap) sequences, called first throws and last catches. Both constructions come from a natural question for a juggler: how can one add throws at the beginning or catches at the end of a pattern without creating a collision? Using landing times and the permutation test, we give necessary and sufficient conditions under which these constructions, when applied to an arbitrary valid siteswap, produce another valid siteswap. We complement our analysis with several examples. An interactive visualization of these extensions is available in [Para].
Chebyshev Recurrence Structures for Reduced Spectral Functions of Cyclic Circulant Graphs
Let $S$ be a nonempty finite set of positive integers, let $q=\max S$, and let $B_n(S)$, $n>2q$, be the normalized product sequence associated with the Chebyshev-type polynomial of the cyclic circulant graph $G_n(S)$. When $G_n(S)$ is connected, $B_n(S)$ is both the normalized spanning-tree number and a normalized special value of the \emph{reduced spectral function}, a determinant-type function constructed from the non-trivial adjacency spectrum. Chebyshev root representations and the existence of linear recurrences for fixed-step circulant spanning-tree sequences are known. Starting from these representations, we explicitly construct a monic annihilating polynomial $\mathcal H_S(X)\in\mathbb Z[X]$ of degree $3^{q-1}$, which yields a general upper bound for the recurrence order of $B_n(S)$. By collecting coincident exponential bases and accounting for possible cancellations, we determine the minimal annihilating polynomial and give a sufficient condition under which the minimal recurrence order is exactly $3^{q-1}$. For $S=\{1,2,3\}$ and $S=\{1,3\}$, we explicitly derive the corresponding ninth-degree annihilating polynomials and prove their minimality.
Automatic Enumeration of Tilings by Polyominoes
We revisit Zeilberger's computational framework for enumerating polyomino tilings and demonstrate its use in counting tilings of $k\times n$ boards by $L$-tetrominoes, allowing rotations. Recently, Bělohoubek and Slavík gave a generating function for tilings of $2n\times 4$ boards by $L$-tetrominoes. Motivated by their work, we first verify the method by automatically recovering their generating function. We then apply the method to widths $5$ through $9$ and obtain explicit rational generating functions and new integer sequences that are not currently listed in the OEIS.
The Turán number of the Cartesian product of trees via star-flip
Motivated by Erdős's conjecture on the Turán number of degenerate bipartite graphs, Bradač, Janzer, Sudakov and Tomon proved that $ \ex(n,T \Box P)=Θ_{T,P}(n^{3/2})$ for every nontrivial tree $T$ and every nontrivial path $P$, and conjectured that the same order of magnitude holds for the Cartesian product of any two nontrivial trees. We prove their conjecture. More generally, for every integer $r\ge2$, we introduce a class of bipartite $r$-degenerate graphs, called $r$-star-flip graphs, that are obtained from a seed tree by a sequence of local vertex-duplication operations. We prove that every fixed $r$-star-flip graph $H$ satisfies $\ex(n,H)=O_H(n^{2-1/r})$. Every Cartesian product of two trees is a $2$-star-flip graph, while the star-flip class also contains graphs that do not arise as such products. As a further application, our framework yields a new proof of Füredi's theorem: if $H$ is a fixed bipartite graph in which at most one vertex in one colour class has degree greater than $r$, then $\ex(n,H)=O_H(n^{2-1/r})$. The key ingredient is a conditional-resampling procedure that extends the tree branching random walk on the seed tree to a random homomorphism of the entire star-flip graph, while preserving the branching-random-walk distribution on every live tree.
Self-avoiding polygons on a three-row square-lattice strip
We give a closed formula for the number $p^{S_2}(n)$ of self-avoiding polygons (SAPs) of length $n$ on the strip $S_2:=\mathbb{Z}\times\{0,1,2\}$, together with closed formulas for those subtypes of SAPs which are determined by the numbers of vertical steps in their leftmost and rightmost columns. For the subtype whose leftmost and rightmost columns each contain two vertical steps, we also derive an alternative representation as a binomial sum. Our derivation is elementary: it is purely combinatorial and geometric and avoids generating functions. Comparing the two representations yields a new geometric proof of an identity arising in Larsen's treatment \cite{L07} of a problem posed by Gessel \cite{G95}. Finally, we show that this subtype of SAPs is closely connected to the sequence A007909. More precisely, for $m\geq0$, the number of these SAPs whose leftmost and rightmost columns each contain two vertical steps and whose length equals $2m+6$ is given by the term of this sequence with index $m$, which thereby acquires a geometric interpretation alongside the compositions it enumerates.
Fuglede's Conjecture on Cyclic Groups of Square-Free Order: The Case of Rapidly Growing Prime Factors
The main result of the paper is that an inductive argument is established to prove the Fuglede's conjecture for an infinite sequence of square-free order cyclic groups. The tile-to-spectral direction of the conjecture holds for all square-free cyclic groups, whereas we prove the spectral-tiling direction only for those groups among them whose prime factors grow rapidly. To achieve this, we develop an inductive technique with roots in a previous paper by the author co-authored with Fallon, Kiss, and Mayeli. Following recent preprints, Fuglede's conjecture remains open only for finite cyclic groups, and until now, there was no cyclic group for which the conjecture was known that possessed an arbitrary number of distinct divisors.
Banach-valued graph limits: Graphon representability and Banach-space structure
We study a graph-limit problem for Banach-decorated graphs. Given a sequence of $X$-decorated graphs whose homomorphism densities converge against all $X^*$-decorated test graphs, we ask whether the limiting densities are represented by an $X$-valued graphon. The results connect this graph-limit problem with Banach-space structure.
If $X^*$ is separable, then the graphon representation property for graph sequences uniformly bounded in $L^p$ for every finite $p$ holds if and only if $X$ is reflexive. For Banach lattices, it is equivalent to the Radon--Nikodým property. For dual Banach spaces, it is equivalent to the conjunction of the Radon--Nikodým property and weak sequential completeness. In the bounded setting, the same characterization extends to arbitrary Banach spaces: for every Banach space $X$, the representation property for uniformly $L^\infty$-bounded graph sequences holds if and only if $X$ has the Radon--Nikodým property and is weakly sequentially complete.
On the Betti numbers, Poincaré polynomials, and Euler characteristics of $\overline{\mathcal M}_{0,n}$
In this paper, we revisit the Poincaré polynomials, Betti numbers, and Euler characteristics of the Deligne-Mumford moduli spaces $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves. We give elementary derivations of two recent closed formulas for their Poincaré polynomials, due respectively to Aluffi-Marcolli-Nascimento (arXiv:2406.13095) and to Eur-Ferroni-Matherne-Pagaria-Vecchi (arXiv:2504.16776). Our approach shows that both formulas are already implicit in the generating-series results of Getzler and Manin, and can be extracted from them by elementary manipulations of generating functions, the binomial series, and standard identities for Stirling numbers. Beyond these new derivations, the same method also yields new linear recurrence relations for refined invariants associated with these Poincaré polynomials, namely distinguished summands and a bivariate refinement. As a further consequence, we obtain two additional formulas for the Betti numbers, not previously recorded in this form.
We also study the Euler characteristics $χ(\overline{\mathcal M}_{0,n})$. Using the Taylor expansion of a suitable branch of the Lambert $W$-function, we show that their sequence is obtained by evaluating complete Bell polynomials at an explicit auxiliary integer sequence. This Bell-polynomial representation yields Hessenberg determinantal formulas and a new linear recursion, distinct from the well-known quadratic Keel-Manin recursion. It also provides an explicit extraction of the Euler characteristics from the Lambert $W$-function expression considered by Aluffi-Marcolli-Nascimento. Finally, we refine the Manin-Zagier asymptotic estimate for these Euler characteristics by computing the full asymptotic expansion.
The 2-Domination Number and the Upper Median Degree: A Proof of Graffiti.pc Conjecture 387
Let G be a nonempty finite simple graph of order n, and let m(G) be the upper median of its degree sequence. We prove that the 2-domination number satisfies gamma_2(G) <= n - m(G) + 1. This proves Graffiti.pc Conjecture 387. In fact, the argument establishes the inequality for every nonempty finite simple graph, so the connectedness hypothesis in the original formulation is unnecessary. The proof uses the complement graph and a minimally linearly dependent family of polynomials encoding selected nonneighborhoods.
Stability of persistent path homology of path complexes
We show stability of persistent path homology of path complexes. As a consequence, we deduce the stability of persistent path homology of hypergraphs and of sequence hypergraphs, and recover the known stability result for digraphs, originally due to Chowdhury and Mémoli.