sequence
6966 papers tagged with this keyword
On the X-rays of permutations
Published in Electronic Notes in Discrete Mathematics, Vol. 20, 2005, pp. 193-203
• View Publication
• BIB
The X-ray of a permutation is defined as the sequence of antidiagonal sums in the associated permutation matrix. X-rays of permutation are interesting in the context of Discrete Tomography since many types of integral matrices can be written as linear combinations of permutation matrices. This paper is an invitation to the study of X-rays of permutations from a combinatorial point of view. We present connections between these objects and nondecreasing differences of permutations, zero-sum arrays, decomposable permutations, score sequences of tournaments, queens' problems and rooks' problems.
Perfect Skolem sets
Published
• View Publication
• BIB
A Skolem sequence is a sequence a_1,a_2,...,a_2n (where a_i \in A = {1,...,n }), each a_i occurs exactly twice in the sequence and the two occurrences are exactly a_i positions apart. A set A that can be used to construct Skolem sequences is called a Skolem set. The problem of deciding which sets of the form A = {1,...,n} are Skolem sets was solved by Thoralf Skolem in the late 1950's. We study the natural generalization where A is allowed to be any set of n positive integers. We give necessary conditions for the existence of Skolem sets of this generalized form. We conjecture these necessary conditions to be sufficient, and give computational evidence in favor of our conjecture. We investigate special cases of the conjecture and prove that the conjecture hold for some of them. We also study enumerative questions and show that this problem has strong connections with problems related to permutation displacements.
Discrete differential geometry of proteins: a new method for encoding three-dimensional structures of proteins
In nature the three-dimensional structure of a protein is encoded in the corresponding gene. In this paper we describe a new method for encoding the three-dimensional structure of a protein into a binary sequence. The feature of the method is the correspondence between protein-folding and ``integration''. A protein is approximated by a folded tetrahedron sequence. And the binary code of a protein is obtained as the ``second derivative'' of the shape of the folded tetrahedron sequence. With this method at hand, we can extract static structural information of a protein from its gene. And we can describe the distribution of three-dimensional structures of proteins without any subjective hierarchical classification.
Optimal pebbling of paths and cycles
Distributions of pebbles to the vertices of a graph are said to be solvable when a pebble may be moved to any specified vertex using a sequence of admissible pebbling rules. The optimal pebbling number is the least number of pebbles needed to create a solvable distribution. We provide a simpler proof verifying Pachter, Snevily and Voxman's determination of the optimal pebbling number of paths, and then adapt the ideas in this proof to establish the optimal pebbling number of cycles. Finally, we prove the optimal-pebbling version of Graham's conjecture.
On the periodic properties of self-decimated generators of pseudorandom numbers
Published in Computer Data Analysis and Modeling: Proceedings of the 7th International Conference (September 6-10, 2004, Minsk), Vol. 1, P. 283-287, 2004
• Search Publication
We consider a self-decimated generator of pseudorandom numbers and examine the preperiod $λ$ and the period $μ$ of its state sequence. We obtain the expectations and variances of $λ$ and $μ$ for the case when decimation steps are chosen randomly and independently from the set {1,2}.
Dynkin diagram sequences and stabilization phenomena
Published
• View Publication
• BIB
We continue the study of stabilization phenomena for Dynkin diagram sequences initiated in the earlier work of Kleber and the present author. We consider a more general class of sequences than that of this earlier work, and isolate a condition on the weights that gives stabilization of tensor product and branching multiplicities. We show that all the results of the previous article can be naturally generalized to this setting. We also prove some properties of the partially ordered set of dominant weights of indefinite Kac-Moody algebras, and use this to give a more concrete definition of a stable representation ring. Finally, we consider the classical sequences $B_n, C_n, D_n$ that fall outside the purview of the earlier work, and work out some simple conditions on the weights which imply stabilization.
Chromatic numbers, morphism complexes, and Stiefel-Whitney characteristic classes
Published
• View Publication
• BIB
Combinatorics, in particular graph theory, has a rich history of being a domain of successful applications of tools from other areas of mathematics, including topological methods. Here, we survey the study of the Hom-complexes, and the ways these can be used to obtain lower bounds for the chromatic numbers of graphs, presented in a recent series of papers \cite{BK03a,BK03b,BK03c,CK1,CK2,K4,K5}.
The structural theory is developed and put in the historical context, culminating in the proof of the Lovász Conjecture, which can be stated as follows:
For a graph G, such that the complex Hom(C_{2r+1},G) is k-connected for some integers r>0 and k>-2, we have χ(G)>k+3.
Beyond the, more customary in this area, cohomology groups, the algebro-topological concepts involved are spectral sequences and Stiefel-Whitney characteristic classes. Complete proofs are included for all the new results appearing in this survey for the first time.
De Bruijn Covering Codes for Rooted Hypergraphs
What is the length of the shortest sequence $S$ of reals so that the set of consecutive $n$-words in $S$ form a covering code for permutations on $\{1,2, >..., n\}$ of radius $R$ ? (The distance between two $n$-words is the number of transpositions needed to have the same order type.) The above problem can be viewed as a special case of finding a De Bruijn covering code for a rooted hypergraph. Each edge of a rooted hypergraph contains a special vertex, called the {\it root} of the edge, and each vertex is the root of a unique edge, called its {\it ball}. A De Bruijn covering code is a subset of the roots such that every vertex is in some edge containing a chosen root. Under some mild conditions, we obtain an upper bound for the shortest length of a De Bruijn covering code of a rooted hypergraph, a bound which is within a factor of $\log n$ of the lower bound.
Rigidity and the Lower Bound Theorem for Doubly Cohen-Macaulay Complexes
Published in Discrete Comput. Geom. 39 (2008), no. 1-3, 411--418.
• View Publication
• BIB
We prove that for $d\geq 3$, the 1-skeleton of any $(d-1)$-dimensional doubly Cohen Macaulay (abbreviated 2-CM) complex is generically $d$-rigid. This implies the following two corollaries (by Kalai and Lee respectively): Barnette's lower bound inequalities for boundary complexes of simplicial polytopes hold for every 2-CM complex (of dimension $\geq 2$). Moreover, the initial part $(g_0,g_1,g_2)$ of the $g$-vector of a 2-CM complex (of dimension $\geq 3$) is an $M$-sequence. It was conjectured by Björner and Swartz that the entire $g$-vector of a 2-CM complex is an $M$-sequence.
On limits of finite graphs
Published
• View Publication
• BIB
We prove that for any weakly convergent sequence of finite graphs with bounded vertex degrees, there exists a topological limit graphing.
Sloping Binary Numbers: A New Sequence Related to the Binary Numbers
Published in J. Integer Sequences 8 (2005), #05.3.6
• Search Publication
If the list of binary numbers is read by upward-sloping diagonals, the resulting ``sloping binary numbers'' 0, 11, 110, 101, 100, 1111, 1010, ... (or 0, 3, 6, 5, 4, 15, 10, ...) have some surprising properties. We give formulae for the n-th term and the n-th missing term, and discuss a number of related sequences.
Enumerating Segmented Patterns in Compositions and Encoding by Restricted Permutations
A composition of a nonnegative integer (n) is a sequence of positive integers whose sum is (n). A composition is palindromic if it is unchanged when its terms are read in reverse order. We provide a generating function for the number of occurrences of arbitrary segmented partially ordered patterns among compositions of (n) with a prescribed number of parts. These patterns generalize the notions of rises, drops, and levels studied in the literature. We also obtain results enumerating parts with given sizes and locations among compositions and palindromic compositions with a given number of parts. Our results are motivated by "encoding by restricted permutations," a relatively undeveloped method that provides a language for describing many combinatorial objects. We conclude with some examples demonstrating bijections between restricted permutations and other objects.
The $(f,g)$-inversion formula and its applications: the $(f,g)$-summation formula
A complete characterization of two functions $f(x,y)$ and $g(x,y)$ in the $(f,g)$-inversion is presented. As an application to the theory of hypergeometric series, a general bibasic summation formula determined by $f(x,y)$ and $g(x,y)$ as well as four arbitrary sequences is obtained which unifies Gasper and Rahman's, Chu's and Macdonald's bibasic summation formula. Furthermore, an alternative proof of the $(f,g)$-inversion derived from the $(f,g)$-summation formula is presented. A bilateral $(f,g)$-inversion containing Schlosser's bilateral matrix inversion as a special case is also obtained.
A sharp result on m-covers
Published
• View Publication
• BIB
Let A={a_s+n_sZ}_{s=1}^k be a finite system of arithmetic sequences which forms an m-cover of Z (i.e., every integer belongs at least to m members of A). In this paper we show the following sharp result: For any positive integers m_1,...,m_k and theta in [0,1), if there is a subset I of {1,...,k} such that the fractional part of sum_{s in I}m_s/n_s is theta, then there are at least 2^m such subsets of {1,...,k}. This extends an earlier result of M. Z. Zhang and an extension by Z. W. Sun. Also, we generalize the above result to m-covers of the integral ring of any algebraic number field with a power integral basis.
Meta-Fibonacci Sequences, Binary Trees, and Extremal Compact Codes
Published
• View Publication
• BIB
We look at a family of meta-Fibonacci sequences which arise in studying the number of leaves at the largest level in certain infinite sequences of binary trees, restricted compositions of an integer, and binary compact codes. For this family of meta-Fibonacci sequences and two families of related sequences we derive ordinary generating functions and recurrence relations. Included in these families of sequences are several well-known sequences in the Online Encyclopedia of Integer Sequences (OEIS).
Maximal Sidon Sets and Matroids
Published
• View Publication
• BIB
Let X be a subset of an abelian group and a_1,...,a_h,a'_1,...,a'_h a sequence of 2h elements of X such that a_1 + ... + a_h = a'_1 + ... + a'_h. The set X is a Sidon set of order h if, after renumbering, a_i = a'_i for i = 1,..., h. For k \leq h, the set X is a generalized Sidon set of order (h,k), if, after renumbering, a_i = a'_i for i = 1,..., k. It is proved that if X is a generalized Sidon set of order (2h-1,h-1), then the maximal Sidon sets of order h contained in X have the same cardinality. Moreover, X is a matroid where the independent subsets of X are the Sidon sets of order h.
The Eulerian Distribution on Involutions is Indeed Unimodal
Published in J. Combin. Theory Ser. A 113 (2006), 1061-1071
• View Publication
• BIB
Let I_{n,k} (resp. J_{n,k}) be the number of involutions (resp. fixed-point free involutions) of {1,...,n} with k descents. Motivated by Brenti's conjecture which states that the sequence I_{n,0}, I_{n,1},..., I_{n,n-1} is log-concave, we prove that the two sequences I_{n,k} and J_{2n,k} are unimodal in k, for all n. Furthermore, we conjecture that there are nonnegative integers a_{n,k} such that $$ \sum_{k=0}^{n-1}I_{n,k}t^k=\sum_{k=0}^{\lfloor (n-1)/2\rfloor}a_{n,k}t^{k}(1+t)^{n-2k-1}. $$ This statement is stronger than the unimodality of I_{n,k} but is also interesting in its own right.
Log-concavity and LC-positivity
Published in J. Combin. Theory, Ser. A 114 (2007) 195--210
• View Publication
• BIB
A triangle $\{a(n,k)\}_{0\le k\le n}$ of nonnegative numbers is LC-positive if for each $r$, the sequence of polynomials $\sum_{k=r}^{n}a(n,k)q^k$ is $q$-log-concave. It is double LC-positive if both triangles $\{a(n,k)\}$ and $\{a(n,n-k)\}$ are LC-positive. We show that if $\{a(n,k)\}$ is LC-positive then the log-concavity of the sequence $\{x_k\}$ implies that of the sequence $\{z_n\}$ defined by $z_n=\sum_{k=0}^{n}a(n,k)x_k$, and if $\{a(n,k)\}$ is double LC-positive then the log-concavity of sequences $\{x_k\}$ and $\{y_k\}$ implies that of the sequence $\{z_n\}$ defined by $z_n=\sum_{k=0}^{n}a(n,k)x_ky_{n-k}$. Examples of double LC-positive triangles include the constant triangle and the Pascal triangle. We also give a generalization of a result of Liggett that is used to prove a conjecture of Pemantle on characteristics of negative dependence.
The Galaxies of Nonstandard Enlargements of Infinite and Transfinite Graphs: II
Published
• View Publication
• BIB
This report is an improvement of a prior report (Report 813). It sharpens the principal theorems (Theorems 4.2 and 11.2 of Report 813) while simplifying their proofs. There are also several minor changes involving clarifications and corrections of misprints.
The Abstract of the prior report remains the same as follow: The galaxies of the nonstandard enlargements of connected, conventionally infinite graphs as well as of connected transfinite graphs are defined, analyzed, and illustrated by some examples. It is then shown that any such enlargement either has exactly one galaxy, its principal one, or it has infinitely many galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. If an enlargement has a galaxy different from its principal galaxy, then it has a two-way infinite sequence of galaxies that are totally ordered according to that "closeness" property. There may be many such totally ordred sequences.
The Galaxies of Nonstandard Enlargements of Infinite and Transfinite grpahs of Higher Ranks: II
This report is an improvement of a prior report (Report 814). It sharpens the principal theorem (Theorem 5.1 of Report 814) and also simplifies its proof. There are also several minor changes involving clarifications and corrections of misprints. The prior abstract remins the same as follows:
In a previous work, the galaxies of the nonstandard enlargements of connected, conventionally infinite and also of transfinite graphs of the first rank of transfiniteness were defined, examined, and illustrated by some examples. In this work it is shown how the results of the prior work extend to transfinite graphs of higher ranks. Among those results are following: Any such enlargement either has exactly one galaxy, its principal one, ot it has infinitely many such galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. Also, certain sequences of galaxies whose members are totally ordered by that "closeness" property are identified.