Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.07576 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915784176959488 |
|---|---|
| author | Bell, Jason P. Sun, Yuxuan |
| author_facet | Bell, Jason P. Sun, Yuxuan |
| contents | Given an algebraically closed field $K$, a dynamical sequence over $K$ is a $K$-valued sequence of the form $a(n):= f(ϕ^n(x_0))$, where $ϕ\colon X\to X$ and $f\colon X\to\mathbb{A}^1$ are rational maps defined over $K$, and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $φ$ and $f$. Many classical sequences from number theory and algebraic combinatorics fall under this dynamical framework, and we show that the class of dynamical sequences enjoys numerous closure properties and encompasses all elliptic divisibility sequences, all Somos sequences, and all $C^n$- and $D^n$-finite sequences for all $n\ge 1$, as defined by Jiménez-Pastor, Nuspl, and Pillwein. We also give an algorithm for proving that two dynamical sequences are identical and illustrate how to use this algorithm by showing how to prove several classical combinatorial identities via this method. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_07576 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Dynamical sequences: closure properties and automatic identity proving Bell, Jason P. Sun, Yuxuan Symbolic Computation Combinatorics Number Theory 14E05, 68Q40, 03B35 Given an algebraically closed field $K$, a dynamical sequence over $K$ is a $K$-valued sequence of the form $a(n):= f(ϕ^n(x_0))$, where $ϕ\colon X\to X$ and $f\colon X\to\mathbb{A}^1$ are rational maps defined over $K$, and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $φ$ and $f$. Many classical sequences from number theory and algebraic combinatorics fall under this dynamical framework, and we show that the class of dynamical sequences enjoys numerous closure properties and encompasses all elliptic divisibility sequences, all Somos sequences, and all $C^n$- and $D^n$-finite sequences for all $n\ge 1$, as defined by Jiménez-Pastor, Nuspl, and Pillwein. We also give an algorithm for proving that two dynamical sequences are identical and illustrate how to use this algorithm by showing how to prove several classical combinatorial identities via this method. |
| title | Dynamical sequences: closure properties and automatic identity proving |
| topic | Symbolic Computation Combinatorics Number Theory 14E05, 68Q40, 03B35 |
| url | https://arxiv.org/abs/2602.07576 |