arXiv++ Combinatorics

Let $k\geq2$. Then the $k$-th order Fibonacci cube $Γ^{(k)}_{n}$ is the subgraph of the hypercube $Q_{n}$ induced by vertices without $k$ consecutive $1$s. The case $k=2$ corresponds to the classic Fibonacci cube $Γ_{n}$. There are three kinds of calculation formulas of the size of $Γ_{n}$: the iteration form $|E(Γ_{n})|=|E(Γ_{n-1})|+|E(Γ_{n-2})|+F_{n}$ (Hsu, 1993), %iteration form the convolution form $|E(Γ_{n})|=\mathop{\sum}\limits_{i=1}^{n}F_{i}F_{n-i+1}$ (Klavžar, 2005) %convolution form and the linear form $|E(Γ_{n})|=\frac{nF_{n+1}+2(n+1)F_{n}}{5}$ (Munarini et al., 2001). %linear form Belbachir and Ould-Mohamed (2020) studied the iteration and convolution formulas of the size of $Γ^{(3)}_{n}$. Very recently, Mollard (2025) deduced the iteration formula of the size of $Γ^{(k)}_{n}$ for $k\geq2$. In this paper, we give the the formulas of convolution and linear forms of $|E(Γ^{(k)}_{n})|$ for all $k\geq2$. Specifically, we obtain the formula of $|E(Γ^{(k)}_{n})|$ in terms of convolved $k$-th order Fibonacci numbers and the formula of $|E(Γ^{(k)}_{n})|$ of linear expression of $k$ consecutive $k$-th order Fibonacci numbers.

For any finite reductive group, we compute the central elements in its Hecke algebra that arise from partial Springer resolutions via the Harish-Chandra transform. Of the two kinds of partial resolution, the larger is the more interesting case. We deduce formulas for associated Hecke traces, generalizing work of Wan-Wang beyond type $A$, and Deodhar-like decompositions of braid varieties that map to partial Springer resolutions. From the latter, we construct noncrossing sets that interpolate between rational Catalan and parking objects, generalizing our work with Galashin-Lam. In parallel, we establish new formulas for arbitrary $a$-degrees of the HOMFLYPT invariants of positive braid closures, from which we construct noncrossing sets for rational Kirkman numbers.

In this paper, we study conditions under which a finite subset $Z$ of the unit sphere $S^{d-1}\subset \mathbb{R}^{d}$ becomes a spherical $t$-design, when $Z$ is constructed by the following procedure: starting from a finite set of $k$-dimensional subspaces in the real Grassmannian $G_{k,d}$, we place, for each such $k$-dimensional subspace, a finite set on its unit sphere, and then take the union of these sets in $S^{d-1}$. For this construction problem -- namely, obtaining spherical designs in higher dimensions by distributing point sets on lower-dimensional spheres subspace by subspace -- we provide a sufficient condition based on the framework of tight $t$-fusion frames ($\mathrm{TFF}_t$) due to Bachoc--Ehler. As a preparation for applications, we moreover give an explicit construction of equal-weight tight $2$-fusion frames on $G_{2,d}$ for infinitely many dimensions $d$, via unions of orbits of the hyperoctahedral group. We also derive necessary conditions for the existence of highly symmetric tight $t$-fusion frames, namely equi-chordal and equi-isoclinic tight $t$-fusion frames ($\mathrm{ECTFF}_t$ and $\mathrm{EITFF}_t$), on $G_{2,d}$, and in particular obtain bounds on the number of points.

Motivated by the notion of the inverse $Z$-polynomial introduced by Ferroni, Matherne, Stevens, and Vecchi, we study the equivariant inverse $Z$-polynomial of a matroid equipped with a finite group. We prove that the coefficients of the equivariant inverse $Z$-polynomials are honest representations and that these polynomials are palindromic. Explicit formulas are obtained for uniform matroids equipped with the symmetric group. The corresponding formulas for $q$-niform matroids are derived using the Comparison Theorem for unipotent representations. For arbitrary equivariant paving matroids, explicit expressions are obtained by relating the polynomials of a matroid to those of its relaxation. We show that these polynomials are equivariantly unimodal and strongly inductively log-concave for both uniform and $q$-niform matroids. Motivated by the properties of equivariant $Z$-polynomials, we conjecture that the coefficients of the equivariant inverse $Z$-polynomials are equivariantly unimodal and strongly equivariantly log-concave.

