sequence
7033 papers tagged with this keyword
Polynomial Identities for Generalized Fibonacci Sequences
The Fibonacci, Lucas, and Pell sequences satisfy certain families of ``polynomial'' identities. While a few members of these families are well-known, we are not able to find a general statement of these identities in the mathematical literature. We show that such polynomial identities exist for many generalized Fibonacci sequences, and we classify sequences that have these identities obtained by two distinct approaches. One approach uses the Girard-Waring formula, while the other relies on Binet's formula and linear algebra.
Davenport Constants of Finite Abelian Groups
A central problem in zero-sum theory is to determine the Davenport constant of a finite abelian group. For a finite abelian group $G\cong C_{n_1}\oplus\cdots\oplus C_{n_r}$, with $1<n_1\mid\cdots\mid n_r$, let $\mathsf D(G)$ be the least integer $t$ such that every sequence of $t$ elements of $G$ contains a nonempty zero-sum subsequence, and denote $\mathsf D^*(G):= 1+\sum_{i=1}^r(n_i-1)$. The standard construction shows that $\mathsf D(G)\ge\mathsf D^*(G)$. Equality holds for several important classes of groups but fails in general, and even the question whether $\mathsf D(G)/\mathsf D^*(G)$ is bounded by an absolute constant remains open. In this paper, we prove the upper bound \[
\mathsf D(G)<4.86\,\exp(G)\frac{\log|G|}{\log\exp(G)} \] for every finite abelian group. When $|G|$ is large compared with $\exp(G)$, it improves the previous classical upper bound by a factor of order $\log\exp(G)$. We also prove that, for almost all finite abelian groups (counting isomorphism classes by order), \[
\mathsf D(G)\sim\exp(G)\frac{\log|G|}{\log\exp(G)}\sim\mathsf D^*(G). \] We also study the difference $\mathsf D(G)-\mathsf D^*(G)$: for every function $L$ with $L(x)\to\infty$, almost all groups satisfy $\mathsf D(G)-\mathsf D^*(G)\le L(\mathsf D^*(G))$. However, for every fixed $C\ge0$, the groups with $\mathsf D(G)-\mathsf D^*(G)>C$ have positive lower density.
Generalized reflection complexity
The reflection complexity of a sequence, introduced recently by Allouche, Campbell, Li, Shallit, and Stipulanti, counts the factors of a given length up to reversal. We generalize this notion considering a group $G$ generated by antimorphisms over a given alphabet $\mathcal A$. The $G$-complexity of a sequence over $\mathcal A$ counts the factors of a given length up to the action of $G$. For $G$ generated by the reflection alone, the $G$-complexity coincides with the reflection complexity. We characterize eventual periodicity in terms of the $G$-complexity. Then we focus on the binary alphabet and the group $H$ generated by reflection and the antimorphism exchanging letters. We provide a simple formula for the $H$-complexity in the case of $H$-rich sequences and determine the precise values for complementary symmetric Rote sequences and generalized binary Thue-Morse sequences. Finally, we describe the aperiodic recurrent sequences having the minimum $H$-complexity -- they are exactly the complementary symmetric Rote sequences, while the binary sequences with the minimum reflection complexity correspond to the Sturmian sequences.
The Five Distance Theorem For An Arbitrary Norm
The three gap theorem states that the points of the Kronecker sequence $α,2α,\ldots,Nα$, considered modulo one, divide the circle into intervals of at most three distinct lengths. In a two-dimensional nearest-neighbour analogue, Haynes and Marklof proved that the Kronecker sequence modulo an arbitrary unimodular lattice determines at most five distinct nearest-neighbour distances in the Euclidean norm, and that this bound is sharp. Dettmann subsequently constructed examples attaining five distinct distances for every $\ell_p$-norm, $1\leq p\leq\infty$. We prove the corresponding upper bound for every norm on $\mathbb R^2$: for every full-rank lattice $L$, every $α\in\mathbb R^2$, and every $N\in\mathbb N$, the number of distinct nearest-neighbour distances is at most five. For every norm, this bound is attained for some $L$ and $α$. For strictly convex norms, the proof extends the lattice-theoretic argument of Haynes and Marklof by replacing the Euclidean angular estimates with a cone lemma based on a proper Brass angular measure. The result for arbitrary norms is then obtained by a strictly convex perturbation and a limiting argument.
Transposition Cayley Spectra and Subgraph Counts
Let $G$ be a finite simple graph on the vertex set $[n]$, and let $Γ(G)$ be the Cayley graph of the symmetric group $S_n$ generated by the transpositions corresponding to the edges of $G$. We study the inverse spectral problem for the assignment $G\mapsto Γ(G)$ through the group-algebra operator $A_G=\sum_{\{i,j\}\in E(G)}(ij)$ and its regular spectral moments $M_k(G)=\operatorname{tr}(A_G^k)$. The moments admit two all-order forms: a universal support expansion in non-induced subgraph counts of $G$, and a representation-theoretic expansion over the irreducible representations of $S_n$. We compute the first nontrivial moments through order six. In particular, the fourth moment already contains the Coxeter triangle relation and determines the signed local invariant $6N_{K_3}(G)-N_{P_3}(G)$, rather than $N_{P_3}(G)$ alone. Consequently, for triangle-free graphs the spectrum determines the second moment of the degree sequence. We also give a simplified sixth-moment formula for triangle-free graphs, showing that in this class the spectrum determines $5N_{K_{1,3}}(G)+2N_{P_4}(G)+12N_{C_4}(G)$. Further structural consequences include bipartiteness and spectral symmetry of $Γ(G)$, a precise connectedness test, and the identification of the standard irreducible component with the shifted graph Laplacian $mI-L_G$.
Cardinalities of Kiselman monoids and their parity asymptotics
The cardinalities of Kiselman's semigroups $K_n$ are known to grow double exponentially in $n$: the sequence $2^{-n/2}\log_2|K_n|$ converges along the even and odd $n$ subsequences to positive limits $c_{\mathrm{even}}$ and $c_{\mathrm{odd}}$ that appear to coincide. In this paper we prove that they are indeed distinct.
Since Kiselman's semigroups are $\mathcal{L}$-trivial, the suffix relation defines a partial order on $K_n$. We introduce the \emph{Kiselman transform} $\mathsf{Kis}(P)$ of a poset $P$, a construction recovering the poset associated with $K_{n+1}$ from that associated with $K_n$. Counting strictly increasing chains in $P$ and $\mathsf{Kis}(P)$ yields a linear recurrence governed by a symmetric infinite matrix with explicit binomial entries. This can be used towards efficiently computing $|K_n|$, allowing the values listed in OEIS sequence A125625 to be extended beyond $n=14$. A generating functions analysis gives formulas for the above asymptotic limits, together with rigorous numerical bounds establishing that \[
c_{\mathrm{even}} - c_{\mathrm{odd}} = 1.9945066605\ldots\times10^{-6} \]
Counting with Hiccup Sequences
The $(0,x,1,2)$-hiccup sequence starts at $x$ and increases by 1 when the current index has already appeared as a value, and by 2 otherwise. We prove directly that for $x\geq3$ the gaps between its missing values are $1,2,3,\ldots$, each repeated $x-2$ times, and we derive closed formulas, an explicit error bound, and a generating function in terms of Ramanujan's theta functions. The counting functions of the complements satisfy nested recurrences. The sequences of missing values are the partial complements of polygonal numbers. In particular, the $(x-2)$-fold composition of the enumeration of the positive integers that are not $x$-gonal is the hiccup sequence minus 1. We extend the nested recurrence and a tree interpretation to every miss increment $z\geq2$ and every initial value $x\geq2$. Further interpretations involve polyomino vertices, monochromatic pairs, and, by a theorem of Bickle, Ramsey core numbers.
Regularization of a Divergent Arithmetic Product via the Asymptotic Monoid: The Case of $(-1)^{ω(n)}$
We apply the generalized monoid of words and logarithmic-prefix
functionals of \cite{C1} to the regularization of the divergent product
\[
P_ω=\prod_{n=1}^{\infty} n^{(-1)^{ω(n)}},
\]
where \(ω(n)\) is the number of distinct prime divisors of \(n\).
The associated Dirichlet series
\(D_ω(s)=\sum_{n\ge1}(-1)^{ω(n)}n^{-s}\) has a natural
boundary at \(\Re(s)=0\), as established by Meretov (1987) and recovered
here as a special case of the Estermann--Dahlquist theory of Euler
products, which makes zeta regularization impossible: the derivative
\(D_ω'(0)\) does not exist. This product therefore lies completely
beyond the reach of classical regularization methods. We construct the
canonical net encoding the sign sequence, define the logarithmic-prefix
functional with exponent \(α=2\), and extract a finite value through
the weighted evaluation functional of the monoid framework. The
evaluation functional is shown to converge absolutely, and this
convergence is unconditional: it follows from the classical zero-free
region of \(ζ(s)\) (de la Vallée Poussin), which yields the
effective bound
\(T_ω(x)=O(x\,e^{-c\sqrt{\log x}})\) for some \(c>0\). Numerical
computation up to \(N=10^7\) gives the regularized value
\[
P_{ω,\mathrm{ren}}\approx 0.7731,
\]
a new constant of arithmetic origin that cannot be obtained by any
classical summation method. We also compute the second derivative of
the Dirichlet series at \(s=1\),
\[
D_ω''(1)=8\,C_2\ln 2,
\]
where \(C_2\) is the Hardy--Littlewood twin prime constant, which provides
an unconditional analytical link to the arithmetic
structure of the sequence \((-1)^{ω(n)}\).
A self-contained proof of the natural boundary, based on the
Estermann--Dahlquist theorem, is given in Appendix~A.
On the probability that a random Latin square is all-even
In a Latin square, every row can be interpreted as a permutation, and therefore has a parity (even or odd). We prove that in a uniformly random $n\times n$ Latin square, the probability that all rows are even is of the form $2^{-n+o(n)}$. This fills a gap left by recent work of Kwan, Petrova and Sawhney: they proved that the row parities behave like a sequence of independent coin flips in a variety of different senses, but they were not able to lower-bound the all-even probability, as their approach had a small number of "exceptional rows" whose parities they could not control.
In fact, we prove a more general theorem on the probability of any possible prescription of row parities, column parities and symbol parities. Our approach extends the ideas of Kwan, Petrova and Sawhney, introducing a new way to "bootstrap" intercalate switchings to control more complex switching operations.
Completely mobile robots in graphs with a resolving property
This work extends the study of mobile resolvability in connected graphs by introducing completely mobile resolving sets. As with mobile resolving sets, we consider stationing a collection of robots at the vertices in a resolving set of a graph. Robots may move one at a time to any adjacent vertex as long as set of occupied vertices remains a resolving set. In this new variant, we ask that every robot can traverse every vertex in the graph through a sequence of permitted moves. Graphs possessing at least one completely mobile resolving set are termed mobile-resolvable. We completely characterise the non-mobile-resolvable graphs as paths of order at least three and subdivided stars with three or more leaves and at most two subdivided edges. For trees, we explicitly determine the completely mobile metric dimension, showing that it exceeds the classical metric dimension by one for most mobile-resolvable trees, and by two for certain subdivided stars. Furthermore, we evaluate this parameter across fundamental graph classes-including cycles, complete bipartite graphs, grid graphs, and circulant graphs.
Additive bases and the zero-sum invariant $\mathsf{N}(G)$ for groups $C_p\oplus C_{np}$
Let $G$ be a finite abelian group, and let $c_0(G)$ be the least integer such that every regular sequence over $G$ of at least this length is an additive basis. Let $\mathsf N(G)$ be the least integer $l$ such that every weak-regular sequence $S$ over $G$ with $|S|\ge l$ has a nonempty zero-sum subsequence $T$ satisfying $\mathsf v_g(T)=\mathsf v_g(S)$ for some $g\mid S$. We obtain a common upper bound for $c_0(C_q\oplus C_{nq})$ for groups of odd order, where $q$ is prime, and prove $\mathsf N(G)\ge r(n_r-1)+1$ when $G=C_{n_1}\oplus\cdots\oplus C_{n_r}$ with $1<n_1\mid\cdots\mid n_r$. If $n\ge1$ and $p\ge3$ is the smallest prime divisor of $np$, we obtain $\mathsf N(C_p\oplus C_{np^2})=2np^2-1$ and give upper bounds for $\mathsf N(C_p\oplus C_{np})$ when $p\nmid n$. We also determine $\mathsf N(C_n)$ for two infinite families of cyclic groups arising in earlier work.
On the composition of permutons
Permutons can be thought of as "continuum limits" of permutations of diverging size, which encode information about the number of occurrences of any given finite subpattern. We construct a natural composition operation on permutons, analogous to composition of permutations, and explore its properties via a correspondence between permutons, Markov kernels, and Markov operators.
We show that no extension of permutation composition to permutons can be (jointly) continuous with respect to the usual "weak" topology on permutons, but we construct a "strong" topology with respect to which composition is jointly continuous. Moreover, we characterize strong convergence of sequences of permutations of diverging size: a sequence of permutations converges strongly if and only if it converges weakly and its limit is the transpose of the graph of a measure-preserving function. The key insight behind these results is to apply functional analysis to certain operators associated to permutons; with this shift in perspective, our results have elegant and relatively "soft" proofs.
As an application, we describe the permuton limit of a product of finitely many independent uniformly sampled separable permutations and give a formula for the expectation of this limit. We also show that in this case, as the number of compositions goes to infinity, the aforementioned expectation tends to the uniform permuton.
A Simple Explicit Construction of Smaller Strong Blocking Sets
Alon, Bishnoi, Das and Neri constructed sequences of strong blocking sets in $(k-1)$-dimension projective space $P({\bf F}_q, k-1)$ with sizes at most $Cqk$, where $k$ goes to the infinity and $C$ is a fixed positive constant not depending on $q$, in their paper published in Transactions AMS, vol. 277, pp. 5389-5410, 2024. This is equivalent to a sequence of minimal $[n_i,k_i]_q$ codes with positive rate $\frac{k_i}{n_i} \geq c$, where $k_i$ goes to the infinity and $c$ is a fixed positive constant only depending on $q$. They solved one of the main open problems on minimal codes. The Alon-Bishnoi-Das-Neri construction was based on asymptotically good sequences of algebraic geometric codes and expander graphs. However, the constant $C$ is large for small prime power $q$.
In this paper, based on a simple approach using $(q-1)$-power intersecting algebraic geometric codes via concatenation to construct minimal codes, we construct explicit strong blocking sets in $(k-1)$-dimension projective space with sizes around $2(q^2-1)k$, equivalently, explicit minimal $[n,k]_q$ codes with length around $2(q^2-1)k$. This is an essential improvement on the previous result of Alon-Bishnoi-Das-Neri, when $q \leq 11$. For large $q$, strong blocking sets and minimal codes in our construction are worse than the previous construction of Alon-Bishnoi-Das-Neri. However, our approach is much simpler and does not depend on expander graphs.
Hook immanantal inequalities for totally nonnegative matrices
Given a weakly decreasing positive integer sequence $λ= (λ_1,\dotsc,λ_\ell)$ summing to $n$, let $χ^λ$ denote the irreducible character of the symmetric group $S_n$ indexed by $λ$. This representation has dimension $χ^λ(e)$, where $e$ is the identity element of $S_n$. Let $\mathrm{Imm}_{χ^λ}$ denote the corresponding irreducible character immanant, the function on $n \times n$ matrices $A = (a_{i,j})$ defined by $\mathrm{Imm}_{χ^λ}(A) := \sum_{w \in S_n} χ^λ(w) a_{1,w_1} \cdots a_{n,w_n}$. Merris conjectured [Linear Multilinear Algebra 14 (1983) pp. 21--35] and Heyfron proved [Linear Multilinear Algebra 24 (1988) pp. 65--78] that irreducible character immanants indexed by ``hook'' sequences $(k, 1, \dotsc, 1)$ satisfy the inequalities $\mathrm{per}(A)=\frac{\mathrm{Imm}_{χ^n}(A)}{χ^{n}(e)}\geq \frac{\mathrm{Imm}_{χ^{n-1,1}}(A)}{χ^{n-1,1}(e)}\geq \frac{\mathrm{Imm}_{χ^{ n-2,1,1}}(A)}{χ^{n-2,1,1}(e)}\geq \cdots \geq \frac{\mathrm{Imm}_{χ^{1,\dotsc,1}}(A)}{χ^{1,\dotsc,1}(e)}=\det(A)$ whenever $A$ is an $n \times n$ Hermitian positive semidefinite matrix. We prove that the same inequalities hold whenever $A$ is an $n \times n$ totally nonnegative matrix.
Proof of a magnificent conjecture
Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to $r$-tuples of solid partitions and conjectured a formula for their weighted generating function.
We define $K$-theoretic virtual invariants of Quot schemes of 0-dimensional quotients of $\mathcal{O}_{\mathbb{C}^4}^{\oplus r}$ by realizing them as zero loci of isotropic sections of orthogonal bundles on non-commutative Quot schemes. Via the Oh-Thomas localization formula, we recover Nekrasov-Piazzalunga's weights and derive their sign rule.
Our proof passes through refining the $K$-theoretic invariants to sheaves and describing them via Clifford modules, which lets us show that they arise from a factorizable sequence of sheaves in the sense of Okounkov. Taking limits of the equivariant parameters, we then deduce the Nekrasov-Piazzalunga conjecture from its 3-dimensional analog.
Decomposition results for multiplicative actions and applications
Motivated by partition regularity problems of homogeneous quadratic equations, we prove multiple recurrence and convergence results for multiplicative measure preserving actions with iterates given by rational sequences involving polynomials that factor into products of linear forms in two variables. We focus mainly on actions that are finitely generated, and the key tool in our analysis is a decomposition result for any bounded measurable function into a sum of two components, one that mimics concentration properties of pretentious multiplicative functions and another that mimics vanishing properties of aperiodic multiplicative functions. Crucial to part of our arguments are some new seminorms that are defined by a mixture of addition and multiplication of the iterates of the action, and we prove an inverse theorem that explicitly characterizes the factor that these seminorms naturally determine.
Path homology of circulant digraphs
We study GLMY path homology of circulant digraphs through step-word complexes and infinite cyclic lifts. We first prove chain retractions for interval connection sets. For a fixed finite positive connection set $S$ containing $1$, the infinite lift yields a split exact sequence and all-degree stability over every field. We then encode the short additive relations of $S$ in a lattice lift and obtain exterior homology in arbitrarily high degrees for collision-free step sets. Under an exact Freiman admissibility condition, we classify all connection sets with three positive steps. For arbitrarily many steps, we compute rectangular additive configurations and arithmetic progressions over every field, and doubling strings in characteristic zero, including their boundary ranks.
A proof of the Auluck-Chowla-Gupta Conjecture
Let p(n,k) denote the number of partitions of n into exactly k parts. In 1942 Auluck, Chowla and Gupta conjectured that for every n the sequence p(n,1), p(n,2), ..., p(n,n) is unimodal. Szekeres proved this for all sufficiently large n, but with a threshold that was never made explicit. We prove the conjecture for every n >= 1. For n >= 10^5 we give an analytic argument with fully explicit constants: an exact probabilistic representation of the ratio p(n,k+1)/p(n,k), a second-order saddle-point main term with a rigorous uniform error bound in the transition window, and separate elementary or saddle-point estimates in the two tails. Every numerical constant in this argument is certified in ball arithmetic. For n <= 2*10^5 the conjecture is verified exhaustively by two independent programs, one of them using exact integer arithmetic only. Since log-concavity of k -> p(n,k) fails for every n >= 4, the argument works with first differences and never uses log-concavity.
Hook algebras and determinantal varieties
In characteristic zero, we prove that the Tor algebras of the generic, symmetric, and skew-symmetric determinantal rings are Koszul with respect to a natural regrading. In particular, their Eilenberg--Moore spectral sequence degenerates, which allows us to explicitly determine the Poincaré series of their residue fields and answers a problem raised by Avramov. To do this, we construct the universal hook algebra and prove that it has a quadratic Gröbner basis and thus is Koszul. This leads to a new standard monomial construction of the irreducible polynomial GL-representations, alongside the Schur and Weyl functors, which is of independent interest.
A correction to the Zero Forcing Number of the Generalized Petersen Graphs $P(n,3)$
Rashidi, Shajareh Poursalavati, and Tavakkoli [J. Algebra Comb. Discrete Struct. Appl. 7 (2020), no.2, 183-193, Theorem 3.6] claim $Z(P(n,3)) = 8$ for all $n \geq 12$, but this fails at $n = 12$, where $Z(P(12,3)) = 7$. We give an explicit $7$-vertex zero forcing set for $P(12,3)$ and its forcing sequence, and verify by exhaustive search that no $6$-vertex set forces $P(12,3)$. We prove $Z(P(n,3)) \le 8$ for $n \ge 9$ using an explicit forcing set and rotational symmetry. Exhaustive search yields $Z(P(n,3))$ for $7 \le n \le 20$ and identifies the gap in the published proof: its case analysis fails to exclude $7$-vertex sets. We conjecture $Z(P(n,3)) = 8$ for $n \ge 13$, requiring a matching lower bound for all large $n$.