sequence
6845 papers tagged with this keyword
Ansatz in a Nutshell: A comprehensive step-by-step guide to polynomial, $C$-finite, holonomic, and $C^2$-finite sequences
Published
• View Publication
• BIB
Given a sequence 1, 1, 5, 23, 135, 925, 7285, 64755, 641075, 6993545, 83339745,..., how can we guess a formula for it? This article will quickly walk you through the concept of ansatz for classes of polynomial, $C$-finite, holonomic, and the most recent addition $C^2$-finite sequences. For each of these classes, we discuss in detail various aspects of the guess and check, generating functions, closure properties, and closed-form solutions. Every theorem is presented with an accessible proof, followed by several examples intended to motivate the development of the theories. Each example is accompanied by a Maple program with the purpose of demonstrating use of the program in solving problems in this area. While this work aims to give a comprehensive review of existing ansatzes, we also systematically fill a research gap in the literature by providing theoretical and numerical results for the $C^2$-finite sequences. We hope the readers will enjoy the journey through our unifying framework for the study of ansatz.
Degenerations and multiplicity-free formulas for products of $ψ$ and $ω$ classes on $\overline{M}_{0,n}$
Published
• View Publication
• BIB
We consider products of $ψ$ classes and products of $ω$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection representing the product, and whose special fiber is a generically reduced union of boundary strata. Our construction is built up inductively as a sequence of one-parameter degenerations, using an explicit parametrized collection of hyperplane sections. Combinatorially, our construction expresses each product as a positive, multiplicity-free sum of classes of boundary strata. These are given by a combinatorial algorithm on trees we call 'slide labeling'. As a corollary, we obtain a combinatorial formula for the $κ$ classes in terms of boundary strata.
For degree-$n$ products of $ω$ classes, the special fiber is a finite reduced union of (boundary) points, and its cardinality is one of the multidegrees of the corresponding embedding $Ω_n: \overline{M}_{0,n+3}\to \mathbb{P}^1\times \cdots \times \mathbb{P}^n$. In the case of the product $ω_1\cdots ω_n$, these points exhibit a connection to permutation pattern avoidance. Finally, we show that in certain cases, a prior interpretation of the multidegrees via tournaments can also be obtained by degenerations.
It is undecidable whether the growth rate of a given bilinear system is 1
Published
• View Publication
• BIB
We show that there exists no algorithm that decides for any bilinear system $(B,v)$ if the growth rate of $(B,v)$ is $1$. This answers a question of Bui who showed that if the coefficients are positive the growth rate is computable (i.e., there is an algorithm that outputs the sequence of digits of the growth rate of $(B,v)$). Our proof is based on a reduction of the computation of the joint spectral radius of a set of matrices to the computation of the growth rate of a bilinear system. We also use our reduction to deduce that there exists no algorithm that approximates the growth rate of a bilinear system with relative accuracy $\varepsilon$ in time polynomial in the size of the system and of $\varepsilon$. Our two results hold even if all the coefficients are nonnegative rationals.
Skip Letters for Short Supersequence of All Permutations
Published
• View Publication
• BIB
A supersequence over a finite set is a sequence that contains as subsequence all permutations of the set. This paper defines an infinite array of methods to create supersequences of decreasing lengths. This yields the shortest known supersequences over larger sets. It also provides the best results asymptotically. It is based on a general proof using a new property called strong completeness. The same technique also can be used to prove existing supersequences which combines the old and new ones into an unified conceptual framework.
On digital sequences associated with Pascal's triangle
Published
• View Publication
• BIB
We consider the sequence of integers whose $n$th term has base-$p$ expansion given by the $n$th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$-regular sequence. Its study provides interesting relations and surprisingly involves odious and evil numbers, Nim-sum and even Gray codes. Furthermore, we examine similar sequences emerging from prime numbers involving alternating sum-of-digits modulo~$p$. This note ends with a discussion about Pascal's pyramid involving trinomial coefficients.
Concatenations of Terms of an Arithmetic Progression
Published
• View Publication
• BIB
Let $(u(n))_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $(u(n))_{n\in\mathbb{N}}$ in base $b$ from the right; $s_g(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and $(s_*(n))_{n\in\mathbb{N}}$, given by $s_*(0)=u(0)$, $s_*(n)=\overline{s(n)s_g(n-1)}^b, n\geq 1$. We construct explicit formulae for these sequences and use basic concepts of linear difference operators to prove they are not P-recursive (holonomic). We also present an alternative proof that follows directly from their definitions. We implemented $(s(n))_{n\in\mathbb{N}}$ and $(s_g(n))_{n\in\mathbb{N}}$ in the decimal base when $(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$.
On the direct and inverse zero-sum problems over $C_n \rtimes_s C_2$
Published
• View Publication
• BIB
Let $C_n$ be the cyclic group of order $n$. In this paper, we provide the exact values of some zero-sum constants over $C_n \rtimes_s C_2$ where $s \not\equiv \pm1 \pmod n$, namely $η$-constant, Gao constant, and Erdős-Ginzburg-Ziv constant (the latter for all but a "small" family of cases). As a consequence, we prove the Gao's and Zhuang-Gao's Conjectures for groups of this form. We also solve the associated inverse problems by characterizing the structure of product-one free sequences over $C_n \rtimes_s C_2$ of maximum length.
Generating graphs randomly
Published
• View Publication
• BIB
Graphs are used in many disciplines to model the relationships that exist between objects in a complex discrete system. Researchers may wish to compare a network of interest to a "typical" graph from a family (or ensemble) of graphs which are similar in some way. One way to do this is to take a sample of several random graphs from the family, to gather information about what is "typical". Hence there is a need for algorithms which can generate graphs uniformly (or approximately uniformly) at random from the given family. Since a large sample may be required, the algorithm should also be computationally efficient.
Rigorous analysis of such algorithms is often challenging, involving both combinatorial and probabilistic arguments. We will focus mainly on the set of all simple graphs with a particular degree sequence, and describe several different algorithms for sampling graphs from this family uniformly, or almost uniformly.
List-Recoloring of Sparse Graphs
Published in European J. Combinatorics Vol. 105, October 2022, 103562
• View Publication
• BIB
Fix a graph $G$, a list-assignment $L$ for $G$, and $L$-colorings $α$ and $β$. An $L$-recoloring sequence, starting from $α$, recolors a single vertex at each step, so that each resulting intermediate coloring is a proper $L$-coloring. An $L$-recoloring sequence transforms $α$ to $β$ if its initial coloring is $α$ and its final coloring is $β$. We prove there exists an $L$-recoloring sequence that transforms $α$ to $β$ and recolors each vertex at most a constant number of times if (i) $G$ is triangle-free and planar and $L$ is a 7-assignment, or (ii) $\mathrm{mad}(G)<17/5$ and $L$ is a 6-assignment or (iii) $\mathrm{mad}(G)<22/9$ and $L$ is a 4-assignment. Parts (i) and (ii) confirm conjectures of Dvořák and Feghali.
Cliques in realization graphs
Published
• View Publication
• BIB
The realization graph $\mathcal{G}(d)$ of a degree sequence $d$ is the graph whose vertices are labeled realizations of $d$, where edges join realizations that differ by swapping a single pair of edges. Barrus [On realization graphs of degree sequences, Discrete Mathematics, vol. 339 (2016), no. 8, pp. 2146-2152] characterized $d$ for which $\mathcal{G}(d)$ is triangle-free. Here, for any $n \geq 4$, we describe a structure in realizations of $d$ that exactly determines whether $G(d)$ has a clique of size $n$. As a consequence we determine the degree sequences $d$ for which $\mathcal{G}(d)$ is a complete graph on $n$ vertices.
Sufficient conditions for perfect mixed tilings
Published
• View Publication
• BIB
We develop a method to study sufficient conditions for perfect mixed tilings. Our framework allows the embedding of bounded degree graphs $H$ with components of sublinear order. As a corollary, we recover and extend the work of Kühn and Osthus regarding sufficient minimum degree conditions for perfect $F$-tilings (for an arbitrary fixed graph $F$) by replacing the $F$-tiling with the aforementioned graphs $H$. Moreover, we obtain analogous results for degree sequences and in the setting of uniformly dense graphs. Finally, we asymptotically resolve a conjecture of Komlós in a strong sense.
Most Clicks Problem in Lights Out
Consider a game played on a simple graph $G = (V, E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. Starting from an initial configuration of lights, one wins the game by finding a solution: a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Restricting ourselves to solvable initial configurations, we pose a natural question about this game, the Most Clicks Problem (MCP): How many clicks does a worst-case initial configuration on $G$ require to solve? The answer to the MCP is already known for nullity 0 graphs: those on which every initial configuration is solvable. Generalizing a technique from Scherphius, we give an upper bound to the MCP for all grids of size $(6k - 1) \times (6k - 1)$. We show the value given by this upper bound exactly solves the MCP for all nullity 2 grids of this size. We conjecture that all nullity 2 grids are of size $(6k - 1) \times (6k - 1)$, which would mean we solve the MCP for all nullity 2 square grids.
Liftable automorphisms of right-angled Artin groups
Published
• View Publication
• BIB
Given a regular covering map $\varphi:Λ\to Γ$ of graphs, we investigate the subgroup $\operatorname{LAut}(\varphi)$ of the automorphism group $\operatorname{Aut}(A_Γ)$ of the right-angled Artin group $A_Γ$. This subgroup comprises all automorphisms that can be lifted to automorphisms of $A_Λ$. We first show that $\operatorname{LAut}(\varphi)$ is generated by a finite subset of Laurence's elementary automorphisms.
For the subgroup $\operatorname{FAut}(\varphi)$ of $\operatorname{Aut}(A_Λ)$, which consists of lifts of automorphisms in $\operatorname{LAut}(\varphi)$, there exists a natural homomorphism $\operatorname{FAut}(\varphi)\to\operatorname{LAut}(\varphi)$ induced by $\varphi$. We then show that the kernel of this homomorphism is virtually a subgroup of the Torelli subgroup $\operatorname{IA}(A_Λ)$ and deduce a short exact sequence reminiscent of results from the Birman--Hilden theory for surfaces.
Skew Dyck paths having no peaks at level 1
Skew Dyck paths are a variation of Dyck paths, where additionally to steps $(1,1)$ and $(1,-1)$ a south-west step $(-1,-1)$ is also allowed, provided that the path does not intersect itself. Replacing the south-west step by a red south-east step, we end up with decorated Dyck paths. Sequence A128723 of the Encyclopedia of Integer Sequences considers such paths where peaks at level 1 are forbidden. We provide a thorough analysis of a more general scenario, namely partial decorated Dyck paths, ending on a prescribed level $j$, both from left-to-right and from right-to-left (decorated Dyck paths are not symmetric). The approach is completely based on generating functions.
A Generalized RSK for Enumerating Linear Series on $n$-pointed Curves
Published
• View Publication
• BIB
We give a combinatorial proof of a recent geometric result of Farkas and Lian on linear series on curves with prescribed incidence conditions. The result states that the expected number of degree-$d$ morphisms from a general genus $g$, $n$-marked curve $C$ to $\mathbb{P}^r$, sending the marked points on $C$ to specified general points in $\mathbb{P}^r$, is equal to $(r+1)^g$ for sufficiently large $d$. This computation may be rephrased as an intersection problem on Grassmannians, which has a natural combinatorial interpretation in terms of Young tableaux by the classical Littlewood-Richardson rule. We give a bijection, generalizing the well-known RSK correspondence, between the tableaux in question and the $(r+1)$-ary sequences of length $g$, and we explore our bijection's combinatorial properties.
We also apply similar methods to give a combinatorial interpretation and proof of the fact that, in the modified setting in which $r=1$ and several marked points map to the same point in $\mathbb{P}^1$, the number of morphisms is still $2^g$ for sufficiently large $d$.
Extremal sequences related to the Jacobi symbol
For a weight-set $A\subseteq \mathbb Z_n$, the $A$-weighted zero-sum constant $C_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence of consecutive terms. A sequence of length $C_A(n)-1$ in $\mathbb Z_n$ which does not have any $A$-weighted zero-sum subsequence of consecutive terms will be called a $C$-extremal sequence for $A$.
Let $\big(\frac{x}{n}\big)$ denote the Jacobi symbol of $x\in\mathbb Z_n$. We characterize the $C$-extremal sequences for the weight-set $S(n)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=1\,\big\}$ and for the weight-set $L(n;p)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=\big(\frac{x}{p}\big)\,\big\}$ where $p$ is a prime divisor of $n$. We can define $D$-extremal sequences for these weight-sets in a way analogous to the definition of $C$-extremal sequences. We also characterize these sequences.
Partial symmetries of iterated plethysms
Published in Gutiérrez, Á., Rosas, M. H. Partial Symmetries of Iterated Plethysms. Ann. Comb. (2023)
• View Publication
• BIB
This work highlights the existence of partial symmetries in large families of iterated plethystic coefficients. The plethystic coefficients involved come from the expansion in the Schur basis of iterated plethysms of Schur functions indexed by one-row partitions.
The partial symmetries are described in terms of an involution on partitions, the flip involution, that generalizes the ubiquitous $ω$ involution. Schur-positive symmetric functions possessing this partial symmetry are termed flip-symmetric.
The operation of taking plethysm with $s_λ$ preserves flip-symmetry, provided that $λ$ is a partition of two. Explicit formulas for the iterated plethysms $s_2\circ s_b\circ s_a$ and $s_c\circ s_2\circ s_a$, with $a,$ $b,$ and $c$ $\ge$ $2$ allow us to show that these two families of iterated plethysms are flip-symmetric. The article concludes with some observations, remarks, and open questions on the unimodality and asymptotic normality of certain flip-symmetric sequences of iterated plethystic coefficients.
Cameron's operator in terms of determinants, and hypergeometric numbers
Published in Boletín de la Sociedad Matemática Mexicana, Third Series 28 (2022), issue 1, Article 9, 23 pp
• View Publication
• BIB
By studying Cameron's operator in terms of determinants, two kinds of "integer" sequences of incomplete numbers were introduced. One was the sequence of restricted numbers, including $s$-step Fibonacci sequences. Another was the sequence of associated numbers, including Lamé sequences of higher order. By the classical Trudi's formula and the inverse relation, more expressions were able to be obtained. These relations and identities can be extended to those of sequence of negative integers or rational numbers. As applications, we consider hypergeometric Bernoulli, Cauchy and Euler numbers with some modifications.
Non-jumping Turán densities of hypergraphs
Published
• View Publication
• BIB
A real number $α\in [0, 1)$ is a jump for an integer $r\ge 2$ if there exists $c>0$ such that no number in $(α, α+ c)$ can be the Turán density of a family of $r$-uniform graphs. A classical result of Erd\H os and Stone \cite{ES} implies that that every number in $[0, 1)$ is a jump for $r=2$. Erd\H os \cite{E64} also showed that every number in $[0, r!/r^r)$ is a jump for $r\ge 3$ and asked whether every number in $[0, 1)$ is a jump for $r\ge 3$. Frankl and Rödl \cite{FR84} gave a negative answer by showing a sequence of non-jumps for every $r\ge 3$. After this, Erd\H os modified the question to be whether $\frac{r!}{r^r}$ is a jump for $r\ge 3$? What's the smallest non-jump? Frankl, Peng, Rödl and Talbot \cite{FPRT} showed that ${5r!\over 2r^r}$ is a non-jump for $r\ge 3$. Baber and Talbot \cite{BT0} showed that every $α\in[0.2299, 0.2316)\cup [0.2871, \frac{8}{27})$ is a jump for $r=3$. Pikhurko \cite{Pikhurko2} showed that the set of all possible Turán densities of $r$-uniform graphs has cardinality of the continuum for $r\ge 3$. However, whether $\frac{r!}{r^r}$ is a jump for $r\ge 3$ remains open, and $\frac{5r!}{2r^r}$ has remained the known smallest non-jump for $r\ge 3$. In this paper, we give a smaller non-jump by showing that ${54r!\over 25r^r}$ is a non-jump for $r\ge 3$. Furthermore, we give infinitely many irrational non-jumps for every $r\ge 3$.
Length-Four Pattern Avoidance in Inversion Sequences
Published in Electron. J. Comb. Volume 29, Issue 4 (2022) P4.37
• View Publication
• BIB
Inversion sequences of length $n$ are integer sequences $e_1,\ldots ,e_n$ with $0\le e_i<i$ for all $i$, which are in bijection with the permutations of length $n$. In this paper, we classify all Wilf equivalence classes of pattern-avoiding inversion sequences of length-4 patterns except for one case (whether 3012 $\equiv$ 3201) and enumerate some of the length-4 pattern-avoiding inversion sequences that are in the OEIS.