A hypergraph $H$ is said to be \emph{linear} if every pair of vertices lies in at most one hyperedge. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs, an $r$-uniform hypergraph $H$ is \emph{$\mathcal{F}$-free} if it contains no member of $\mathcal{F}$ as a subhypergraph. The \emph{linear Turán number} $ex_r^{\mathrm{lin}}(n,\mathcal{F})$ denotes the maximum number of hyperedges in an $\mathcal{F}$-free linear $r$-uniform hypergraph on $n$ vertices. Gyárfás, Ruszinkó, and Sárközy~[\emph{Linear Turán numbers of acyclic triple systems}, European J.\ Combin.\ (2022)] initiated the study of bounds on the linear Turán number for acyclic $3$-uniform linear hypergraphs. In this paper, we extend the study of linear Turán number for acyclic systems to higher uniformity. We first give a construction for any linear $r$-uniform tree with $k$ edges that yields the lower bound $ ex_r^{\mathrm{lin}}(n,T_k^r)\ge {n(k-1)}/{r}, $ under mild divisibility and existence assumptions. Next, we study hypertrees with four edges. We prove the exact bound $ ex_r^{\mathrm{lin}}(n,B_4^r)\le {(r+1)n}/{r} $ and characterize the extremal hypergraph class, where $B_4^r$ is formed from $S_3^r$ by appending a hyperedge incident to a degree-one vertex. We also prove the bound $ ex_r^{\mathrm{lin}}(n,E_4^r)\le {(2r-1)n}/{r} $ for the crown $E_4^r$. Finally, we give a construction showing $ ex_r^{\mathrm{lin}}(n,P_4^r)\ge {(r+1)n}/{r} $ under suitable assumptions and conclude with a conjecture on sharp upper bound for $P_4^r$.

We study the combinatorial properties of final types, which are certain non-decreasing sequences of integers, together with the partitions naturally associated with them. As a consequence, we obtain an identity expressing the $n$-nacci numbers as sums of products of binomial coefficients over these partitions, generalizing the classical identity for $n = 2$ that expresses Fibonacci numbers in this way. We also examine how the partial order on the set of all partitions of a fixed integer induced by the ordering of final types compares with two natural partial orders on the same set.

A Catalan word is a sequence $w_1w_2\cdots w_n$ of nonnegative integers such that $w_1=0$ and $w_{i}\leq w_{i-1}+1$ for $2\leq i\leq n$. Given a Catalan word, we construct a column-convex polyomino (or \emph{bargraph}) by placing, at position $i$, a column of height $w_i + 1$, with all columns aligned along their bottom edges. On these Catalan polyominoes we define the black cell capacity by coloring the cells in a chessboard pattern and we count the number of black cells in the polyomino. We study the distribution of the black cell capacity over Catalan polyominoes and derive generating functions that encode this statistic.

A graph is said to be $H$-free if it does not contain a subgraph isomorphic to $H$. The fish graph, denoted by $H(4, 3)$, is a $6-$vertex graph obtained from a cycle of length $4$ and a triangle by sharing a common vertex. Earlier it is shown that $λ(G)\leq \frac{1+\sqrt{4m-3}}{2}$ holds for all $H(4,3)-$free graphs of odd size $m\geq 44,$ and the equality holds if and only if $G\cong S_{\frac{m+3}{2},2},$ where $S_{\frac{m+3}{2},2}$ is the $m-$edge book graph $K_2 \vee \frac{m-1}{2}K_1,$ where $K_2 \vee \frac{m-1}{2}K_1,$ denotes the join of $K_2$ and $\frac{m-1}{2}K_1.$ Let $\mathcal{G}(m,H(4,3))$ denote the family of $H(4,3)$-free graphs with $m$ edges and no isolated vertices. We write $ \mathcal{G}(m,H(4,3)) \setminus \left\{ K_2 \vee \tfrac{m-1}{2}K_1 \right\} $ for the corresponding subfamily obtained by excluding the book graph. In this paper, we establish a sharp upper bound on the spectral radius of graphs over $\mathcal{G}(m,H(4,3))\setminus \{K_2 \vee \frac{m-1}{2}K_1\}$ for odd $m\geq 58$ and characterize the unique extremal graph attaining this bound.

