sequence
7092 papers tagged with this keyword
Two integer sequences related to Catalan numbers
Published in Journal of Combinatorial Theory, Series A 119 (2012), 923-935
• View Publication
• BIB
We prove the following conjecture of Zeilberger. Denoting by $C_n$ the Catalan number, define inductively $A_n$ by $(-1)^{n-1}A_n=C_n+\sum_{j=1}^{n-1} (-1)^{j} \binom{2n-1}{2j-1} A_j \,C_{n-j}$ and $a_n=2A_n/C_n$. Then $a_n$ (hence $A_n$) is a positive integer.
Everywhere complex sequences and probabilistic method
The main subject of the paper is everywhere complex sequences. An everywhere complex sequence is a sequence that does not contain substrings of Kolmogorov complexity less than $αn-O(1)$ where $n$ is the length of substring and $α$ is a constant between 0 and 1.
First, we prove that no randomized algorithm can produce everywhere complex sequence with positive probability.
On the other hand, for weaker notions of everywhere complex sequences the situation is different. For example, there is a probabilistic algorithm that produces (with probability~1) sequences whose substrings of length $n$ have complexity $\sqrt{n}-O(1)$.
Finally, one may replace the complexity of a substring (in the definition of everywhere complex sequence) by its conditional complexity when the position is given. This gives a stronger notion of everywhere complex sequence, and no randomized algorighm can produce (with positive probability) such a sequence even if $αn$ is replaced by $\sqrt{n}$, $\log^* n $ or any other monotone unbounded computable function.
Composition of ordinary generating functions
A solution is proposed for the problem of composition of ordinary generating functions. A new class of functions that provides a composition of ordinary generating functions is introduced; main theorems are presented; compositae are written for polynomials, trigonometric and hyperbolic functions, exponential and log functions. It is shown that the composition holds true for many integer sequences.
Ranking and unranking trees with given degree sequences
In this paper, we provide algorithms to rank, unrank, and randomly generate certain degree-restricted classes of Cayley trees. Specifically, we consider classes of trees that have a given degree sequence or a given multiset of degrees. If the underlying set of trees have n vertices, then the largest ranks involved in each case are of order n! so that it takes O(nlog(n)) bits just to write down the ranks. Our ranking and unranking algorithms for these degree-restricted classes are as efficient as can be expected since we show that they require O(n^2log(n)) bit operations if the underlying trees have n vertices.
On the inverse image of pattern classes under bubble sort
Published
• View Publication
• BIB
Let B be the operation of re-ordering a sequence by one pass of bubble sort. We completely answer the question of when the inverse image of a principal pattern class under B is a pattern class.
On the Modes of Polynomials Derived from Nondecreasing Sequences
Published
• View Publication
• BIB
Wang and Yeh proved that if $P(x)$ is a polynomial with nonnegative and nondecreasing coefficients, then $P(x+d)$ is unimodal for any $d>0$. A mode of a unimodal polynomial $f(x)=a_0+a_1x+\cdots + a_mx^m$ is an index $k$ such that $a_k$ is the maximum coefficient. Suppose that $M_*(P,d)$ is the smallest mode of $P(x+d)$, and $M^*(P,d)$ the greatest mode. Wang and Yeh conjectured that if $d_2>d_1>0$, then $M_*(P,d_1)\geq M_*(P,d_2)$ and $M^*(P,d_1)\geq M^*(P,d_2)$. We give a proof of this conjecture.
Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs
Published
• View Publication
• BIB
The chromatic polynomial of a graph G counts the number of proper colorings of G. We give an affirmative answer to the conjecture of Read and Rota-Heron-Welsh that the absolute values of the coefficients of the chromatic polynomial form a log-concave sequence. We define a sequence of numerical invariants of projective hypersurfaces analogous to the Milnor number of local analytic hypersurfaces. Then we give a characterization of correspondences between projective spaces up to a positive integer multiple which includes the conjecture on the chromatic polynomial as a special case. As a byproduct of our approach, we obtain an analogue of Kouchnirenko's theorem relating the Milnor number with the Newton polytope.
Spectral sequences of colored Jones polynomials, colored Rasmussen invariants and nanophrases
We introduce three spectral sequences which give some expressions of colored Jones polynomials. Each spectral sequence contains a Khovanov-type homology groups. Two of them are derived from a bicomplex of the colored Jones polynomial. The other is the spectral sequence that deduces a colored Rasmussen invariant of links. We also introduce three functors between categories of nanophrases, generalizations of links, and obtain their applications using colored Jones polynomials and their categorifications.
Young classes of permutations
We characterise those classes of permutations having the property that for every tableau shape either every permutation of that shape or no permutation of that shape belongs to the class. The characterisation is in terms of the dominance order for partitions (and their conjugates) and shows that for any such class there is a constant k such that no permutation in the class can contain both an increasing and a decreasing sequence of length k.
An Asymptotic Faber-Krahn Inequality for the Combinatorial Laplacian on Z^2
The Faber-Krahn inequality states that among all open domains with a fixed volume in R^n, the ball minimizes the first Dirichlet eigenvalue of the Laplacian. We study an asymptotic discrete analogue of this for the combinatorial Dirichlet Laplacian acting on induced subgraphs of Z^2. Namely, an induced subgraph G with n vertices is called a minimizing subgraph if it minimizes the first eigenvalue of the combinatorial Dirichlet Laplacian among all induced subgraphs with n vertices. Consider an induced subgraph G and take the interior of the union of closed squares of area 1 about each point of G. Let G* denote this domain scaled down to have area 1. Our main theorem states that if {G_n} is a sequence of minimizing subgraphs where each G_n has n vertices, then after translation the measure of the symmetric difference of G_n* and the unit disk converges to 0.
Permutations and beta-shifts
Published
• View Publication
• BIB
Given a real number beta>1, a permutation pi of length n is realized by the beta-shift if there is some x in [0,1] such that the relative order of the sequence x,f(x),...,f^{n-1}(x), where f(x) is the factional part of beta*x, is the same as that of the entries of pi. Widely studied from such diverse fields as number theory and automata theory, beta-shifts are prototypical examples one-dimensional chaotic dynamical systems. When beta is an integer, permutations realized by shifts where studied in [SIAM J. Discrete Math. 23 (2009), 765-786]. In this paper we generalize some of the results to arbitrary beta-shifts. We describe a method to compute, for any given permutation pi, the smallest beta such that pi is realized by the beta-shift. We also give a way to determine the length of the shortest forbidden (i.e., not realized) pattern of an arbitrary beta-shift.
The determinantal ideals of extended Hankel matrices
Published in J. Pure Appl. Algebra. 215, 1502--1515 (2011)
• View Publication
• BIB
In this paper, we use the tools of Gröbner bases and combinatorial secant varieties to study the determinantal ideals $I_t$ of the extended Hankel matrices. Denote by $c$-chain a sequence $a_1,\...,a_k$ with $a_i+c<a_{i+1}$ for all $i=1,\...,k-1$. Using the results of $c$-chain, we solve the membership problem for the symbolic powers $I_t^{(s)}$ and we compute the primary decomposition of the product $I_{t_1}\... I_{t_k}$ of the determinantal ideals. Passing through the initial ideals and algebras we prove that the product $I_{t_1}\... I_{t_k}$ has a linear resolution and the multi-homogeneous Rees algebra $\Rees(I_{t_1},\...,I_{t_k})$ is defined by a Gröbner basis of quadrics.
On m-covering families of Beatty sequences with irrational moduli
Published
• View Publication
• BIB
We generalise Uspensky's theorem characterising eventual exact (e.e.) covers of the positive integers by homogeneous Beatty sequences, to e.e. m-covers, for any m \in \N, by homogeneous sequences with irrational moduli. We also consider inhomogeneous sequences, again with irrational moduli, and obtain a purely arithmetical characterisation of e.e. m-covers. This generalises a result of Graham for m = 1, but when m > 1 the arithmetical description is more complicated. Finally we speculate on how one might make sense of the notion of an exact m-cover when m is not an integer, and present a "fractional version" of Beatty's theorem.
Small orders of Hadamard matrices and base sequences
Published in International Mathematical Forum, Vol. 6, 2011, no. 62, 3061-3067
• Search Publication
We update the list of odd integers n<10000 for which an Hadamard matrix of order 4n is known to exist. We also exhibit the first example of base sequences BS(40,39). Consequently, there exist T-sequences TS(n) of length n=79. The first undecided case has the length n=97.
Universal Cycles for Minimum Coverings of Pairs by Triples, with Application to 2-Radius Sequences
Published
• View Publication
• BIB
A new ordering, extending the notion of universal cycles of Chung {\em et al.} (1992), is proposed for the blocks of $k$-uniform set systems. Existence of minimum coverings of pairs by triples that possess such an ordering is established for all orders. Application to the construction of short 2-radius sequences is given, with some new 2-radius sequences found through computer search.
Optimal Partitioned Cyclic Difference Packings for Frequency Hopping and Code Synchronization
Published
• View Publication
• BIB
Optimal partitioned cyclic difference packings (PCDPs) are shown to give rise to optimal frequency-hopping sequences and optimal comma-free codes. New constructions for PCDPs, based on almost difference sets and cyclic difference matrices, are given. These produce new infinite families of optimal PCDPs (and hence optimal frequency-hopping sequences and optimal comma-free codes). The existence problem for optimal PCDPs in ${\mathbb Z}_{3m}$, with $m$ base blocks of size three, is also solved for all $m\not\equiv 8,16\pmod{24}$.
A compositional shuffle conjecture specifying touch points of the Dyck path
Published
• View Publication
• BIB
We introduce a $q,t$-enumeration of Dyck paths which are forced to touch the main diagonal at specific points and forbidden to touch elsewhere and conjecture that it describes the action of the Macdonald theory $\nabla$ operator applied to a Hall-Littlewood polynomial. Our conjecture refines several earlier conjectures concerning the space of diagonal harmonics including the "shuffle conjecture" (Duke J. Math. $\mathbf {126}$ (2005), pp. 195-232) for $\nabla e_n[X]$. We bring to light that certain generalized Hall-Littlewood polynomials indexed by compositions are the building blocks for the algebraic combinatorial theory of $q,t$-Catalan sequences and we prove a number of identities involving these functions.
Classification of normal sequences
Published in International Journal of Combinatorics, Vol. 2011, Article ID 937941, 15pp
• View Publication
• BIB
Base sequences BS(m,n) are quadruples (A;B;C;D) of {+1,-1}-sequences, with A and B of length m and C and D of length n, such that the sum of their nonperiodic autocorrelation functions is a delta-function. Normal sequences NS(n) are base sequences (A;B;C;D) in BS(n,n) such that A=B. We introduce a definition of equivalence for normal sequences NS(n), and construct a canonical form. By using this canonical form, we have enumerated the equivalence classes of NS(n) for n <= 40.
Interlacing Log-concavity of the Boros-Moll Polynomials
Published
• View Publication
• BIB
We introduce the notion of interlacing log-concavity of a polynomial sequence $\{P_m(x)\}_{m\geq 0}$, where $P_m(x)$ is a polynomial of degree m with positive coefficients $a_{i}(m)$. This sequence of polynomials is said to be interlacing log-concave if the ratios of consecutive coefficients of $P_m(x)$ interlace the ratios of consecutive coefficients of $P_{m+1}(x)$ for any $m\geq 0$. Interlacing log-concavity is stronger than the log-concavity. We show that the Boros-Moll polynomials are interlacing log-concave. Furthermore we give a sufficient condition for interlacing log-concavity which implies that some classical combinatorial polynomials are interlacing log-concave.
Reconstructing pedigrees: some identifiability questions for a recombination-mutation model
Published in Journal of Mathematical Biology, 66, issue 1-2 (2013) 37-74
• View Publication
• BIB
Pedigrees are directed acyclic graphs that represent ancestral relationships between individuals in a population. Based on a schematic recombination process, we describe two simple Markov models for sequences evolving on pedigrees - Model R (recombinations without mutations) and Model RM (recombinations with mutations). For these models, we ask an identifiability question: is it possible to construct a pedigree from the joint probability distribution of extant sequences? We present partial identifiability results for general pedigrees: we show that when the crossover probabilities are sufficiently small, certain spanning subgraph sequences can be counted from the joint distribution of extant sequences. We demonstrate how pedigrees that earlier seemed difficult to distinguish are distinguished by counting their spanning subgraph sequences.