sequence
6845 papers tagged with this keyword
Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
Hofstadter's $G$ function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, a family $(F_k)$ of similar functions is obtained by varying the number $k$ of nested recursive calls in this equation. We study here some Fibonacci-like sequences that are deeply connected with these functions $F_k$. In particular, the Zeckendorf theorem can be adapted to provide digital expansions via sums of terms of these sequences. On these digital expansions, the functions $F_k$ are acting as right shifts of the digits. These Fibonacci-like sequences can be expressed in terms of zeros of the polynomial $X^k{-}X^{k-1}{-}1$. Considering now the discrepancy of each function $F_k$, i.e., the maximal distance between $F_k$ and its linear equivalent, we retrieve the fact that this discrepancy is finite exactly when $k \le 4$. Thanks to that, we solve two twenty-year-old OEIS conjectures stating how close the functions $F_3$ and $F_4$ are from the integer parts of their linear equivalents. Moreover we establish that $F_k$ can coincide exactly with such an integer part only when $k\le 2$, while $F_k$ is almost additive exactly when $k \le 4$. Finally, a nice fractal shape a la Rauzy has been encountered when investigating the discrepancy of $F_3$. Almost all this article has been formalized and verified in the Coq/Rocq proof assistant.
On Preserving or Reversing Higher-Order Unimodality and Convexity by Sign-Regular Kernels
This work investigates preserving and reversing unimodality and convexity properties for sequences under transformations defined by sign-regular kernels. It is shown that these transformations only preserve these properties if the kernels are totally positive of order three or their additive inverse is totally negative of order three. In contrast, these transformations reverse these properties if the underlying kernel is totally negative or if its additive inverse is a totally positive kernel, both of order three. Furthermore, these results are extended to higher-order convex and multimodal sequences. These findings, which expand upon Karlin's earlier results on convexity, form the basis for deriving sufficient conditions for the preservation or reversal of higher-order convexity or generalised unimodality of a quotient of sequences, where both the numerator and denominator are transformations by the same sign-regular kernel.
Parameterised algorithms for temporally satisfying reconfiguration problems
Given a static vertex-selection problem (e.g. independent set, dominating set) on a graph, we can define a corresponding temporally satisfying reconfiguration problem on a temporal graph which asks for a sequence of solutions to the vertex-selection problem at each time such that we can reconfigure from one solution to the next. We can think of each solution in the sequence as a set of vertices with tokens placed on them; our reconfiguration model allows us to slide tokens along active edges of a temporal graph at each time-step.
We show that it is possible to efficiently check whether one solution can be reconfigured to another, and show that approximation results on the static vertex-selection problem can be adapted with a lifetime factor to the reconfiguration version. Our main contributions are fixed-parameter tractable algorithms with respect to: enumeration time of the related static problem; the combination of temporal neighbourhood diversity and lifetime of the input temporal graph; and the combination of lifetime and treewidth of the footprint graph.
Trees with non log-concave independent set sequences
We construct a family of trees with independence numbers going to infinity for which the log-concavity relation for the independent set sequence of a tree $T$ in the family fails at around $α(T)\left(1-1/(16\log α(T))\right)$. Here $α(T)$ is the independence number of $T$. This resolves a conjecture of Kadrawi and Levit.
Recursions for quadratic rotation symmetric functions weights
A Boolean function in $n$ variables is rotation symmetric (RS) if it is invariant under powers of $ρ(x_1, \ldots, x_n) = (x_2, \ldots, x_n, x_1)$. An RS function is called monomial rotation symmetric (MRS) if it is generated by applying powers of $ρ$ to a single monomial. The author showed in $2017$ that for any RS function $f_n$ in $n$ variables, the sequence of Hamming weights $wt(f_n)$ for all values of $n$ satisfies a linear recurrence with associated recursion polynomial given by the minimal polynomial of a {\em rules matrix}. Examples showed that the usual formula for the weights $wt(f_n)$ in terms of powers of the roots of the minimal polynomial always has simple coefficients. The conjecture that this is always true is the Easy Coefficients Conjecture (ECC). The present paper proves the ECC if the rules matrix satisfies a certain condition. Major applications include an enormous decrease in the amount of computation that is needed to determine the values of $wt(f_n)$ for a quadratic RS function $f_n$ if either $n$ or the order of the recursion for the weights is large, and a simpler way to determine the Dickson form of $f_n.$ The ECC also enables rapid computation of generating functions which give the values of $wt(f_n)$ as coefficients in a power series.
Orbits on a product of two flags and a line and the Bruhat Order, I
Let $G=GL(n)$ be the $n\times n$ complex general linear group and let $\mathcal{B}_{n}$ be its flag variety. The standard Borel subgroup $B$ of upper triangular matrices acts on the product $\mathcal{B}_{n}\times \mathbb{P}^{n-1}$ with finitely many orbits. In this paper, we study the $B$-orbits on the subvarieties $\mathcal{B}_{n}\times \mathcal{O}_{i}$, where $\mathcal{O}_{i}$ is the $B$-orbit on $\mathbb{P}^{n-1}$ containing the line through the origin in the direction of the $i$-th standard basis vector of $\mathbb{C}^{n}$. For each $i=1,\dots, n$, we construct a bijection between $B$-orbits on $\mathcal{B}_{n}\times\mathcal{O}_{i}$ and certain pairs of Schubert cells in $\mathcal{B}_{n}\times\mathcal{B}_{n}$. We also show that this bijection can be used to understand the Richardson-Springer monoid action on such $B$-orbits in terms of the classical monoid action of the symmetric group on itself. We also develop combinatorial models of these orbits and use these models to compute exponential generating functions for the sequences $\{|B\backslash(\mathcal{B}_{n}\times\mathcal{O}_{i})|\}_{n\geq 1}$ and $\{|B\backslash (\mathcal{B}_{n}\times \mathbb{P}^{n-1})|\}_{n\geq 1}$. In the sequel to this paper, we use the results of this paper to construct a correspondence between $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ and a collection of $B$-orbits on the flag variety $\mathcal{B}_{n+1}$ of $GL(n+1)$ and show that this correspondence respects closures relations and preserves monoid actions. As a consequence both closure relations and monoid actions for all $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ can be understood via the Bruhat order by using our results in [CE].
Effective MC-finiteness
An integer sequence $(a_n)_{n \in \mathbb{N}}$ is \emph{MC-finite} if for all $m$, the sequence $a_n \bmod m$ is eventually periodic. There are MC-finite sequences $(a_n)_{n \in \mathbb{N}}$ such that the function $F: (m,n) \mapsto a_n \bmod m$ is not computable. In \cite{filmus2023mc} we presented concrete examples of MC-finite sequences taken from the Online Encyclopedia of Integer Sequences (OEIS) without discussing the computability of $F$. In this paper we discuss cases when this $F$ is effectively computable.
Arithmetic properties of the Taylor coefficients of differentially algebraic power series
Let $f=\sum_{n=0}^\infty f_n x^n \in \overline{\mathbb Q}[[x]$ be a solution of an algebraic differential equation $Q(x,y(x), \ldots, y^{(k)}(x))=0$, where $Q$ is a multivariate polynomial with coefficients in $\overline{\mathbb Q}$. The sequence $(f_n)_{n\ge 0}$ satisfies a non-linear recurrence, whose expression involves a polynomial $M$ of degree $s$. When the equation is linear, $M$ is its indicial polynomial at the origin. We show that when $M$ is split over $\mathbb Q$, there exist two positive integers $δ$ and $ν$ such that the denominator of $f_n$ divides $δ^{n+1}(νn+ν)!^{2s}$ for all $n\ge 0\ $, generalizing a well-known property when the equation is linear. This proves in this case a strong form of a conjecture of Mahler that Pólya--Popken's upper bound $n^{\mathcal{O}(n\log(n))}$ for the denominator of $f_n$ is not optimal. This also enables us to make Sibuya and Sperber's bound $\vert f_n\vert_v\le e^{\mathcal{O}(n)}$, for all finite places $v$ of $\overline{\mathbb Q}$, explicit in this case. Our method is completely effective and rests upon a detailed $p$-adic analysis of the above mentioned non-linear recurrences. Finally, we present various examples of differentially algebraic functions for which the associated polynomial $M$ is split over $\mathbb Q$, among which are Weierstraß' elliptic $\wp$ function, solutions of Painlevé equations, and Lagrange's solution to Kepler's equation.
The spectrum of dense kernel-based random graphs
Kernel-based random graphs (KBRGs) are a broad class of random graph models that account for inhomogeneity among vertices. We consider KBRGs on a discrete $d-$dimensional torus $\mathbf{V}_N$ of size $N^d$. Conditionally on an i.i.d.~sequence of {Pareto} weights $(W_i)_{i\in \mathbf{V}_N}$ with tail exponent $τ-1>0$, we connect any two points $i$ and $j$ on the torus with probability
$$p_{ij}= \frac{κ_σ(W_i,W_j)}{\|i-j\|^α} \wedge 1$$ for some parameter $α>0$ and $κ_σ(u,v)= (u\vee v)(u \wedge v)^σ$ for some $σ\in(0,τ-1)$.
We focus on the adjacency operator of this random graph and study its empirical spectral distribution. For $α<d$ and $τ>2$, we show that a non-trivial limiting distribution exists as $N\to\infty$ and that the corresponding measure $μ_{σ,τ}$ is absolutely continuous with respect to the Lebesgue measure. $μ_{σ,τ}$ is given by an operator-valued semicircle law, whose Stieltjes transform is characterised by a fixed point equation in an appropriate Banach space. We analyse the moments of $μ_{σ,τ}$ and prove that the second moment is finite even when the weights have infinite variance. In the case $σ=1$, corresponding to the so-called scale-free percolation random graph, we can explicitly describe the limiting measure and study its tail.
Hitting k primes by dice rolls
Let $S=(d_1,d_2,d_3, \ldots )$ be an infinite sequence of rolls of independent fair dice. For an integer $k \geq 1$, let $L_k=L_k(S)$ be the smallest $i$ so that there are $k$ integers $j \leq i$ for which $\sum_{t=1}^j d_t$ is a prime. Therefore, $L_k$ is the random variable whose value is the number of dice rolls required until the accumulated sum equals a prime $k$ times. It is known that the expected value of $L_1$ is close to $2.43$. Here we show that for large $k$, the expected value of $L_k$ is $(1+o(1)) k\log_e k$, where the $o(1)$-term tends to zero as $k$ tends to infinity. We also include some computational results about the distribution of $L_k$ for $k \leq 100$.
Constructions of Covering Sequences and Arrays
An $(n,R)$-covering sequence is a cyclic sequence whose consecutive $n$-tuples form a code of length $n$ and covering radius $R$. Using several construction methods improvements of the upper bounds on the length of such sequences for $n \leq 20$ and $1 \leq R \leq 3$, are obtained. The definition is generalized in two directions. An $(n,m,R)$-covering sequence code is a set of cyclic sequences of length $m$ whose consecutive $n$-tuples form a code of length~$n$ and covering radius $R$. The definition is also generalized to arrays in which the $m \times n$ sub-matrices form a covering code with covering radius $R$. We prove that asymptotically there are covering sequences that attain the sphere-covering bound up to a constant factor.
Abstract questionnaires and FS-decision digraphs
A questionnaire is a sequence of multiple choice questions aiming to collect data on a population. We define an abstract questionnaire as an ordered pair $(N,{\cal M})$, where $N$ is a positive integer and ${\cal M}=(m_0,m_1,\ldots,m_{N-1})$ is an $N$-tuple of positive integers, with $m_i$, for $i \in \{0, 1, \ldots, N-1 \}$, as the number of possible answers to question $i$. An abstract questionnaire may be endowed with a skip-list (which tells us which questions to skip based on the sequence of answers to the earlier questions) and a flag-set (which tells us which sequences of answers are of special interest). An FS-decision tree is a decision tree of an abstract questionnaire that also incorporates the information contained in the skip-list and flag-set. The main objective of this paper is to represent the abstract questionnaire using a directed graph, which we call an FS-decision digraph, that contains the full information of an FS-decision tree, but is in general much more concise. We present an algorithm for constructing a fully reduced FS-decision digraph, and develop the theory that supports it. In addition, we show how to generate all possible orderings of the questions in an abstract questionnaire that respect a given precedence relation.
The Affine Tamari Lattice
Given a fixed integer $n\geq 2$, we construct two new finite lattices that we call the cyclic Tamari lattice and the affine Tamari lattice. The cyclic Tamari lattice is a sublattice and a quotient lattice of the cyclic Dyer lattice, which is the infinite lattice of translation-invariant total orders under containment of inversion sets. The affine Tamari lattice is a quotient of the Dyer lattice, which in turn is a quotient of the cyclic Dyer lattice and is isomorphic to the collection of biclosed sets of the root system of type $\widetilde{A}_{n-1}$ under inclusion. We provide numerous combinatorial and algebraic descriptions of these lattices using translation-invariant total orders, translation-invariant binary in-ordered trees, noncrossing arc diagrams, torsion classes, triangulations, and translation-invariant noncrossing partitions. The cardinalities of the cyclic and affine Tamari lattices are the Catalan numbers of types $B_n$ and $D_n$, respectively. We show that these lattices are self-dual and semidistributive, and we describe their decompositions coming from the Fundamental Theorem of Finite Semidistributive Lattices. We also show that the rowmotion operators on these lattices have well-behaved orbit structures, which we describe via the cyclic sieving phenomenon. Our new combinatorial framework allows us to prove that the lengths of maximal green sequences for the completed path algebra of the oriented $n$-cycle are precisely the integers in the interval $[2n-1,\binom{n+1}{2}]$.
The Maximum Number of Bases in a Family of Vectors
The proportion of $d$-element subsets of $\mathbb{F}_2^d$ that are bases is asymptotic to $\prod_{j=1}^{\infty}(1-2^{-j}) \approx 0.29$ as $d \to \infty$. It is natural to ask whether there exists a (large) subset $\mathcal{F}$ of $\mathbb{F}_2^d$ such that the proportion of $d$-element subsets of $\mathcal{F}$ that are bases is (asymptotically) greater than this number. As well as being a natural question in its own right, this would imply better lower bounds on the Turán densities of certain hypercubes and `daisy' hypergraphs.
We give a negative answer to the above question. More generally, we obtain an asymptotically sharp upper bound on the proportion of linearly independent $r$-element subsets of a (large) family of vectors in $\mathbb{F}_2^d$, for $r \leq d$. This bound follows from an exact result concerning the probability of obtaining a linearly independent sequence when we randomly sample $r$ elements with replacement from our family of vectors: we show that this probability, for any family of vectors, is at most what it is when the family is the whole space $\mathbb{F}_2^d \setminus \{0\}$. Our results also go through when $\mathbb{F}_2$ is replaced by $\mathbb{F}_q$ for any prime power $q$.
On generalizing the Van der Waerden theorem to some symmetric functions
Let $n,m$ be positive integers and $c \in \mathbb{Z}_n$, where $\mathbb{Z}_n$ is the ring of integers modulo $n$. We almost complete providing the answer to the following problem, partially solved by N. Alon. Does any infinite sequence over $\mathbb{Z}_n$ contain $m$ same-length consecutive blocks $B_1, \ldots, B_m$ s.t. $\sum B_j + c \prod B_j = 0$ for every $j=1,\ldots,m$ (where $\sum B$ and $\prod B$ denote, respectively, the sum and the product of the elements in block $B$)? In the case of $c=0$, this problem is equivalent to the Van der Waerden theorem. After investigating $B \mapsto \sum B + c\prod B$, we provide other examples of generalizing the Van der Waerden theorem.
Cancellation of a critical pair in discrete Morse theory and its effect on (co)boundary operators
Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to the computation of homology groups of a simpler chain complex. This homology computation hinges on an efficient enumeration of gradient trajectories. The technique of cancelling pairs of critical simplices reduces the number of critical simplices, though it also perturbs the gradient trajectories. In this article, we demonstrate that (the matrix of) a certain modified boundary operator of interest can be derived from the corresponding original boundary operator through a sequence of elementary row operations. Thus, it eliminates the need of enumeration of the new gradient trajectories. We also obtain a similar result for coboundary operators.
Hankel continued fractions and Hankel determinants for $q$-deformed metallic numbers
Fix $n$ a positive integer. Take the $n$-th metallic number $φ_n=\frac{n+\sqrt{n^2+4}}{2}$ (e.g. $φ_1$ is the golden number) and let $Φ_n(q)$ be its $q$-deformation in the sense of S. Morier-Genoud and V. Ovsienko. This is an algebraic continued fraction which admits an expansion into a Taylor series around $q=0$, with integral coefficients. By using the notion of Hankel continued fraction introduced by the first author in 2016 we determine explicitly the first $n+2$ sequences of shifted Hankel determinants of $Φ_n$ and show that they satisfy the following properties:
1) They are periodic and consist of $-1,0,1$ only.
2) They satisfy a three-term Gale-Robinson recurrence, i.e. they form discrete integrable dynamical systems.
3) They are all completely determined by the first sequence.
This article thus validates a conjecture formulated by V. Ovsienko and the second author in a recent paper and establishes new connections between $q$-deformations of real numbers and sequences of Catalan or Motzkin numbers.
A positivity conjecture for a quotient of $q$-binomial coefficients
Published in Ramanujan J. 69 (2026), Art. 13, 13 pp
• Search Publication
We conjecture that, if the quotient of two $q$-binomial coefficients with the same top argument is a polynomial, then it has non-negative coefficients. We summarise what is known about the conjecture and prove it in two non-trivial cases. Moreover, we move ahead to extend our conjecture to D. Stanton's fake Gaussian sequences. As a corollary we obtain that a polynomial that is conjectured to be a cyclic sieving polynomial for Kreweras words [S. Hopkins and M. Rubey, Selecta Math. (N.S.) 28 (2022), Paper No. 10] is indeed a polynomial with non-negative integer coefficients.
Folded Gentle Algebras
We use folding techniques to define a new class of gentle-like algebras that generalise the iterated tilted algebras of type $C$ and $\widetilde{C}$, which we call folded gentle algebras. We then show that folded gentle algebras satisfy many of the same remarkable properties of gentle algebras, and that the proof of these properties follows directly from folding arguments. In particular, we classify the indecomposable modules of folded gentle algebras in terms symmetric and asymmetric string and band modules. We classify the Auslander-Reiten sequences over these algebras, showing that irreducible morphisms between string modules are given by adding/deleting hooks and cohooks to/from strings. Finally, we show that the class of folded gentle algebras are closed under derived equivalence.
On the length over which $k$-Göbel sequences remain integers
We prove that the sequence $(N_k)_k$, where each $N_k$ is defined as the smallest positive integer $n$ for which the $n$th term $g_{k,n}$ of the $k$-Göbel sequence is not an integer, is unbounded.