sequence
6966 papers tagged with this keyword
The OEIS: A Fingerprint File for Mathematics
Published
• View Publication
• BIB
An introduction to the On-Line Encyclopedia of Integer Sequences (or OEIS, https://oeis.org) for graduate students in mathematics
Asymptotic Analysis of q-Recursive Sequences
Published in Algorithmica volume 84, pages 2480-2532 (2022)
• View Publication
• BIB
For an integer $q\ge2$, a $q$-recursive sequence is defined by recurrence relations on subsequences of indices modulo some powers of~$q$. In this article, $q$-recursive sequences are studied and the asymptotic behavior of their summatory functions is analyzed. It is shown that every $q$-recursive sequence is $q$-regular in the sense of Allouche and Shallit and that a $q$-linear representation of the sequence can be computed easily by using the coefficients from the recurrence relations. Detailed asymptotic results for $q$-recursive sequences are then obtained based on a general result on the asymptotic analysis of $q$-regular sequences.
Three particular sequences are studied in detail: We discuss the asymptotic behavior of the summatory functions of Stern's diatomic sequence, the number of non-zero elements in some generalized Pascal's triangle and the number of unbordered factors in the Thue--Morse sequence. For the first two sequences, our analysis even leads to precise formulæ without error terms.
Polynomial ergodic averages for certain countable ring actions
Published
• View Publication
• BIB
A recent result of Frantzikinakis establishes sufficient conditions for joint ergodicity in the setting of $\mathbb{Z}$-actions. We generalize this result for actions of second-countable locally compact abelian groups. We obtain two applications of this result. First, we show that, given an ergodic action $(T_n)_{n \in F}$ of a countable field $F$ with characteristic zero on a probability space $(X,\mathcal{B},μ)$ and a family $\{p_1,\dots,p_k\}$ of independent polynomials, we have \[ \lim_{N \to \infty} \frac{1}{|Φ_N|}\sum_{n \in Φ_N} T_{p_1(n)}f_1\cdots T_{p_k(n)}f_k\ = \ \prod_{j=1}^k \int_X f_i \ dμ,\] where $f_i \in L^{\infty}(μ)$, $(Φ_N)$ is a Fø lner sequence of $(F,+)$, and the convergence takes place in $L^2(μ)$. This yields corollaries in combinatorics and topological dynamics. Second, we prove that a similar result holds for totally ergodic actions of suitable rings.
Random homomorphisms into the orthogonality graph
Published
• View Publication
• BIB
Subgraph densities have been defined, and served as basic tools, both in the case of graphons (limits of dense graph sequences) and graphings (limits of bounded-degree graph sequences). While limit objects have been described for the "middle ranges", the notion of subgraph densities in these limit objects remains elusive. We define subgraph densities in the orthogonality graphs on the unit spheres in dimension $d$, under appropriate sparsity condition on the subgraphs. These orthogonality graphs exhibit the main difficulties of defining subgraphs the "middle" range, and so we expect their study to serve as a key example to defining subgraph densities in more general Markov spaces.
The problem can also be formulated as defining and computing random orthogonal representations of graphs. Orthogonal representations have played a role in information theory, optimization, rigidity theory and quantum physics, so to study random ones may be of interest from the point of view of these applications as well.
Reconfiguring Independent Sets on Interval Graphs
We study reconfiguration of independent sets in interval graphs under the token sliding rule. We show that if two independent sets of size $k$ are reconfigurable in an $n$-vertex interval graph, then there is a reconfiguration sequence of length $\mathcal{O}(k\cdot n^2)$. We also provide a construction in which the shortest reconfiguration sequence is of length $Ω(k^2\cdot n)$.
As a counterpart to these results, we also establish that $\textsf{Independent Set Reconfiguration}$ is PSPACE-hard on incomparability graphs, of which interval graphs are a special case.
Categorifications of rational Hilbert series and characters of $FS^{op}$ modules
Published in Alg. Number Th. 16 (2022) 2433-2491
• View Publication
• BIB
We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for several combinatorial categories including: the category of finite sets and injections, the opposite of the category of finite sets and surjections, and the category of finite dimensional vector spaces over a finite field and injections.
Our main applications are to modules over the opposite of the category of finite sets and surjections, known as $FS^{op}$ modules. We obtain many constraints on the sequence of symmetric group representations underlying a finitely generated $FS^{op}$ module. In particular, we describe its character in terms of functions that we call character exponentials. Our results have new consequences for the character of the homology of the moduli space of stable marked curves, and for the equivariant Kazhdan-Luzstig polynomial of the braid matroid.
Shifted Hankel determinants of Catalan numbers and related results
In this (partly expository) paper we give a short overview about the close relationship between the sequence of Catalan numbers and Hankel determinants from the point of view of orthogonal polynomials and show that an analogous situation exists for more general sequences.
Extremal values of semi-regular continuants and codings of interval exchange transformations
Published in Mathematika 69 (2023) 432-457
• View Publication
• BIB
Given a set $A$ of positive integers $a_1<\cdots<a_k$ and a partition $P: n_1+\cdots+n_k=n$, find the extremal denominators of the regular and semi-regular continued fraction $[0;x_1,\ldots,x_n]$ with partial quotients $x_i\in A$ and where each $a_i$ occurs exactly $n_i$ times in $x_1,\ldots,x_n$. In 1983, G. Ramharter gave an explicit description of the extremal arrangements of the regular continued fraction and the minimizing arrangement for the semi-regular continued fraction and showed that in each case the arrangement is unique up to reversal and independent of the actual values of the integers $a_i$. However, an explicit determination of a maximizing arrangement for the semi-regular continuant turned out to be more difficult. Ramharter conjectured that as in the other three cases, the maximizing arrangement is unique up to reversal and depends only on the partition $P$ and not on the values of the $a_i$. He further verified the conjecture in the case of a binary $A$. In this paper we confirm Ramharter's conjecture for sets $A$ with $|A|=3$ and give an algorithmic construction for the unique maximizing arrangement. We also show that Ramharter's conjecture fails for sets with $|A|\geq 4$, as the maximizing arrangement is in general neither unique nor independent of the values of the digits in $A$. The central idea is that the extremal arrangements satisfy a strong combinatorial condition, which may also be stated in the context of infinite sequences on an ordered set. We show that for bi-infinite binary words, this condition coincides with the Markoff property, discovered by A.A. Markoff in 1879 in his study of minima of binary quadratic forms. We further show that this same combinatorial condition is the fundamental property which describes the orbit structure of the natural codings of points under a symmetric $k$-interval exchange transformation.
Subset sums, completeness and colorings
We develop novel techniques which allow us to prove a diverse range of results relating to subset sums and complete sequences of positive integers, including solutions to several longstanding open problems. These include: solutions to the three problems of Burr and Erdős on Ramsey complete sequences, for which Erdős later offered a combined total of \$350; analogous results for the new notion of density complete sequences; the solution to a conjecture of Alon and Erdős on the minimum number of colors needed to color the positive integers less than $n$ so that $n$ cannot be written as a monochromatic sum; the exact determination of an extremal function introduced by Erdős and Graham on sets of integers avoiding a given subset sum; and, answering a question reiterated by several authors, a homogeneous strengthening of a seminal result of Szemerédi and Vu on long arithmetic progressions in subset sums.
A combinatorial algorithm for computing the entire sequence of the maximum degree of minors of a generic partitioned polynomial matrix with $2 \times 2$ submatrices
Published
• View Publication
• BIB
In this paper, we consider the problem of computing the entire sequence of the maximum degree of minors of a block-structured symbolic matrix (a generic partitioned polynomial matrix) $A = (A_{αβ} x_{αβ} t^{d_{αβ}})$, where $A_{αβ}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$, $x_{αβ}$ is an indeterminate, and $d_{αβ}$ is an integer for $α= 1,2,\dots, μ$ and $β= 1,2,\dots,ν$, and $t$ is an additional indeterminate. This problem can be viewed as an algebraic generalization of the maximum weight bipartite matching problem.
The main result of this paper is a combinatorial $O(μν\min\{μ, ν\}^2)$-time algorithm for computing the entire sequence of the maximum degree of minors of a $(2 \times 2)$-type generic partitioned polynomial matrix of size $2μ\times 2ν$. We also present a minimax theorem, which can be used as a good characterization (NP $\cap$ co-NP characterization) for the computation of the maximum degree of minors of order $k$. Our results generalize the classical primal-dual algorithm (the Hungarian method) and minimax formula (Egerváry's theorem) for the maximum weight bipartite matching problem.
Reconstruction of hypergraphs from line graphs and degree sequences
In this paper we consider the problem to reconstruct a $k$-uniform hypergraph from its line graph. In general this problem is hard. We solve this problem when the number of hyperedges containing any pair of vertices is bounded. Given an integer sequence, constructing a $k$-uniform hypergraph with that as its degree sequence is NP-complete. Here we show that for constant integer sequences the question can be answered in polynomial time using Baranyai's theorem.
Optimal conditions for $(L_1;L_2)$ to be forcibly bigraphic
Let $L_1=([a_1,b_1],\ldots,[a_m,b_m])$ and $L_2=([c_1,d_1],\ldots,[c_n,d_n]$) be two sequences of intervals consisting of nonnegative integers with $b_1\ge \cdots\ge b_m$ and $d_1\ge \cdots\ge d_n$. In this paper, we first give two optimal conditions for the sequences of intervals $L_1$ and $L_2$ such that each pair $(P;Q)$ with $P=(p_1,\ldots,p_m)$, $Q=(q_1,\ldots,q_n)$, $a_i\le p_i\le b_i$ for $1\le i\le m$, $c_i\le q_i\le d_i$ for $1\le i\le n$ and $\sum\limits_{i=1}^m p_i=\sum\limits_{i=1}^n q_i$ is bigraphic. One of them is optimal sufficient condition and the other one optimal necessary condition. We also present a characterization of $(L_1;L_2)$ that is forcibly bigraphic on sequences of intervals. This is an extension of the well-known theorem on bigraphic sequences due to Gale and Ryser
On the joint spectral radius of nonnegative matrices
Published in Linear Algebra and its Applications 654 (2022): 89--101
• View Publication
• BIB
We give an effective bound of the joint spectral radius $ρ(Σ)$ for a finite set $Σ$ of nonnegative matrices: For every $n$,
\[
\sqrt[n]{\left(\frac{V}{UD}\right)^{D} \max_C \max_{i,j\in C} \max_{A_1,\dots,A_n\inΣ}(A_1\dots A_n)_{i,j}} \le ρ(Σ)
\le \sqrt[n]{D \max_C \max_{i,j\in C} \max_{A_1,\dots,A_n\inΣ}(A_1\dots A_n)_{i,j}},
\] where $D\times D$ is the dimension of the matrices, $U,V$ are respectively the largest entry and the smallest entry over all the positive entries of the matrices in $Σ$, and $C$ is taken over all strongly connected components in the dependency graph. The dependency graph is a directed graph where the vertices are the dimensions and there is an edge from $i$ to $j$ if and only if $A_{i,j}\ne 0$ for some matrix $A\inΣ$.
Furthermore, a bound on the norm is also given: If $ρ(Σ)>0$ then there exist a nonnegative integer $r$ and two positive numbers $α,β$ so that for every $n$,
\[
αn^r{ρ(Σ)}^n \le \max_{A_1,\dots,A_n\inΣ} \|A_1\dots A_n\| \le βn^r{ρ(Σ)}^n.
\]
Corollaries of the approach include a simple proof for the joint spectral theorem for finite sets of nonnegative matrices and the convergence rate of some sequences. The method in use is mostly based on Fekete's lemma, for both submultiplicative and supermultiplicative sequences.
Scaling limit of random plane quadrangulations with a simple boundary, via restriction
Published
• View Publication
• BIB
We prove that quadrangulations with a simple boundary converge to the Brownian disk. More precisely, we fix a sequence $(p_n)$ of even positive integers with $p_n\sim 2α\sqrt{2n}$ for some $α\in(0,\infty)$. Then, for the Gromov--Hausdorff topology, a quadrangulation with a simple boundary uniformly sampled among those with $n$ inner faces and boundary length $p_n$ weakly converges, in the usual scaling $n^{-1/4}$, toward the Brownian disk of perimeter $3α$.
Our method consists in seeing a uniform quadrangulation with a simple boundary as a conditioned version of a model of maps for which the Gromov--Hausdorff scaling limit is known. We then explain how classical techniques of unconditionning can be used in this setting of random maps.
GCD of sums of $k$ consecutive Fibonacci, Lucas, and generalized Fibonacci numbers
Published in Journal of Integer Sequences, Vol. 24 (2021), Article 21.9.8
• Search Publication
We explore the sums of $k$ consecutive terms in the generalized Fibonacci sequence $\left(G_n\right)_{n \geq 0}$ given by the recurrence $G_n = G_{n-1} + G_{n-2}$ for all $n \geq 2$ with integral initial conditions $G_0$ and $G_1$. In particular, we give precise values for the greatest common divisor (GCD) of all sums of $k$ consecutive terms of $\left(G_n\right)_{n \geq 0}$. When $G_0 = 0$ and $G_1 = 1$, we yield the GCD of all sums of $k$ consecutive Fibonacci numbers, and when $G_0 = 2$ and $G_1 = 1$, we yield the GCD of all sums of $k$ consecutive Lucas numbers. Denoting the GCD of all sums of $k$ consecutive generalized Fibonacci numbers by the symbol $\mathcal{G}_{G_0, G_1}\!(k)$, we give two tantalizing characterizations for these values, one involving a simple formula in $k$ and another involving generalized Pisano periods: $$\mathcal{G}_{G_0, G_1}\!(k) = \gcd(G_{k+1}-G_1,\, G_{k+2}-G_2)\; \mbox{and}$$ $$\mathcal{G}_{G_0, G_1}\!(k) = \mathrm{lcm}\{m \mid π_{G_0,G_1}\!(m) \text{ divides } k\},$$ where $π_{G_0,G_1}\!(m)$ denotes the generalized Pisano period of the generalized Fibonacci sequence modulo $m$. The fact that these vastly different-looking formulas coincide leads to some surprising and delightful new understandings of the Fibonacci and Lucas numbers.
On the generalized $\vartheta$-number and related problems for highly symmetric graphs
Published
• View Publication
• BIB
This paper is an in-depth analysis of the generalized $\vartheta$-number of a graph. The generalized $\vartheta$-number, $\vartheta_k(G)$, serves as a bound for both the $k$-multichromatic number of a graph and the maximum $k$-colorable subgraph problem. We present various properties of $\vartheta_k(G)$, such as that the sequence $(\vartheta_k(G))_k$ is increasing and bounded from above by the order of the graph $G$. We study $\vartheta_k(G)$ when $G$ is the strong, disjunction or Cartesian product of two graphs. We provide closed form expressions for the generalized $\vartheta$-number on several classes of graphs including the Kneser graphs, cycle graphs, strongly regular graphs and orthogonality graphs. Our paper provides bounds on the product and sum of the $k$-multichromatic number of a graph and its complement graph, as well as lower bounds for the $k$-multichromatic number on several graph classes including the Hamming and Johnson graphs.
Shifted insertion algorithms for primed words
Published in Combinatorial Theory 3 (2023), no. 3., #14
• View Publication
• BIB
This article studies some new insertion algorithms that associate pairs of shifted tableaux to finite integer sequences in which certain terms may be primed. When primes are ignored in the input word these algorithms reduce to known correspondences, namely, a shifted form of Edelman-Greene insertion, Sagan-Worley insertion, and Haiman's shifted mixed insertion. These maps have the property that when the input word varies such that one output tableau is fixed, the other output tableau ranges over all (semi)standard tableaux of a given shape with no primed diagonal entries. Our algorithms have the same feature, but now with primes allowed on the main diagonal. One application of this is to give another Littlewood-Richardson rule for products of Schur $Q$-functions. It is hoped that there will exist set-valued generalizations of our bijections that can be used to understand products of $K$-theoretic Schur $Q$-functions.
Avoiding squares over words with lists of size three amongst four symbols
Published
• View Publication
• BIB
In 2007, Grytczuk conjecture that for any sequence $(\ell_i)_{i\ge1}$ of alphabets of size $3$ there exists a square-free infinite word $w$ such that for all $i$, the $i$-th letter of $w$ belongs to $\ell_i$. The result of Thue of 1906 implies that there is an infinite square-free word if all the $\ell_i$ are identical. On the other, hand Grytczuk, Przybyło and Zhu showed in 2011 that it also holds if the $\ell_i$ are of size $4$ instead of $3$.
In this article, we first show that if the lists are of size $4$, the number of square-free words is at least $2.45^n$ (the previous similar bound was $2^n$). We then show our main result: we can construct such a square-free word if the lists are subsets of size $3$ of the same alphabet of size $4$. Our proof also implies that there are at least $1.25^n$ square-free words of length $n$ for any such list assignment. This proof relies on the existence of a set of coefficients verified with a computer. We suspect that the full conjecture could be resolved by this method with a much more powerful computer (but we might need to wait a few decades for such a computer to be available).
Combinatorial structure of Sturmian words and continued fraction expansions of Sturmian numbers
Published
• View Publication
• BIB
Let $θ= [0; a_1, a_2, \dots]$ be the continued fraction expansion of an irrational real number $θ\in (0, 1)$. It is well-known that the characteristic Sturmian word of slope $θ$ is the limit of a sequence of finite words $(M_k)_{k \ge 0}$, with $M_k$ of length $q_k$ (the denominator of the $k$-th convergent to $θ$) being a suitable concatenation of $a_k$ copies of $M_{k-1}$ and one copy of $M_{k-2}$. Our first result extends this to any Sturmian word. Let $b \ge 2$ be an integer. Our second result gives the continued fraction expansion of any real number $ξ$ whose $b$-ary expansion is a Sturmian word ${\bf s}$ over the alphabet $\{0, b-1\}$. This extends a classical result of Böhmer who considered only the case where ${\bf s}$ is characteristic. As a consequence, we obtain a formula for the irrationality exponent of $ξ$ in terms of the slope and the intercept of ${\bf s}$.
Angle chains and pinned variants
We study a variant of the Erd\H os unit distance problem, concerning angles between successive triples of points chosen from a large finite point set. Specifically, given a large finite set of $n$ points $E$, and a sequence of angles $(α_1,\ldots,α_k)$, we give upper and lower bounds on the maximum possible number of tuples of distinct points $(x_1,\dots, x_{k+2})\in E^{k+2}$ satisfying $\angle (x_j,x_{j+1},x_{j+2})=α_j$ for every $1\le j \le k$ as well as pinned analogues.