sequence
6845 papers tagged with this keyword
Regular Steinhaus graphs of odd degree
Published in Discrete Mathematics 309 (13), 4545-4554, 2009
• View Publication
• BIB
A Steinhaus matrix is a binary square matrix of size $n$ which is symmetric, with diagonal of zeros, and whose upper-triangular coefficients satisfy $a_{i,j}=a_{i-1,j-1}+a_{i-1,j}$ for all $2\leq i<j\leq n$. Steinhaus matrices are determined by their first row. A Steinhaus graph is a simple graph whose adjacency matrix is a Steinhaus matrix. We give a short new proof of a theorem, due to Dymacek, which states that even Steinhaus graphs, i.e. those with all vertex degrees even, have doubly-symmetric Steinhaus matrices. In 1979 Dymacek conjectured that the complete graph on two vertices $K_2$ is the only regular Steinhaus graph of odd degree. Using Dymacek's theorem, we prove that if $(a_{i,j})_{1\leq i,j\leq n}$ is a Steinhaus matrix associated with a regular Steinhaus graph of odd degree then its sub-matrix $(a_{i,j})_{2\leq i,j\leq n-1}$ is a multi-symmetric matrix, that is a doubly-symmetric matrix where each row of its upper-triangular part is a symmetric sequence. We prove that the multi-symmetric Steinhaus matrices of size $n$ whose Steinhaus graphs are regular modulo 4, i.e. where all vertex degrees are equal modulo 4, only depend on $\lceil \frac{n}{24}\rceil$ parameters for all even numbers $n$, and on $\lceil \frac{n}{30}\rceil$ parameters in the odd case. This result permits us to verify the Dymacek's conjecture up to 1500 vertices in the odd case.
Zeta functions, heat kernels and spectral asymptotics on degenerating families of discrete tori
Published
• View Publication
• BIB
By a discrete torus we mean the Cayley graph associated to a finite product of finite cycle groups with generating set given by choosing a generator for each cyclic factor. In this article we study the spectral theory of the combinatorial Laplacian for sequences of discrete tori when the orders of the cyclic factors tend to infinity at comparable rates. First we show that the sequence of heat kernels corresponding to the degenerating family converges, after re-scaling, to the heat kernel on an associated real torus. We then establish an asymptotic expansion, in the degeneration parameter, of the determinant of the combinatorial Laplacian. The zeta-regularized determinant of the Laplacian of the limiting real torus appears as the constant term in this expansion. On the other hand, using a classical theorem by Kirchhoff the determinant of the combinatorial Laplacian of a finite graph divided by the number of vertices equals the number of spanning trees, called the complexity, of the graph. As a result, we establish a precise connection between the complexity of the Cayley graphs of finite abelian groups and heights of real tori. It is also known that spectral determinants on discrete tori can be expressed using trigonometric functions and that spectral determinants on real tori can be expressed using modular forms on general linear groups. Another interpretation of our analysis is thus to establish a link between limiting values of certain products of trigonometric functions and modular forms. The heat kernel analysis which we employ uses a careful study of I-Bessel functions. Our methods extend to prove the asymptotic behavior of other spectral invariants through degeneration, such as special values of spectral zeta functions and Epstein-Hurwitz type zeta functions.
Triangle packings and 1-factors in oriented graphs
Published
• View Publication
• BIB
An oriented graph is a directed graph which can be obtained from a simple undirected graph by orienting its edges. In this paper we show that any oriented graph G on n vertices with minimum indegree and outdegree at least (1/2-o(1))n contains a packing of cyclic triangles covering all but at most 3 vertices. This almost answers a question of Cuckler and Yuster and is best possible, since for n = 3 mod 18 there is a tournament with no perfect triangle packing and with all indegrees and outdegrees (n-1)/2 or (n-1)/2 \pm 1. Under the same hypotheses, we also show that one can embed any prescribed almost 1-factor, i.e. for any sequence n_1,...,n_t with n_1+...+n_t < n-O(1) we can find a vertex-disjoint collection of directed cycles with lengths n_1,...,n_t. In addition, under quite general conditions on the n_i we can remove the O(1) additive error and find a prescribed 1-factor.
On the excedance sets of colored permutations
We define the excedence set and the excedance word on $G_{r,n}$, generalizing a work of Ehrenborg and Steingrimsson and use the inclusion-exclusion principle to calculate the number of colored permutations having a prescribed excedance word. We show some symmetric properties as Log concavity and unimodality of a specific sequence of excedance words.
Homology representations arising from the half cube
Published
• View Publication
• BIB
We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 \leq k \leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique complex of the half cube graph if $k = 4$. The homology of $C_{n, k}$ is concentrated in degree $k-1$ and furthermore, the $(k-1)$-st Betti number of $C_{n, k}$ is equal to the $(k-2)$-nd Betti number of the complement of the $k$-equal real hyperplane arrangement. These Betti numbers, which also appear in theoretical computer science, numerical analysis and engineering, are the coefficients of a certain Pascal-like triangle (Sloane's sequence A119258). The Coxeter groups of type $D_n$ act naturally on the complexes $C_{n, k}$, and thus on the associated homology groups.
Paperfolding sequences, paperfolding curves and local isomorphism
Published
• View Publication
• BIB
For each integer n, an n-folding curve is obtained by folding n times a strip of paper in two, possibly up or down, and unfolding it with right angles. Generalizing the usual notion of infinite folding curve, we define complete folding curves as the curves without endpoint which are unions of increasing sequences of n-folding curves for n integer. We prove that there exists a standard way to extend any complete folding curve into a covering of the plane by disjoint such curves, which satisfies the local isomorphism property introduced to investigate aperiodic tiling systems. This covering contains at most six curves.
Some combinatorics related to central binomial coefficients: Grand-Dyck paths, coloured noncrossing partitions and signed pattern avoiding permutations
Published
• View Publication
• BIB
We give some interpretations to certain integer sequences in terms of parameters on Grand-Dyck paths and coloured noncrossing partitions, and we find some new bijections relating Grand-Dyck paths and signed pattern avoiding permutations. Next we transfer a natural distributive lattice structure on Grand-Dyck paths to coloured noncrossing partitions and signed pattern avoiding permutations, thus showing, in particular, that it is isomorphic to the structure induced by the (strong) Bruhat order on a certain set of signed pattern avoiding permutations.
Supersequences, rearrangements of sequences, and the spectrum of bases in additive number theory
Published in Journal Number Theory 129:6 (2009), 1608--1621
• View Publication
• BIB
The set A = {a_n} of nonnegative integers is an asymptotic basis of order h if every sufficiently large integer can be represented as the sum of h elements of A. If a_n ~ alpha n^h for some real number alpha > 0, then alpha is called an additive eigenvalue of order h. The additive spectrum of order h is the set N(h) consisting of all additive eigenvalues of order h. It is proved that there is a positive number eta_h <= 1/h! such that N(h) = (0, eta_h) or N(h) = (0, eta_h]. The proof uses results about the construction of supersequences of sequences with prescribed asymptotic growth, and also about the asymptotics of rearrangements of infinite sequences. For example, it is proved that there does not exist a strictly increasing sequence of integers B = {b_n} such that b_n ~ 2^n and B contains a subsequence {b_{n_k}} such that b_{n_k} ~ 3^k.
(2+2)-free posets, ascent sequences and pattern avoiding permutations
Published
• View Publication
• BIB
We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2+2)-free posets and a certain class of involutions (or chord diagrams), already appeared in the literature, but were apparently not known to be equinumerous. We present a direct bijection between them. The third class is a family of permutations defined in terms of a new type of pattern. An attractive property of these patterns is that, like classical patterns, they are closed under the action of $D_8$, the symmetry group of the square. The fourth class is formed by certain integer sequences, called ascent sequences, which have a simple recursive structure and are shown to encode (2+2)-free posets and permutations. Our bijections preserve numerous statistics.
We determine the generating function of these classes of objects, thus recovering a non-D-finite series obtained by Zagier for the class of chord diagrams. Finally, we characterize the ascent sequences that correspond to permutations avoiding the barred pattern $3{\bar 1}52{\bar 4}$ and use this to enumerate those permutations, thereby settling a conjecture of Pudwell.
Mixed succession rules: the commutative case
Published
• View Publication
• BIB
We begin a systematic study of the enumerative combinatorics of mixed succession rules, which are succession rules such that, in the associated generating tree, the nodes are allowed to produce their sons at several different levels according to different production rules. Here we deal with a specific case, namely that of two different production rules whose rule operators commute. In this situation, we are able to give a general formula expressing the sequence associated with the mixed succession rules in terms of the sequences associated with the component production rules. We end by providing some examples illustrating our approach.
Some Enumerations for Parking Functions
In this paper, let $\mathcal{P}_{n,n+k;\leq n+k}$ (resp. $\mathcal{P}_{n;\leq s}$) denote the set of parking functions $α=(a_1,...,a_n)$ of length $n$ with $n+k$ (respe. $n$)parking spaces satisfying $1\leq a_i\leq n+k$ (resp. $1\leq a_i\leq s$) for all $i$. Let $p_{n,n+k;\leq n+k}=|\mathcal{P}_{n,n+k;\leq n+k}|$ and $p_{n;\leq s}=|\mathcal{P}_{n;\leq s}|$. Let $\mathcal{P}_{n;\leq s}^l$ denote the set of parking functions $α=(a_1,...,a_n)\in\mathcal{P}_{n;\leq s}$ such that $a_1=l$ and $p_{n;\leq s}^l=|\mathcal{P}_{n;\leq s}^l|$. We derive some formulas and recurrence relations for the sequences $p_{n,n+k;\leq n+k}$, $p_{n;\leq s}$ and $p_{n;\leq s}^l$ and give the generating functions for these sequences. We also study the asymptotic behavior for these sequences.
Enumerations for Permutations by Circular Peak Sets
The circular peak set of a permutation $σ$ is the set $\{σ(i)\mid σ(i-1)<σ(i)>σ(i+1)\}$. In this paper, we focus on the enumeration problems for permutations by circular peak sets. Let $cp_n(S)$ denote the number of the permutations of order $n$ which have the circular peak set $S$. For the case with $|S|=0,1,2$, we derive the explicit formulas for $cp_n(S)$. We also obtain some recurrence relations for the sequence $cp_n(S)$ and give the formula for $cp_n(S)$ in the general case.
Ordered k-flaw Preferences Sets
In this paper, we focus on ordered $k$-flaw preference sets. Let $\mathcal{OP}_{n,\geq k}$ denote the set of ordered preference sets of length $n$ with at least $k$ flaws and $\mathcal{S}_{n,k}=\{(x_1,...,x_{n-k})\mid x_1+x_2+... +x_{n-k}=n+k, x_i\in\mathbb{N}\}$. We obtain a bijection from the sets $\mathcal{OP}_{n,\geq k}$ to $\mathcal{S}_{n,k}$. Let $\mathcal{OP}_{n,k}$ denote the set of ordered preference sets of length $n$ with exactly $k$ flaws. An $(n,k)$-\emph{flaw path} is a lattice path starting at $(0,0)$ and ending at $(2n,0)$ with only two kinds of steps--rise step: $U=(1,1)$ and fall step: $D=(1,-1)$ lying on the line $y = -k$ and touching this line. Let $\mathcal{D}_{n,k}$ denote the set of $(n, k)$-flaw paths. Also we establish a bijection between the sets $\mathcal{OP}_{n,k}$ and $\mathcal{D}_{n,k}$. Let $op_{n,\geq k,\leq l}^m$ $(op_{n, k, =l}^m)$ denote the number of preference sets $α=(a_1,...,a_n)$ with at least $k$ (exact) flaws and leading term $m$ satisfying $a_i\leq l$ for any $i$ $(\max\{a_i\mid 1\leq i\leq n\}=l)$, respectively. With the benefit of these bijections, we obtain the explicit formulas for $op_{n,\geq k,\leq l}^m$. Furthermore, we give the explicit formulas for $op_{n, k, =l}^m$. We derive some recurrence relations of the sequence formed by ordered $k$-flaw preference sets of length $n$ with leading term $m$. Using these recurrence relations, we obtain the generating functions of some corresponding $k$-flaw preference sets.
k-flaw Preference Sets
In this paper, let $\mathcal{P}_{n;\leq s;k}^l$ denote a set of $k$-flaw preference sets $(a_1,...,a_n)$ with $n$ parking spaces satisfying that $1\leq a_i\leq s$ for any $i$ and $a_1=l$ and $p_{n;\leq s;k}^l=|\mathcal{P}_{n;\leq s;k}^l|$. We use a combinatorial approach to the enumeration of $k$-flaw preference sets by their leading terms. The approach relies on bijections between the $k$-flaw preference sets and labeled rooted forests. Some bijective results between certain sets of $k$-flaw preference sets of distinct leading terms are also given. We derive some formulas and recurrence relations for the sequences $p_{n;\leq s;k}^l$ and give the generating functions for these sequences.
Representation of Finite Abelian Group Elements by Subsequence Sums
Published
• View Publication
• BIB
Let $G\cong C_{n_1}\oplus ... \oplus C_{n_r}$ be a finite and nontrivial abelian group with $n_1|n_2|...|n_r$. A conjecture of Hamidoune says that if $W=w_1... w_n$ is a sequence of integers, all but at most one relatively prime to $|G|$, and $S$ is a sequence over $G$ with $|S|\geq |W|+|G|-1\geq |G|+1$, the maximum multiplicity of $S$ at most $|W|$, and $σ(W)\equiv 0\mod |G|$, then there exists a nontrivial subgroup $H$ such that every element $g\in H$ can be represented as a weighted subsequence sum of the form $g=\sum_{i=1}^{n}w_is_i$, with $s_1... s_n$ a subsequence of $S$. We give two examples showing this does not hold in general, and characterize the counterexamples for large $|W|\geq {1/2}|G|$.
A theorem of Gao, generalizing an older result of Olson, says that if $G$ is a finite abelian group, and $S$ is a sequence over $G$ with $|S|\geq |G|+D(G)-1$, then either every element of $G$ can be represented as a $|G|$-term subsequence sum from $S$, or there exists a coset $g+H$ such that all but at most $|G/H|-2$ terms of $S$ are from $g+H$. We establish some very special cases in a weighted analog of this theorem conjectured by Ordaz and Quiroz, and some partial conclusions in the remaining cases, which imply a recent result of Ordaz and Quiroz. This is done, in part, by extending a weighted setpartition theorem of Grynkiewicz, which we then use to also improve the previously mentioned result of Gao by showing that the hypothesis $|S|\geq |G|+D(G)-1$ can be relaxed to $|S|\geq |G|+d^*(G)$, where $d^*(G)=\Sum_{i=1}^{r}(n_i-1)$. We also use this method to derive a variation on Hamidoune's conjecture valid when at least $d^*(G)$ of the $w_i$ are relatively prime to $|G|$.
Potential Polynomials and Motzkin Paths
Published
• View Publication
• BIB
A {\em Motzkin path} of length $n$ is a lattice path from $(0,0)$ to $(n,0)$ in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of horizontal-steps $(1, 0)$, up-steps $(1,1)$, and down-steps $(1,-1)$, which never passes below the x-axis. A {\em $u$-segment {\rm (resp.} $h$-segment {\rm)}} of a Motzkin path is a maximum sequence of consecutive up-steps ({\rm resp.} horizontal-steps). The present paper studies two kinds of statistics on Motzkin paths: "number of $u$-segments" and "number of $h$-segments". The Lagrange inversion formula is utilized to represent the weighted generating function for the number of Motzkin paths according to the statistics as a sum of the partial Bell polynomials or the potential polynomials. As an application, a general framework for studying compositions are also provided.
On a generalization of Christoffel words: epichristoffel words
Published
• View Publication
• BIB
Sturmian sequences are well-known as the ones having minimal complexity over a 2-letter alphabet. They are also the balanced sequences over a 2-letter alphabet and the sequences describing discrete lines. They are famous and have been extensively studied since the 18th century. One of the {extensions} of these sequences over a $k$-letter alphabet, with $k\geq 3$, are the episturmian sequences, which generalizes a construction of Sturmian sequences using the palindromic closure operation. There exists a finite version of the Sturmian sequences called the Christoffel words. They are known since the works of Christoffel and have interested many mathematicians. In this paper, we introduce a generalization of Christoffel words for an alphabet with 3 letters or more, using the episturmian morphisms. We call them the {\it epichristoffel words}. We define this new class of finite words and show how some of the properties of the Christoffel words can be generalized naturally or not for this class.
Counting numerical sets with no small atoms
Published
• View Publication
• BIB
A numerical set $S$ with Frobenius number $g$ is a set of integers with $\min(S) = 0$ and $\max(\Zbb - S)=g$, and its atom monoid is $A(S) = \setpres{n \in \Zbb}{$n+s \in S$ for all $s \in S$}$. Let $γ_g$ be the number of numerical sets $S$ having $A(S) = \set{0} \cup (g,\infty)$ divided by the total number of numerical sets with Frobenius number $g$. We show that the sequence $\set{γ_g}$ is decreasing and converges to a number $γ_\infty \approx .4844$ (with accuracy to within $.0050$). We also examine the singularities of the generating function for $\set{γ_g}$. Parallel results are obtained for the ratio $\gsymm{g}$ of the number of symmetric numerical sets $S$ with $A(S) = \set{0} \cup (g,\infty)$ by the number of symmetric numerical sets with Frobenius number $g$. These results yield information regarding the asymptotic behavior of the number of finite additive 2-bases.
Eight Hateful Sequences
In his July 1974 Scientific American column, Martin Gardner mentioned the Handbook of Integer Sequences, which then contained 2372 sequences. Today the On-Line Encyclopedia of Integer Sequences (the OEIS) contains 140000 sequences. This paper discusses eight of them, suggested by the theme of the Eighth Gathering For Gardner: they are all infinite, and all 'ateful in one way or another. Each one is connected with an unsolved problem. The sequences are related to: hateful numbers, Angelini's 1995 puzzle, the persistence of a number, Alekseyev's 123 sequence, the curling number conjecture, Quet's prime-generating recurrence, the traveling salesman's problem, and the Riemann Hypothesis.
Partitions of $\mathbb{Z}_n$ into Arithmetic Progressions
We introduce the notion of arithmetic progression blocks or AP-blocks of $\mathbb{Z}_n$, which can be represented as sequences of the form $(x, x+m, x+2m, ..., x+(i-1)m) \pmod n$. Then we consider the problem of partitioning $\mathbb{Z}_n$ into AP-blocks for a given difference $m$. We show that subject to a technical condition, the number of partitions of $\mathbb{Z}_n$ into $m$-AP-blocks of a given type is independent of $m$. When we restrict our attention to blocks of sizes one or two, we are led to a combinatorial interpretation of a formula recently derived by Mansour and Sun as a generalization of the Kaplansky numbers. These numbers have also occurred as the coefficients in Waring's formula for symmetric functions.