This article compares different proving methods for projective incidence theorems. In particular, a technique using quadrilateral tilings recently introduced by Sergey Fomin and Pavlo Pylyavskyy is shown to be at most as strong as proofs using bi-quadratic final polynomials and thus, also proofs using Ceva-Menelaus-tilings. Furthermore, we demonstrate the equivalence between quadrilateral-tiling-proofs and proofs using exclusively Menelaus configurations. We exemplify the transition between the proofs in several examples in 2D and in 3D.

We explain that the logic behind the derivation of the Noumi-Shiraishi function can be applied directly to the Baker-Akhiezer function (BAF). This amounts to changing an ansatz for BAF to a nested one, where the BAF of N + 1 variables is recursively expressed as a sum over BAFs of N variables. This may be seen as a generalization of symmetrization trick from [1], but for the generally non-symmetric BAF. We demonstrate that, for usual non-twisted (a = 1) BAFs, this method correctly reproduces the Noumi-Shiraishi formula directly from linear equations, resolving the ambiguity related to non-simple roots. For the first non-trivial twisted case (N = 3, a = 2) this method also fixes this ambiguity, moreover, answers for the first few layers of coefficients are in the form of direct quantization of [1].

We consider the permanent of a square matrix with non-negative entries. A tractable approximation is given by the so-called Bethe permanent that can be efficiently computed by running the sum-product algorithm on a suitable factor graph. While the ratio of the permanent of a matrix to its Bethe permanent is, in the worst case, upper and lower bounded by expressions that are exponentially far apart in the matrix size, in practice it is observed for many ensembles of matrices of interest that this ratio is strongly concentrated around some value that depends only on the matrix size. In this paper, for an ensemble of block-structured matrices where entries in a block take the same value, we numerically study the ratio of the permanent of a matrix to its Bethe permanent. It is observed that also for this ensemble the ratio is strongly concentrated around some value depending only on a few key parameters of the ensemble. We use graph-cover-based approaches to explain the reasons for this behavior and to quantify the observed value.

We obtain several sharp spectral bounds, approximations, and exact values for the isoperimetric number and related edge-expansion parameters of graphs. Our results focus on graph powers and on families of graphs with rich algebraic or geometric structure, including distance-regular graphs and graphs arising from finite geometries, among others. Our proofs use techniques from spectral graph theory, linear optimization, finite geometry, and probability, yielding new machinery for analysing edge-expansion phenomena in highly structured graphs.

Let $G=(V,E)$ be an $n$-vertex graph, $L(G)\in \mathbb{R}^{n\times n}$ its Laplacian matrix, and let $λ_1(L(G))\ge λ_2(L(G))\ge \cdots\ge λ_n(L(G))=0$ denote its eigenvalues. For $1\le k\le n$, let $\varepsilon_k(G)= \sum_{i=1}^k λ_i(L(G)) -|E|$. We show that for every $1\le k\le n$, \[ \varepsilon_k(G) \le \max_{U\subset V,\, |U|=k} |E_G(U)| + (4k-2)\sqrt{k}, \] where $E_G(U)$ is the set of edges of $G$ contained in $U$. As an immediate consequence, we obtain that $\varepsilon_k(G)\le \binom{k}{2}+(4k-2)\sqrt{k}$. This improves upon previously known bounds for large values of $k$, and may be seen as an approximate version of a conjecture of Brouwer, stating that $\varepsilon_k(G)\le \binom{k+1}{2}$ for every graph $G$. Moreover, for every $r\ge 2$, if $G$ is a $K_{r+1}$-free graph, we obtain that $\varepsilon_k(G)\le (1-1/r)k^2/2 + (4k-2)\sqrt{k}$, which is tight up to the sub-quadratic term. Our arguments rely on the study of the largest eigenvalue of a matrix obtained by performing a certain diagonal perturbation on the $k$-th additive compound matrix of $L(G)$. Using similar methods, we show that the largest Laplacian eigenvalue of the $k$-th token graph of a graph $G=(V,E)$ is bounded from above by $|E|+4k-2$, obtaining a weak version of a conjecture of Apte, Parekh, and Sud, which predicts that an upper bound of $|E|+k$ should hold. All our results also hold, with essentially the same proofs, when the Laplacian matrix is replaced by the signless Laplacian of the graph.

