sequence
6845 papers tagged with this keyword
Unexpected behaviour of crossing sequences
Published
• View Publication
• BIB
The n-th crossing number of a graph G, denoted cr_n(G), is the minimum number of crossings in a drawing of G on an orientable surface of genus n. We prove that for every a>b>0, there exists a graph G for which cr_0(G) = a, cr_1(G) = b, and cr_2(G) = 0. This provides support for a conjecture of Archdeacon et al. and resolves a problem of Salazar.
Two bijections for sets of words with forbidden factors
In a recent paper by Kitaev and Remmel, several formulas for the number of words of length n avoiding some generalized patterns were established. Each time the obtained function of n had been found in Sloane's Encyclopedia as the number of some other objects, but the bijections between the two sets did not follow from the proof. Kitaev and Remmel stated four open problems on finding respective bijections. Here we solve two of them, concerning sequences A007070 and A048739.
Hierarchical zonotopal spaces
Published in Trans. Amer. Math. Soc. 364 (2012), 745-766
• View Publication
• BIB
Zonotopal algebra interweaves algebraic, geometric and combinatorial properties of a given linear map X. Of basic significance in this theory is the fact that the algebraic structures are derived from the geometry (via a non-linear procedure known as "the least map"), and that the statistics of the algebraic structures (e.g., the Hilbert series of various polynomial ideals) are combinatorial, i.e., computable using a simple discrete algorithm known as "the valuation function". On the other hand, the theory is somewhat rigid since it deals, for the given X, with exactly two pairs each of which is made of a nested sequence of three ideals: an external ideal (the smallest), a central ideal (the middle), and an internal ideal (the largest).
In this paper we show that the fundamental principles of zonotopal algebra as described in the previous paragraph extend far beyond the setup of external, central and internal ideals by building a whole hierarchy of new combinatorially defined zonotopal spaces.
Sparse regular random graphs: Spectral density and eigenvectors
Published in Annals of Probability 2012, Vol. 40, No. 5, 2197-2235
• View Publication
• BIB
We examine the empirical distribution of the eigenvalues and the eigenvectors of adjacency matrices of sparse regular random graphs. We find that when the degree sequence of the graph slowly increases to infinity with the number of vertices, the empirical spectral distribution converges to the semicircle law. Moreover, we prove concentration estimates on the number of eigenvalues over progressively smaller intervals. We also show that, with high probability, all the eigenvectors are delocalized.
Polyominoes with nearly convex columns: An undirected model
Published
• View Publication
• BIB
Column-convex polyominoes were introduced in 1950's by Temperley, a mathematical physicist working on "lattice gases". By now, column-convex polyominoes are a popular and well-understood model. There exist several generalizations of column-convex polyominoes; an example is a model called multi-directed animals. In this paper, we introduce a new sequence of supersets of column-convex polyominoes. Our model (we call it level m column-subconvex polyominoes) is defined in a simple way. We focus on the case when cells are hexagons and we compute the area generating functions for the levels one and two. Both of those generating functions are complicated q-series, whereas the area generating function of column-convex polyominoes is a rational function. The growth constants of level one and level two column-subconvex polyominoes are 4.319139 and 4.509480, respectively. For comparison, the growth constants of column-convex polyominoes, multi-directed animals and all polyominoes are 3.863131, 4.587894 and 5.183148, respectively.
Posets from Admissible Coxeter Sequences
Published in Electron. J. Combin. 18(1) (2011) #R197
• View Publication
• BIB
We study the equivalence relation on the set of acyclic orientations of an undirected graph G generated by source-to-sink conversions. These conversions arise in the contexts of admissible sequences in Coxeter theory, quiver representations, and asynchronous graph dynamical systems. To each equivalence class we associate a poset, characterize combinatorial properties of these posets, and in turn, the admissible sequences. This allows us to construct an explicit bijection from the equivalence classes over G to those over G' and G", the graphs obtained from G by edge deletion and edge contraction of a fixed cycle-edge, respectively. This bijection yields quick and elegant proofs of two non-trivial results: (i) A complete combinatorial invariant of the equivalence classes, and (ii) a solution to the conjugacy problem of Coxeter elements for simply-laced Coxeter groups. The latter was recently proven by H. Eriksson and K. Eriksson using a much different approach.
Counting the spanning trees of a directed line graph
The line graph LG of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967, Knuth used the Matrix-Tree Theorem to prove a formula for the number of spanning trees of LG, and he asked for a bijective proof. In this paper, we give a bijective proof of a generating function identity due to Levine which generalizes Knuth's formula. As a result of this proof we find a bijection between binary de Bruijn sequences of degree n and binary sequences of length 2^{n-1}. Finally, we determine the critical groups of all the Kautz graphs and de Bruijn graphs, generalizing a result of Levine.
Hall polynomials via automorphisms of short exact sequences
Published in Algebras and Representation Theory 15 (2012), 449-481
• View Publication
• BIB
We present a sum-product formula for the classical Hall polynomial which is based on tableaux that have been introduced by T. Klein in 1969. In the formula, each summand corresponds to a Klein tableau, while the product is taken over the cardinalities of automorphism groups of short exact sequences which are derived from the tableau. For each such sequence, one can read off from the tableau the summands in an indecomposable decomposition, and the size of their homomorphism and automorphism groups. Klein tableaux are refinements of Littlewood-Richardson tableaux in the sense that each entry $\ell \geq 2$ carries a subscript $r$. We describe module theoretic and categorical properties shared by short exact sequences which have the same symbol $\ell_r$ in a given row in their Klein tableau. Moreover, we determine the interval in the Auslander-Reiten quiver in which indecomposable sequences of $p^n$-bounded groups which carry such a symbol occur.
On a question of Sárközy on gaps of product sequences
Published
• View Publication
• BIB
Motivated by a question of Sárközy, we study the gaps in the product sequence $\B=\A ... \A=\{b_n=a_ia_j, a_i,a_j\in \A\}$ when $\A$ has upper Banach density $α>0$. We prove that there are infinitely many gaps $b_{n+1}-b_n\ll α^{-3}$ and that for $t\ge2$ there are infinitely many $t$-gaps $b_{n+t}-b_{n}\ll t^2α^{-4}$. Furthermore we prove that these estimates are best possible.
We also discuss a related question about the cardinality of the quotient set $\A/\A=\{a_i/a_j, a_i,a_j\in \A\}$ when $\A\subset\{1,..., N\}$ and $|\A|=αN$.
A direct encoding of Stoimenow's matchings as ascent sequences
In connection with Vassiliev's knot invariants, Stoimenow (1998) introduced certain matchings, also called regular linearized chord diagrams. Bousquet-Melou et al. (2008) gave a bijection from those matchings to unlabeled (2+2)-free posets; they also showed how to encode the posets as so called ascent sequences. In this paper we present a direct encoding of Stoimenow's matchings as ascent sequences. In doing so we give the rules for recursively constructing and deconstructing such matchings.
On Balanced Colorings of the n-Cube
Published
• View Publication
• BIB
A 2-coloring of the n-cube in the n-dimensional Euclidean space can be considered as an assignment of weights of 1 or 0 to the vertices. Such a colored n-cube is said to be balanced if its center of mass coincides with its geometric center. Let $B_{n,2k}$ be the number of balanced 2-colorings of the n-cube with 2k vertices having weight 1. Palmer, Read and Robinson conjectured that for $n\geq 1$, the sequence $\{B_{n,2k}\}_{k=0, 1 ... 2^{n-1}}$ is symmetric and unimodal. We give a proof of this conjecture. We also propose a conjecture on the log-concavity of $B_{n,2k}$ for fixed k, and by probabilistic method we show that it holds when n is sufficiently large.
Discrete low-discrepancy sequences
Holroyd and Propp used Hall's marriage theorem to show that, given a probability distribution pi on a finite set S, there exists an infinite sequence s_1,s_2,... in S such that for all integers k >= 1 and all s in S, the number of i in [1,k] with s_i = s differs from k pi(s) by at most 1. We prove a generalization of this result using a simple explicit algorithm. A special case of this algorithm yields an extension of Holroyd and Propp's result to the case of discrete probability distributions on infinite sets.
Area Problems Involving Kasner Polygons
Sequences of polygons generated by performing iterative processes on an initial polygon have been studied extensively. One of the most popular sequences is the one sometimes referred to as {\it Kasner polygons}. Given a polygon $K$, the first Kasner descendant $K'$ of $K$ is obtained by placing the vertices of $K'$ at the midpoints of the edges of $K$.
More generally, for any fixed $m$ in $(0,1)$ one may define a sequence of polygons $\{K^{t}\}_{t\ge 0}$ where each polygon $K^{t}$ is obtained by dividing every edge of $K^{t-1}$ into the ratio $m:(1-m)$ in the counterclockwise (or clockwise) direction and taking these division points to be the vertices of $K^{t}$.
We are interested in the following problem
{\it Let $m$ be a fixed number in $(0,1)$ and let $n\ge 3$ be a fixed integer. Further, let $K$ be a convex $n$-gon and denote by $K'$, the first $m$-Kasner descendant of $K$, that is, the vertices of $K'$ divide the edges of $K$ into the ratio $m:(1-m)$. What can be said about the ratio between the area of $K'$ and the area of $K$, when $K$ varies in the class of convex $n$-gons?}
We provide a complete answer to this question.
Shifted Jacobi polynomials and Delannoy numbers
We express a weighted generalization of the Delannoy numbers in terms of shifted Jacobi polynomials. A specialization of our formulas extends a relation between the central Delannoy numbers and Legendre polynomials, observed over 50 years ago, to all Delannoy numbers and certain Jacobi polynomials. Another specialization provides a weighted lattice path enumeration model for shifted Jacobi polynomials, we use this to present a new combinatorial proof of the orthogonality of Jacobi polynomials with natural number parameters. The proof relates the orthogonality of these polynomials to the orthogonality of (generalized) Laguerre polynomials, as they arise in the theory of rook polynomials. We provide a combinatorial proof for the orthogonality of certain Romanovski-Jacobi polynomials with zero first parameter and negative integer second parameter, considered as an initial segment of the list of similarly transformed Jacobi polynomials with the same parameters. We observe that for an odd second parameter one more polynomial may be added to this finite orthogonal polynomial sequence than what was predicted by a classical result of Askey and Romanovski. The remaining transformed Jacobi polynomials in the sequence are either equal to the already listed Romanovski-Jacobi polynomials or monomial multiples of similarly transformed Jacobi polynomials with a positive second parameter. We provide expressions for an analogous weighted generalization of the Schröder numbers in terms of the Jacobi polynomials, and use this model, together with a result of Mansour and Sun, to express the Narayana polynomials in terms of shifted Jacobi polynomials.
Binomial coefficients, Catalan numbers and Lucas quotients
Published in Sci. China Math. 53(2010), no.9, 2473-2488
• View Publication
• BIB
Let $p$ be an odd prime and let $a,m$ be integers with $a>0$ and $m \not\equiv0\pmod p$. In this paper we determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}/m^k$ mod $p^2$ for $d=0,1$; for example, $$\sum_{k=0}^{p^a-1}\frac{\binom{2k}k}{m^k}\equiv\left(\frac{m^2-4m}{p^a}\right)+\left(\frac{m^2-4m}{p^{a-1}}\right)u_{p-(\frac{m^2-4m}{p})}\pmod{p^2},$$ where $(-)$ is the Jacobi symbol, and $\{u_n\}_{n\geqslant0}$ is the Lucas sequence given by $u_0=0$, $u_1=1$ and $u_{n+1}=(m-2)u_n-u_{n-1}$ for $n=1,2,3,\ldots$. As an application, we determine $\sum_{0<k<p^a,\, k\equiv r\pmod{p-1}}C_k$ modulo $p^2$ for any integer $r$, where $C_k$ denotes the Catalan number $\binom{2k}k/(k+1)$. We also pose some related conjectures.
On the Generalized Climbing Stairs Problem
Let $\mathcal S$ be a subset of the positive integers, and $M$ be a positive integer. Mohammad K. Azarian, inspired by work of Tony Colledge, considered the number of ways to climb a staircase containing $n$ stairs using "step-sizes" $s \in \mathcal S$ and multiplicities at most $M$.
In this exposition, we find a solution via generating functions, i.e., an expression which counts the number of partitions $n = \sum_{s \in \mathcal S} m_s s$ satisfying $0 \leq m_s \leq M$. We then use this result to answer a series of questions posed by Azarian, thereby showing a link with ten sequences listed in the On-Line Encyclopedia of Integer Sequences. We conclude by posing open questions which seek to count the number of compositions of $n$.
Cross-correlation properties of cyclotomic sequences
Published in This paper have been published in IEICE Trans. Fund., 2007
• Search Publication
Sequences with good correlation properties are widely used in engineering applications, especially in the area of communications. Among the known sequences, cyclotomic families have the optimal autocorrelation property. In this paper, we decide the cross-correlation function of the known cyclotomic sequences completely. Moreover, to get our results, the relations between the multiplier group and the decimations of the characteristic sequence are also established for an arbitrary difference set.
Autocorrelation-Run Formula for Binary Sequences
The autocorrelation function and the run structure are two basic notions for binary sequences, and have been used as two independent postulates to test randomness of binary sequences ever since Golomb 1955. In this paper, we prove for binary sequence that the autocorrelation function is in fact completely determined by its run structure.
The Group Structure of Pivot and Loop Complementation on Graphs and Set Systems
Published in European Journal of Combinatorics, v. 32, 1353-1367, 2011
• View Publication
• BIB
We study the interplay between principal pivot transform (pivot) and loop complementation for graphs. This is done by generalizing loop complementation (in addition to pivot) to set systems. We show that the operations together, when restricted to single vertices, form the permutation group S_3. This leads, e.g., to a normal form for sequences of pivots and loop complementation on graphs. The results have consequences for the operations of local complementation and edge complementation on simple graphs: an alternative proof of a classic result involving local and edge complementation is obtained, and the effect of sequences of local complementations on simple graphs is characterized.
On the Degree Sequence of Random Geometric Digraphs
Published in Applied Mathematical Sciences, 2010, vol.4(41), pp.2001--2012
• Search Publication
A random geometric digraph $G_n$ is constructed by taking $\{X_1,X_2,... X_n\}$ in $\mathbb{R}^2$ independently at random with a common bounded density function. Each vertex $X_i$ is assigned at random a sector $S_i$ of central angle $α$ with inclination $Y_i$, in a circle of radius $r$ (with vertex $X_i$ as the origin). An arc is present from vertex $X_i$ to $X_j$, if $X_j$ falls in $S_i$. Suppose $k$ is fixed and $\{k_n\}$ is a sequence with $1\ll k_n\ll n^{1/2}$, as $n\to\infty$. We prove central limit theorems for $k-$ and $k_n-$nearest neighbor distance of out- and in-degrees in $G_n$. We also show that the degree distribution of this model, which varies with the probability distribution of the underlying point processes, can be either homogeneous or inhomogeneous. Our work should provide valuable insights for alternative mechanisms wrapped in real-world complex networks.