sequence
6845 papers tagged with this keyword
Degree Sequences and the Existence of $k$-Factors
Published
• View Publication
• BIB
We consider sufficient conditions for a degree sequence $π$ to be forcibly $k$-factor graphical. We note that previous work on degrees and factors has focused primarily on finding conditions for a degree sequence to be potentially $k$-factor graphical.
We first give a theorem for $π$ to be forcibly 1-factor graphical and, more generally, forcibly graphical with deficiency at most $β\ge0$. These theorems are equal in strength to Chvátal's well-known hamiltonian theorem, i.e., the best monotone degree condition for hamiltonicity. We then give an equally strong theorem for $π$ to be forcibly 2-factor graphical. Unfortunately, the number of nonredundant conditions that must be checked increases significantly in moving from $k=1$ to $k=2$, and we conjecture that the number of nonredundant conditions in a best monotone theorem for a $k$-factor will increase superpolynomially in $k$.
This suggests the desirability of finding a theorem for $π$ to be forcibly $k$-factor graphical whose algorithmic complexity grows more slowly. In the final section, we present such a theorem for any $k\ge2$, based on Tutte's well-known factor theorem. While this theorem is not best monotone, we show that it is nevertheless tight in a precise way, and give examples illustrating this tightness.
Divided difference operators for partial flag varieties
Divided difference operators are degree-reducing operators on the cohomology of flag varieties that are used to compute algebraic invariants of the ring (for instance, structure constants). We identify divided difference operators on the equivariant cohomology of G/P for arbitrary partial flag varieties of arbitrary Lie type, and show how to use them in the ordinary cohomology of G/P. We provide three applications. The first shows that all Schubert classes of partial flag varieties can be generated from a sequence of divided difference operators on the highest-degree Schubert class. The second is a generalization of Billey's formula for the localizations of equivariant Schubert classes of flag varieties to arbitrary partial flag varieties. The third gives a choice of Schubert polynomials for partial flag varieties as well as an explicit formula for each. We focus on the example of maximal Grassmannians, including Grassmannians of k-planes in a complex n-dimensional vector space.
The Curling Number Conjecture
Given a finite nonempty sequence of integers S, by grouping adjacent terms it is always possible to write it, possibly in many ways, as S = X Y^k, where X and Y are sequences and Y is nonempty. Choose the version which maximizes the value of k: this k is the curling number of S. The Curling Number Conjecture is that if one starts with any initial sequence S, and extends it by repeatedly appending the curling number of the current sequence, the sequence will eventually reach 1. The conjecture remains open, but we will report on some numerical results and conjectures in the case when S consists of only 2's and 3's.
Seven Staggering Sequences
Published in Homage to a Pied Puzzler, E. Pegg Jr. et al. (editors), A. K. Peters, Wellesley, MA, 2009, pp. 93-110
• View Publication
• BIB
When my "Handbook of Integer Sequences" came out in 1973, Philip Morrison gave it an enthusiastic review in the Scientific American and Martin Gardner was kind enough to say in his Mathematical Games column that "every recreational mathematician should buy a copy forthwith." That book contained 2372 sequences. Today the "On-Line Encyclopedia of Integer Sequences" contains 117000 sequences. This paper will describe seven that I find especially interesting. These are the EKG sequence, Gijswijt's sequence, a numerical analog of Aronson's sequence, approximate squaring, the integrality of n-th roots of generating functions, dissections, and the kissing number problem. (Paper for conference in honor of Martin Gardner's 91st birthday.)
Asymptotics of Lagged Fibonacci Sequences
Consider "lagged" Fibonacci sequences $a(n) = a(n-1)+a(\lfloor n/k\rfloor)$ for $k > 1$. We show that $\lim_{n\to\infty} a(kn)/a(n)\cdot\ln n/n = k\ln k$ and we demonstrate the slow numerical convergence to this limit and how to deal with this slow convergence. We also discuss the connection between two classical results of N.G. de Bruijn and K. Mahler on the asymptotics of $a(n)$.
Congruences involving binomial coefficients and Lucas sequences
In this paper we obtain some congruences involving central binomial coefficients and Lucas sequences. For example, we show that if p>5 is a prime then $\sum_{k=0}^{p-1}F_k*binom(2k,k)/12^k$ is congruent to 0,1,-1 modulo p according as p=1,4 (mod 5), p=13,17 (mod 30), and p=7,23 (mod 30) respectively, where {F_n} is the Fibonacci sequence. We also raise several conjectures.
The 2-log-convexity of the Apery Numbers
Published
• View Publication
• BIB
We present an approach to proving the 2-log-convexity of sequences satisfying three-term recurrence relations. We show that the Apery numbers, the Cohen-Rhin numbers, the Motzkin numbers, the Fine numbers, the Franel numbers of order 3 and 4 and the large Schroder numbers are all 2-log-convex. Numerical evidence suggests that all these sequences are k-log-convex for any $k\geq 1$ possibly except for a constant number of terms at the beginning.
A common formula for certain generalized Hankel transforms
We study the generalized Hankel transform of the family of sequences satisfying the recurrence relation $a_{n+1} = \bigl(α+ \fracβ{n+γ}\bigr) a_n$. We apply the obtained formula to several particular important sequences. Incidentally, we find a connection between some well known formulas that had previously arisen in literature in dissimilar settings. Additionally, given a non-zero sequence satisfying the above recurrence, we evaluate the Hankel transform of the sequence of its reciprocals.
Vectors in a Box
Published
• View Publication
• BIB
For an integer d>=1, let tau(d) be the smallest integer with the following property: If v1,v2,...,vt is a sequence of t>=2 vectors in [-1,1]^d with v1+v2+...+vt in [-1,1]^d, then there is a subset S of {1,2,...,t} of indices, 2<=|S|<=tau(d), such that \sum_{i\in S} vi is in [-1,1]^d. The quantity tau(d) was introduced by Dash, Fukasawa, and Günlük, who showed that tau(2)=2, tau(3)=4, and tau(d)=Omega(2^d), and asked whether tau(d) is finite for all d.
Using the Steinitz lemma, in a quantitative version due to Grinberg and Sevastyanov, we prove an upper bound of tau(d) <= d^{d+o(d)}, and based on a construction of Alon and Vu, whose main idea goes back to Hastad, we obtain a lower bound of tau(d)>= d^{d/2-o(d)}.
These results contribute to understanding the master equality polyhedron with multiple rows defined by Dash et al., which is a "universal" polyhedron encoding valid cutting planes for integer programs (this line of research was started by Gomory in the late 1960s). In particular, the upper bound on tau(d) implies a pseudo-polynomial running time for an algorithm of Dash et al. for integer programming with a fixed number of constraints. The algorithm consists in solving a linear program, and it provides an alternative to a 1981 dynamic programming algorithm of Papadimitriou.
On Zumkeller Numbers
Published
• View Publication
• BIB
Generalizing the concept of a perfect number, Sloane's sequences of integers A083207 lists the sequence of integers $n$ with the property: the positive factors of $n$ can be partitioned into two disjoint parts so that the sums of the two parts are equal. Following Clark et al., we shall call such integers, Zumkeller numbers. Generalizing this, Clark et al., call a number n a half-Zumkeller number if the positive proper factors of n can be partitioned into two disjoint parts so that the sums of the two parts are equal.
An extensive study of properties of Zumkeller numbers, half-Zumkeller numbers and their relation to practical numbers is undertaken in this paper.
Clark et al., announced results about Zumkellers numbers and half-Zumkeller numbers and suggested two conjectures. In the present paper we shall settle one of the conjectures, prove the second conjecture in some special cases and prove several results related to the second conjecture. We shall also show that if there is an even Zumkeller number that is not half-Zumkeller it should be bigger than 7233498900.
A method for obtaining the algebraic generating function from a series
We describe here an experimental method that permits to compute a good candidate for the closed form of a generating function if we know the first few terms of a series. The method is based on integer relations algorithms and uses either two programs of symbolic computation: Maple or Pari-Gp. Some results are presented in the appendix. This method was tested on a set of sequences that were part of the incoming book on integer sequences (as of 1993). This method was presented at the FPSAC, Formal Power Series and Algebraic Combinatorics, Florence, June 1993.
Calculus of linear extensions and Newton interpolation
We use Newton divided differences for calculation of Greene sums -- the rational functions determined by linear extensions of partially ordered sets. Identities for Greene sums generate relations for Newton divided differences and Arnold differential forms. Also generalizations of the Newton interpolation series which are indexed by sequences of partially ordered sets are received.
On Oda's Strong Factorization Conjecture
Published
• View Publication
• BIB
The Oda's Strong Factorization Conjecture states that a proper birational map between smooth toric varieties can be decomposed as a sequence of smooth toric blowups followed by a sequence of smooth toric blowdowns. This article describes an algorithm that conjecturally constructs such a decomposition. Several reductions and simplifications of the algorithm are presented and some special cases of the conjecture are proved.
Fibonacci numbers modulo cubes of primes
Published in Taiwanese J. Math. 17(2013), 1523-1543
• View Publication
• BIB
Let $p$ be an odd prime. It is well known that $F_{p-(\frac p5)}\equiv 0\pmod{p}$, where $\{F_n\}_{n\ge0}$ is the Fibonacci sequence and $(-)$ is the Jacobi symbol. In this paper we show that if $p\not=5$ then we may determine $F_{p-(\frac p5)}$ mod $p^3$ in the following way: $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k}{(-16)^k}\equiv\left(\frac{p}5\right)\left(1+\frac{F_{p-(\frac {p}5)}}2\right)\pmod{p^3}.$$ We also use Lucas quotients to determine $\sum_{k=0}^{(p-1)/2}\binom{2k}k/m^k$ modulo $p^2$ for any integer $m\not\equiv0\pmod{p}$; in particular, we obtain $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k}{16^k}\equiv\left(\frac3{p}\right)\pmod{p^2}.$$ In addition, we pose three conjectures for further research.
Combinatorial interpretations of binomial coefficient analogues related to Lucas sequences
Published
• View Publication
• BIB
Let s and t be variables. Define polynomials {n} in s, t by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. If s, t are integers then the corresponding sequence of integers is called a Lucas sequence. Define an analogue of the binomial coefficients by
C{n,k}={n}!/({k}!{n-k}!) where {n}!={1}{2}...{n}. It is easy to see that C{n,k} is a polynomial in s and t. The purpose of this note is to give two combinatorial interpretations for this polynomial in terms of statistics on integer partitions inside a k by n-k rectangle. When s=t=1 we obtain combinatorial interpretations of the fibonomial coefficients which are simpler than any that have previously appeared in the literature.
Generalization of a theorem of Erdos and Renyi on Sidon Sequences
Published
• View Publication
• BIB
Erd\H os and Rényi claimed and Vu proved that for all $h \ge 2$ and for all $ε> 0$, there exists $g = g_h(ε)$ and a sequence of integers $A$ such that the number of ordered representations of any number as a sum of $h$ elements of $A$ is bounded by $g$, and such that $|A \cap [1,x]| \gg x^{1/h - ε}$.
We give two new proofs of this result. The first one consists of an explicit construction of such a sequence. The second one is probabilistic and shows the existence of such a $g$ that satisfies $g_h(ε) \ll ε^{-1}$, improving the bound $g_h(ε) \ll ε^{-h+1}$ obtained by Vu.
Finally we use the "alteration method" to get a better bound for $g_3(ε)$, obtaining a more precise estimate for the growth of $B_3[g]$ sequences.
Higher Order Log-Concavity in Euler's Difference Table
Published
• View Publication
• BIB
Let $e_{n}^k$ be the entries in the classical Euler's difference table. We consider the array $d_{n}^{k}=e_n^k/k!$ for $0\leq k \leq n$, where $d_n^k$ can be interpreted as the number of k-fixed-points-permutations of [n]. We show that the sequence $\{d_n^k\}_{0\leq k\leq n}$ is 2-log-concave and reverse ultra log-concave for any given n.
The Grone-Merris Conjecture
Published
• View Publication
• BIB
In spectral graph theory, Grone and Merris conjecture that the spectrum of the Laplacian matrix of a finite graph is majorized by the conjugate degree sequence of this graph. We give a complete proof for this conjecture.
Closeness to the Diagonal for Longest Common Subsequences in Random Words
The nature of the alignment with gaps corresponding to a longest common subsequence (LCS) of two independent iid random sequences drawn from a finite alphabet is investigated. It is shown that such an optimal alignment typically matches pieces of similar short-length. This is of importance in understanding the structure of optimal alignments of two sequences. Moreover, it is also shown that any property, common to two subsequences, typically holds in most parts of the optimal alignment whenever this same property holds, with high probability, for strings of similar short-length. Our results should, in particular, prove useful for simulations since they imply that the re-scaled two dimensional representation of a LCS gets uniformly close to the diagonal as the length of the sequences grows without bound.
Sequence Folding, Lattice Tiling, and Multidimensional Coding
Published
• View Publication
• BIB
Folding a sequence $S$ into a multidimensional box is a well-known method which is used as a multidimensional coding technique. The operation of folding is generalized in a way that the sequence $S$ can be folded into various shapes and not just a box. The new definition of folding is based on a lattice tiling for the given shape $\cS$ and a direction in the $D$-dimensional integer grid. Necessary and sufficient conditions that a lattice tiling for $\cS$ combined with a direction define a folding of a sequence into $\cS$ are derived. The immediate and most impressive application is some new lower bounds on the number of dots in two-dimensional synchronization patterns. This can be also generalized for multidimensional synchronization patterns. The technique and its application for two-dimensional synchronization patterns, raise some interesting problems in discrete geometry. We will also discuss these problems. It is also shown how folding can be used to construct multidimensional error-correcting codes. Finally, by using the new definition of folding, multidimensional pseudo-random arrays with various shapes are generated.