sequence
6966 papers tagged with this keyword
A composition law and refined notions of convergence for periodic continued fractions
Published
• View Publication
• BIB
We define an equivalence relation on periodic continued fractions with partial quotients in a ring $\mathcal{O} \subseteq \mathbf{C}$, a group law on these equivalence classes, and a map from these equivalence classes to matrices in $\mathrm{GL}_2(\mathcal{O})$ with determinant $\pm1$. We prove this group of equivalence classes is isomorphic to $\mathbf{Z}/2\mathbf{Z}\ast\mathcal{O}$ and study certain of its one- and two-dimensional representations.
For a periodic continued fraction with period $k$, we give a refined description of the limits of the $k$ different $k$-decimations of its sequence of convergents. We show that for a periodic continued fraction associated to a matrix with eigenvalues of different magnitudes, all $k$ of these limits exist in $\mathbb{P}^1(\mathbf{C})$ and a strict majority of them are equal.
Kolam Simulation using Angles at Lattice Points
Kolam is a ritual art form practised by people in South India and consists of rule-bound geometric patterns of dots and lines. Single loop Kolams are mathematical closed loop patterns drawn over a grid of dots and conforming to certain heuristics. In this work, we propose a novel encoding scheme where we map the angular movements of Kolam at lattice points into sequences containing $4$ distinct symbols. This is then used to simulate single loop Kolam procedure via turtle moves in accordance with the desired angular direction at specific points. We thus obtain sequential codes for Kolams, unique up to cyclic permutations. We specify the requirements for the algorithm and indicate the general methodology. We demonstrate a sample of Kolams using our algorithm with a software implementation in Python.
Sorting Pattern-Avoiding Permutations via 0-1 Matrices Forbidding Product Patterns
Published
• View Publication
• BIB
We consider the problem of comparison-sorting an $n$-permutation $S$ that avoids some $k$-permutation $π$. Chalermsook, Goswami, Kozma, Mehlhorn, and Saranurak prove that when $S$ is sorted by inserting the elements into the GreedyFuture binary search tree, the running time is linear in the extremal function $\mathrm{Ex}(P_π\otimes \text{hat},n)$. This is the maximum number of 1s in an $n\times n$ 0-1 matrix avoiding $P_π\otimes \text{hat}$, where $P_π$ is the $k\times k$ permutation matrix of $π$, $\otimes$ the Kronecker product, and $\text{hat} = \left(\begin{array}{ccc}&\bullet&\\\bullet&&\bullet\end{array}\right)$. The same time bound can be achieved by sorting $S$ with Kozma and Saranurak's SmoothHeap.
In this paper we give nearly tight upper and lower bounds on the density of $P_π\otimes\text{hat}$-free matrices in terms of the inverse-Ackermann function $α(n)$. \[ \mathrm{Ex}(P_π\otimes \text{hat},n) = \left\{\begin{array}{ll} Ω(n\cdot 2^{α(n)}), & \mbox{for most $π$,}\\ O(n\cdot 2^{O(k^2)+(1+o(1))α(n)}), & \mbox{for all $π$.} \end{array}\right. \] As a consequence, sorting $π$-free sequences can be performed in $O(n2^{(1+o(1))α(n)})$ time. For many corollaries of the dynamic optimality conjecture, the best analysis uses forbidden 0-1 matrix theory. Our analysis may be useful in analyzing other classes of access sequences on binary search trees.
Modular binomials with an application to periodic sequences
We study, through new recurrence relations for certain binomial coefficients modulo a power of a prime, the evolution of the primitives of a modular periodic sequence. We prove that we can reduce to study primitives of constant sequences and that the latter are controlled by modular binomial coefficients. Finally we apply our results to describe the dynamics of the primitives of the sequence considered by the Romanian composer Vieru in his "Book of Modes".
Matroids Arising From Nested Sequences of Flats In Projective And Affine Geometries
Published
• View Publication
• BIB
Targets are matroids that arise from a nested sequence of flats in a projective geometry. This class of matroids was introduced by Nelson and Nomoto, who found the forbidden induced restrictions for binary targets. This paper generalizes their result to targets arising from projective geometries over $GF(q)$. We also consider targets arising from nested sequences of affine flats and determine the forbidden induced restrictions for affine targets.
Matrix continued fractions associated with lattice paths, resolvents of difference operators, and random polynomials
Published
• View Publication
• BIB
We begin our analysis with the study of two collections of lattice paths in the plane, denoted $\mathcal{D}_{[n,i,j]}$ and $\mathcal{P}_{[n,i,j]}$. These paths consist of sequences of $n$ steps, where each step allows movement in three directions: upward (with a maximum displacement of $q$ units), rightward (exactly one unit), or downward (with a maximum displacement of $p$ units). The paths start from the point $(0,i)$ and end at the point $(n,j)$. In the collection $\mathcal{D}_{[n,i,j]}$, it is a crucial constraint that paths never go below the $x$-axis, while in the collection $\mathcal{P}_{[n,i,j]}$, paths have no such restriction. We assign weights to each path in both collections and introduce weight polynomials and generating series for them. Our main results demonstrate that certain matrices of size $q\times p$ associated with these generating series can be expressed as matrix continued fractions. These results extend the notable contributions previously made by P. Flajolet and G. Viennot in the scalar case $p=q=1$. The generating series can also be interpreted as resolvents of one-sided or two-sided difference operators of finite order. Additionally, we analyze a class of random banded matrices $H$, which have $p+q+1$ diagonals with entries that are independent and bounded random variables. These random variables have identical distributions along diagonals. We investigate the asymptotic behavior of the expected values of eigenvalue moments for the principal $n\times n$ truncation of $H$ as $n$ tends to infinity.
On Hofstadter's G-sequence
We characterize the entries of Hofstadter's G-sequence in terms of the lower and upper Wythoff sequences. This can be used to give a short and comprehensive proof of the equality of Hofstadter's G-sequence and the sequence of averages of the swapped Wythoff sequences. In a second part we give some results that hold when one replaces the golden mean by other quadratic algebraic numbers. In a third part we prove a close relationship between Hofstadter's G-sequence and a sequence studied by Avdivpahic and Zejnulahi.
Sparse Graphs of Twin-width 2 Have Bounded Tree-width
Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a sequence at hand allows to solve many otherwise hard problems efficiently. Our paper focuses on a comparison of twin-width to the more traditional tree-width on sparse graphs. Namely, we prove that if a graph $G$ of twin-width at most $2$ contains no $K_{t,t}$ subgraph for some integer $t$, then the tree-width of $G$ is bounded by a polynomial function of $t$. As a consequence, for any sparse graph class $\mathcal{C}$ we obtain a polynomial time algorithm which for any input graph $G \in \mathcal{C}$ either outputs a contraction sequence of width at most $c$ (where $c$ depends only on $\mathcal{C}$), or correctly outputs that $G$ has twin-width more than $2$. On the other hand, we present an easy example of a graph class of twin-width $3$ with unbounded tree-width, showing that our result cannot be extended to higher values of twin-width.
A Serre spectral sequence for the moduli space of tropical curves
Published
• View Publication
• BIB
We construct, for all $g\geq 2$ and $n\geq 0$, a spectral sequence of rational $S_n$-representations which computes the $S_n$-equivariant reduced rational cohomology of the tropical moduli spaces of curves $Δ_{g,n}$ in terms of compactly supported cohomology groups of configuration spaces of $n$ points on graphs of genus $g$. Using the canonical $S_n$-equivariant isomorphisms $\widetilde{H}^{i-1}(Δ_{g,n};\mathbb{Q}) \cong W_0 H^i_c(\mathcal{M}_{g,n};\mathbb{Q})$, we calculate the weight $0$, compactly supported rational cohomology of the moduli spaces $\mathcal{M}_{g,n}$ in the range $g=3$ and $n\leq 9$, with partial computations available for $n\leq 13$.
Efficient Calculation the Number of Partitions of the Set $\{1, 2, \ldots, 3n\}$ into Subsets $\{x, y, z\}$ Satisfying $x+y=z$
Published in Mathematics Open 2024
• View Publication
• BIB
Consider the set $\{1,2,\ldots,3n\}$. We are interested in the number of partitions of this set into subsets of three elements each, where the sum of two of them equals the third.
We give some criteria such a partition has to fulfill, which can be used for efficient pruning in the search for these partitions. In particular, we enumerate all such partitions for $n=16$ and $n=17$ adding new terms to the series A108235 in the Online Encyclopedia of Integer Sequences.
Moment sequences, transformations, and Spidernet graphs
We use the link between Jacobi continued fractions and the generating functions of certain moment sequences to study some simple transformations on them. In particular, we define and study a transformation that is appropriate for the study of spidernet graphs and their moments, and the free Meixner law.
A subfamily of skew Dyck paths related to $k$-ary trees
Published in Journal of Integer Sequences 27: Article 24.2.4, 22 pp., 2024
• Search Publication
We introduce a subfamily of skew Dyck paths called box paths and show that they are in bijection with pairs of ternary trees, confirming an observation stated previously on the On-Line Encyclopedia of Integer Sequences. More generally, we define $k$-box paths, which are in bijection with $(k+1)$-tuples of $(k+2)$-ary trees. A bijection is given between $k$-box paths and a subfamily of $k_{t}$-Dyck paths, as well as a bijection with a subfamily of $(k,\ell)$-threshold sequences. We also study the refined enumeration of $k$-box paths by the number of returns and the number of long ascents. Notably, the distribution of long ascents over $k$-box paths generalizes the Narayana distribution on Dyck paths, and we find that $(k-3)$-box paths with exactly two long ascents provide a combinatorial model for the second $k$-gonal numbers.
On boundedness of zeros of the independence polynomial of tori
Published
• View Publication
• BIB
We study boundedness of zeros of the independence polynomial of tori for sequences of tori converging to the integer lattice. We prove that zeros are bounded for sequences of balanced tori, but unbounded for sequences of highly unbalanced tori. Here balanced means that the size of the torus is at most exponential in the shortest side length, while highly unbalanced means that the longest side length of the torus is super exponential in the product over the other side lengths cubed. We discuss implications of our results to the existence of efficient algorithms for approximating the independence polynomial on tori.
This project was partially inspired by the relationship between zeros of partition functions and holomorphic dynamics, a relationship that in the last two decades played a prominent role in the field. Besides presenting new results, we survey this relationship and its recent consequences.
The binomial random graph is a bad inducer
Published
• View Publication
• BIB
For a finite graph $F$ and a value $p \in [0,1]$, let $I(F,p)$ denote the largest $y$ for which there is a sequence of graphs of edge density approaching $p$ so that the induced $F$-density of the sequence approaches $y$. We show that for all $F$ on at least three vertices and all $p \in (0,1)$, the binomial random graph $G(n,p)$ has induced $F$-density strictly less than $I(F,p).$ This provides a negative answer to a problem posed by Liu, Mubayi and Reiher.
Our approach is in the limiting setting of graphons, and we in fact show a stronger result: the binomial random graph is never a \emph{local} maximum in the space of graphons of edge density $p$. This is done by finding a sequence of balanced perturbations of arbitrarily small norm that increase the $F$-density.
Increasing paths in random temporal graphs
Published
• View Publication
• BIB
We consider random temporal graphs, a version of the classical Erdős--Rényi random graph G(n,p) where additionally, each edge has a distinct random time stamp, and connectivity is constrained to sequences of edges with increasing time stamps. We study the asymptotics for the distances in such graphs, mostly in the regime of interest where np is of order log n. We establish the first order asymptotics for the lengths of increasing paths: the lengths of the shortest and longest paths between typical vertices, the maxima of these lengths from a given vertex, as well as the maxima between any two vertices; this covers the (temporal) diameter.
Sums of GUE matrices and concentration of hives from correlation decay of eigengaps
Published
• View Publication
• BIB
Associated to two given sequences of eigenvalues $λ_1 \geq \dots \geq λ_n$ and $μ_1 \geq \dots \geq μ_n$ is a natural polytope, the polytope of augmented hives with the specified boundary data, which is associated to sums of random Hermitian matrices with these eigenvalues. As a first step towards the asymptotic analysis of random hives, we show that if the eigenvalues are drawn from the GUE ensemble, then the associated augmented hives exhibit concentration as $n \rightarrow \infty$. Our main ingredients include a representation due to Speyer of augmented hives involving a supremum of linear functions applied to a product of Gelfand--Tsetlin polytopes; known results by Klartag on the KLS conjecture in order to handle the aforementioned supremum; covariance bounds of Cipolloni--Erdős--Schröder of eigenvalue gaps of GUE; and the use of the theory of determinantal processes to analyze the GUE minor process.
Focusing on gap lengths in the noisy violinist chip-firing problem
We encode the states in the noisy violinist chip-firing problem into a sequence of gap lengths, and use this gap-focused perspective to reprove certain statements about final states of flat clusterons.
A Note on Generalized Repunit Numerical Semigroups
Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements that are not in $\langle A\rangle$. The Frobenius problem is to find $F(A)$ and $g(A)$ for a given sequence $A$. In this note, we study the Frobenius problem of $A=\left(a,ba+d,b^2a+\frac{b^2-1}{b-1}d,...,b^ka+\frac{b^k-1}{b-1}d\right)$ and obtain formulas for $F(A)$ and $g(A)$ when $a\geq k-1$. Our formulas simplifies further for some special cases, such as repunit, Mersenne and Thabit numerical semigroups. The idea is similar to that in [\cite{LiuXin23},arXiv:2306.03459].
On the construction of a family of sets of positive integers closed under taking subsets
In the several contexts such as combinatorial number theory, families of sets of positive integers closed under taking subsets have been investigated. Then it is sometimes useful to give bijections between the set of the one-sided infinite sequences on the alphabet set $\{0,1\}$ and such a family of sets. The most typical example is the family of sum-free sets. Although such a kind of families covers a large class of families of sets, there are only a few considerations on bijections for the case where the sum-free property is replaced by another property.
In this paper, we explicitly give a bijection and its inverse between the set of one-sided infinite sequences on the alphabet set $\{0,1\}$ and a family of sets which may be contained in a class of families closed under taking subsets. Moreover, we show that some extremal property in a particular family of sets is characterized by a discrete dynamical system based on this kind of bijections.
On the Semigroup of Graph Gonality Sequences
The $r$th gonality of a graph is the smallest degree of a divisor on the graph with rank $r$. The gonality sequence of a graph is a tropical analogue of the gonality sequence of an algebraic curve. We show that the set of truncated gonality sequences of graphs forms a semigroup under addition. Using this, we study which triples $(x,y,z)$ can be the first 3 terms of a graph gonality sequence. We show that nearly every such triple with $z \geq \frac{3}{2}x+2$ is the first three terms of a graph gonality sequence, and also exhibit triples where the ratio $\frac{z}{x}$ is an arbitrary rational number between 1 and 3. In the final section, we study algebraic curves whose $r$th and $(r+1)$st gonality differ by 1, and posit several questions about graphs with this property.