This paper develops an invariant--geometric interpretation of the canonization problem for simple undirected weighted graphs based on the {discrete moving frame method} for finite groups. We consider the action of the {pair group} $S_n^{(2)}$ on the space of edge weights of a graph. It is emphasized that the classical algebraic approach aimed at describing the ring of polynomial invariants of this action quickly becomes computationally impractical due to the explosive growth in the number and degrees of generators. The main result is a formalization of a canonical labeling of a graph as a {discrete moving frame} in the sense of Olver: a discrete orbit cross-section is fixed, in particular by a lexicographic rule, and for each configuration of edge weights one defines a permutation in $S_n^{(2)}$ that maps it to its canonical representative. The coordinates of the canonical representative are interpreted as a {complete system of invariants} for the action of $S_n^{(2)}$ that separates orbits, i.e., isomorphism classes of graphs. It is shown that the invariants obtained via such orbit canonization are of a non-algebraic nature and belong to the class of {semi-algebraic functions}. We do not propose a new computational algorithm; instead, we provide a rigorous theoretical foundation for the very concept of canonization by viewing it as a process of constructing a discrete moving frame and the corresponding system of semi-algebraic invariants.

H.Choi-D.Kim-S.J.Lee and S.J.Lee introduced a new kind of tableaux, semistandard oscillating tableaux (SSOT), around 2024 in the context of Lusztig $q$-weight multiplicities, KR crystals and King tableaux. In this paper, we study generating function of the SSOTs and its symmetry. First, we extend Gessel's and Assaf-Searles' expansion of a Schur function in terms of fundamental quasi-symmetric functions to our generating function. As a consequence, we show that it is $F$-positive. Further, we improve Sundaram's work on oscillating tableaux by proving that it is symmetric, Schur-positive, and has Saturated Newton polytope.

From any graph $G$ arises a flat space wavefunction, obtained by integrating a product of propagators associated to the vertices and edges of $G$. This function is a key ingredient in the computation of cosmological correlators, and several representations for it have been proposed. We formulate three such representations and prove their correctness. In particular, we show that the flat space wavefunction can be read off from the canonical form of the cosmological polytope, and we settle a conjecture of Fevola, Pimentel, Sattelberger, and Westerdijk regarding a partial fraction decomposition for the flat space wavefunction. The terms of the decomposition correspond to certain collections of connected subgraphs associated to $G$ and its spanning subgraphs, reflecting the fact that the flat space wavefunction contains information about how $G$ is connected.

DeVos et al conjectured that if $M$ is a simple, regular matroid and $c$ is a colouring of the elements of $M$ with $r(M)+1$ colours, where each colour class has at least two elements, then $M$ contains a rainbow circuit of size at most $\lceil \frac {r(M)+1}2 \rceil.$ We prove this conjecture by showing that for all such regular matroids there are four rainbow circuits $C_i,\ i = 1,2,3,4$ for which $\sum_i |C_i| \le 2r(M) +4$ and for which no element of $M$ belongs to more than two of the circuits.

We analyse weighted Motzkin paths with step multiplicities that vary linearly with height. In the balanced case the associated exponential generating function satisfies a Pearson-type PDE, and solving by characteristics yields closed expressions in all drift regimes. These formulas reveal a moving algebraic singularity that governs both local and global behaviour. Locally this gives a Gaussian central window for the terminal-height distribution, while globally we identify an explicit limit cumulant generating function and prove an $n$-speed large-deviation principle. For finite $n$, Daniels' lattice saddlepoint approximation provides a single formula that is accurate across the full range of $k$; in all quadratic regimes it achieves a uniform interior relative error of order $n^{-1}$. The results link Pearson geometry with uniform saddlepoint methods and extend naturally to other weighted path models and tridiagonal recurrences.