sequence
7073 papers tagged with this keyword
From Integer Sequences to Block Designs via Counting Walks in Graphs
We define numbers of the type Oj(N) and Ej(N) and the corresponding integer sequences. We prove that these integer sequences, e.g., SO(N) and SE(N) correspond to the number of odd and even walks in complete graphs. We then prove that there is a unique family of graphs which have exactly the same sequence of odd walks between connected nodes and of even walks between pairs of nodes at distance two, respectively. These graphs are obtained as the Kronecker product. We show that they are the incidence graphs of block designs, are distance-regular and Ramanujan graphs.
Compression of Periodic Complementary Sequences and Applications
Published in Des. Codes Cryptogr. (2015) 74: 365--377
• View Publication
• BIB
A collection of complex sequences of length v is complementary if the sum of their periodic autocorrelation function values at all non-zero shifts is constant. For a complex sequence A=[a_0,a_1,...,a_{v-1}] of length v=dm we define the m-compressed sequence A^{(d)} of length d whose terms are the sums a_i + a_{i+d} + ... + a_{i+(m-1)d}. We prove that the m-compression of a complementary collection of sequences is also complementary. The compression procedure can be used to simplify the construction of complementary {+1,-1}-sequences of composite length. In particular, we construct several supplementary difference sets (v;r,s;lambda) with v even and lambda=(r+s)-v/2, given here for the first time. There are 15 normalized parameter sets (v;r,s;lambda) with v <= 50 for which the existence question was open. We resolve all but one of these cases.
$α$-Large Families and Applications to Banach Space Theory
Published in Topology Appl. 172 (2014), 47-67
• View Publication
• BIB
The notion of $α$-large families of finite subsets of an infinite set is defined for every countable ordinal number $α$, extending the known notion of large families. The definition of the $α$-large families is based on the transfinite hierarchy of the Schreier families $\mathcal{S}_α, α<ω_1$. We prove the existence of such families on the cardinal number $2^{\aleph_0}$ and we study their properties. As an application, based on those families we construct a reflexive space $\mathfrak{X}_{2^{\aleph_0}}^α$, $α<ω_1$ with density the continuum, such that every bounded non norm convergent sequence $\{x_k\}_k$ has a subsequence generating $\ell_1^α$ as a spreading model.
Binomial regular sequences and free sums
Published
• View Publication
• BIB
Recently several authors have proved results on Ehrhart series of free sums of rational polytopes. In this note we treat these results from an algebraic viewpoint. Instead of attacking combinatorial statements directly, we derive them from structural results on affine monoids and their algebras that allow conclusions for Hilbert and Ehrhart series. We characterize when a binomial regular sequence generates a prime ideal or even normality is preserved for the residue class ring.
Impartial games whose rulesets produce given continued fractions
Published
• View Publication
• BIB
We study 2-player impartial games of the form take-away which produce P-positions (second player winning positions) corresponding to complementary Beatty sequences, given by the continued fractions (1;k,1,k,1,...) and (k+1;k,1,k,1,...). Our problem is the opposite of the main field of research in this area, which is to, given a game, understand its set of P-positions. We are rather given a set of (candidate) P-positions and look for "simple" rules. Our rules satisfy two criteria, they are given by a closed formula and they are invariant, that is, the available moves do not depend on the position played from (for all options with non-negative coordinates).
Constructing, sampling and counting graphical realizations of restricted degree sequences
Published in PLOS ONE 2015. e0131300
• View Publication
• BIB
With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sample uniformly and efficiently all these possible realizations. (This problem can be considered as a special case of Tutte's $f$-factor problem, however it has a favorable sampling speed.)
We solve this {\em restricted degree sequence} (or RDS for short) problem completely if the forbidden edges form a bipartite graph, which consist of the union of a (not necessarily maximal) 1-factor and a (possible empty) star. Then we show how one can sample the space of all realizations of these RDSs uniformly and efficiently when the degree sequence describes a {\em half-regular} bipartite graph. Our result contains, as special cases, the well-known result of Kannan, Tetali and Vempala on sampling regular bipartite graphs and a recent result of Greenhill on sampling regular directed graphs (so it also provides new proofs of them).
The RDS problem descried above is self-reducible, therefore our {\em fully polynomial almost uniform sampler} (a.k.a. FPAUS) on the space of all realizations also provides a {\em fully polynomial randomized approximation scheme} (a.k.a. FPRAS) for approximate counting of all realizations.
A bijection between unicellular and bicellular maps
In this paper we present a combinatorial proof of a relation between the generating functions of unicellular and bicellular maps. This relation is a consequence of the Schwinger-Dyson equation of matrix theory. Alternatively it can be proved using representation theory of the symmetric group. Here we give a bijective proof by rewiring unicellular maps of topological genus $(g+1)$ into bicellular maps of genus $g$ and pairs of unicellular maps of lower topological genera. Our result has immediate consequences for the folding of RNA interaction structures, since the time complexity of folding the transformed structure is $O((n+m)^5)$, where $n,m$ are the lengths of the respective backbones, while the folding of the original structure has $O(n^6)$ time complexity, where $n$ is the length of the longer sequence.
Constructing Skolem sequences via generating trees
A Skolem sequence is a linear arrangement of the multiset, {1, 1, 2, 2, ..., n, n} such that if r in [n] appears in positions i and j, then |i-j| = r. We first translate the problem to a particular set of perfect matchings, then apply the method of generating trees for open arc diagrams to generate exhaustively all Skolem sequences of a given size. Tracking the arc length between pairs of vertices in an arc annotated diagram is the central task. Although we do not surpass previously known enumerative results, this method drastically reduces the search space compared to previously known methods.
On the limit distribution of the normality measure of random binary sequences
Published
• View Publication
• BIB
We prove the existence of a limit distribution for the normalized normality measure $\mathcal{N}(E_N)/\sqrt{N}$ (as $N \to \infty$) for random binary sequences $E_N$, by this means confirming a conjecture of Alon, Kohayakawa, Mauduit, Moreira and R{ö}dl. The key point of the proof is to approximate the distribution of the normality measure by the exiting probabilities of a multidimensional Wiener process from a certain polytope.
Ordered Partitions and Drawings of Rooted Plane Trees
Published
• View Publication
• BIB
We study the bounded regions in a generic slice of the hyperplane arrangement in $\mathbb{R}^n$ consisting of the hyperplanes defined by $x_i$ and $x_i+x_j$. The bounded regions are in bijection with several classes of combinatorial objects, including the ordered partitions of $[n]$ all of whose left-to-right minima occur at odd locations and the drawings of rooted plane trees with $n+1$ vertices. These are sequences of rooted plane trees such that each tree in a sequence can be obtained from the next one by removing a leaf.
Nested Recursions, Simultaneous Parameters and Tree Superpositions
Published in Electron. J. Combin. 21 (2014), Article P49
• View Publication
• BIB
We apply a tree-based methodology to solve new, very broadly defined families of nested recursions of the general form R(n)=sum_{i=1}^k R(n-a_i-sum_{j=1}^p R(n-b_{ij})), where a_i are integers, b_{ij} are natural numbers, and k,p are natural numbers that we use to denote "arity" and "order," respectively, and with some specified initial conditions. The key idea of the tree-based solution method is to associate such recursions with infinite labelled trees in a natural way so that the solution to the recursions solves a counting question relating to the corresponding trees. We characterize certain recursion families within R(n) by introducing "simultaneous parameters" that appear both within the recursion itself and that also specify structural properties of the corresponding tree. First, we extend and unify recently discovered results concerning two families of arity k=2, order p=1 recursions. Next, we investigate the solution of nested recursion families by taking linear combinations of solution sequence frequencies for simpler nested recursions, which correspond to superpositions of the associated trees; this leads us to identify and solve two new recursion families for arity k=2 and general order p. Finally, we extend these results to general arity k>2. We conclude with several related open problems.
Central sets generated by uniformly recurrent words
Published
• View Publication
• BIB
A subset $A$ of $\nats$ is called an IP-set if $A$ contains all finite sums of distinct terms of some infinite sequence $(x_n)_{n\in \nats} $ of natural numbers. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of IP-sets possessing rich combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. In this paper we investigate central sets in the framework of combinatorics on words. Using various families of uniformly recurrent words, including Sturmian words, the Thue-Morse word and fixed points of weak mixing substitutions, we generate an assortment of central sets which reflect the rich combinatorial structure of the underlying words. The results in this paper rely on interactions between different areas of mathematics, some of which had not previously been directly linked. They include the general theory of combinatorics on words, abstract numeration systems, and the beautiful theory, developed by Hindman, Strauss and others, linking IP-sets and central sets to the algebraic/topological properties of the Stone-Čech compactification of $\nats .$
On additive properties of sets defined by the Thue-Morse word
Published
• View Publication
• BIB
In this paper we study some additive properties of subsets of the set $\nats$ of positive integers: A subset $A$ of $\nats$ is called {\it $k$-summable} (where $k\in\ben$) if $A$ contains $\textstyle \big{\sum_{n\in F}x_n | \emp\neq F\subseteq {1,2,...,k\} \big}$ for some $k$-term sequence of natural numbers $x_1<x_2 < ... < x_k$. We say $A \subseteq \nats$ is finite FS-big if $A$ is $k$-summable for each positive integer $k$. We say is $A \subseteq \nats$ is infinite FS-big if for each positive integer $k,$ $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F\leq k}$ for some infinite sequence of natural numbers $x_1<x_2 < ... $. We say $A\subseteq \nats $ is an IP-set if $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F<\infty}$ for some infinite sequence of natural numbers $x_1<x_2 < ... $. By the Finite Sums Theorem [5], the collection of all IP-sets is partition regular, i.e., if $A$ is an IP-set then for any finite partition of $A$, one cell of the partition is an IP-set. Here we prove that the collection of all finite FS-big sets is also partition regular. Let $\TM =011010011001011010... $ denote the Thue-Morse word fixed by the morphism $0\mapsto 01$ and $1\mapsto 10$. For each factor $u$ of $\TM$ we consider the set $\TM\big|_u\subseteq \nats$ of all occurrences of $u$ in $\TM$. In this note we characterize the sets $\TM\big|_u$ in terms of the additive properties defined above. Using the Thue-Morse word we show that the collection of all infinite FS-big sets is not partition regular.
A Counting Function
We define a counting function that is related to the binomial coefficients.
An explicit formula for this function is proved.
In some particular cases, simpler explicit formuls are derived. We also derive a formula for the number of (0,1)-matrices, having a fixed number of 1's, and having no zero rows and zero columns.
Further, we show that our function satisfies several recurrence relations.
The relationship of our counting function with different classes of integers is then examined. These classes include: different kind of figurate numbers, the number of points on the surface of a square pyramid, the magic constants, the truncated square numbers, the coefficients of the Chebyshev polynomials, the Catalan numbers, the Dellanoy numbers, the Sulanke numbers, the numbers of the coordination sequences, and the number of the crystal ball sequences of a cubic lattice.
In the last part of the paper, we prove that several configurations are counted by our function. Some of these are: the number of spanning subgraphs of the complete bipartite graph, the number of square containing in a square, the number of coloring's of points on a line, the number of divisors of some particular numbers, the number of all parts in the compositions of an integer, the numbers of the weak compositions of integers, and the number of particular lattice paths.
We conclude by counting the number of possible moves of the rook, bishop, and queen on a chessboard.
The most statements in the paper are provided by bijective proofs in terms of insets, which are defined in the paper. With this we want to show that different configurations may be counted by the same method.
Combinatorial Structures on van der Waerden sets
Published in Combinator. Probab. Comp. 24 (2015) 929-953
• View Publication
• BIB
In this paper we provide two results. The first one consists an infinitary version of the Furstenberg-Weiss Theorem. More precisely we show that every subset $A$ of a homogeneous tree $T$ such that $\frac{|A\cap T(n)|}{|T(n)|}\geqδ$, where T(n) denotes the $n$-th level of $T$, for all $n$ in a van der Waerden set, for some positive real $δ$, contains a strong subtree having a level sets which forms a van der Waerden set.
The second result is the following. For every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\\leq1$, there exists a sequence $(n_q)_{q}$ of positive integers such that for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}[n_q]$ satisfying $$\frac{\big{|}D\cap \prod_{q=0}^{k-1} [n_q]\big{|}}{\prod_{q=0}^{k-1}n_q}\geqδ$$ for every $k$ in a van der Waerden set, there is a sequence $(J_q)_{q}$, where $J_q$ is an arithmetic progression of length $m_q$ contained in $[n_q]$ for all $q$, such that $\prod_{q=0}^{k-1}J_q\subseteq D$ for every $k$ in a van der Waerden set. Moreover, working in an abstract setting, we obtain $J_q$ to be any configuration of natural numbers that can be found in an arbitrary set of positive density.
An algebraic formulation of the graph reconstruction conjecture
Published
• View Publication
• BIB
The graph reconstruction conjecture asserts that every finite simple graph on at least three vertices can be reconstructed up to isomorphism from its deck - the collection of its vertex-deleted subgraphs. Kocay's Lemma is an important tool in graph reconstruction. Roughly speaking, given the deck of a graph $G$ and any finite sequence of graphs, it gives a linear constraint that every reconstruction of $G$ must satisfy.
Let $ψ(n)$ be the number of distinct (mutually non-isomorphic) graphs on $n$ vertices, and let $d(n)$ be the number of distinct decks that can be constructed from these graphs. Then the difference $ψ(n) - d(n)$ measures how many graphs cannot be reconstructed from their decks. In particular, the graph reconstruction conjecture is true for $n$-vertex graphs if and only if $ψ(n) = d(n)$.
We give a framework based on Kocay's lemma to study this discrepancy. We prove that if $M$ is a matrix of covering numbers of graphs by sequences of graphs, then $d(n) \geq \mathsf{rank}_\mathbb{R}(M)$. In particular, all $n$-vertex graphs are reconstructible if one such matrix has rank $ψ(n)$. To complement this result, we prove that it is possible to choose a family of sequences of graphs such that the corresponding matrix $M$ of covering numbers satisfies $d(n) = \mathsf{rank}_\mathbb{R}(M)$.
Importance sampling for weighted binary random matrices with specified margins
A sequential importance sampling algorithm is developed for the distribution that results when a matrix of independent, but not identically distributed, Bernoulli random variables is conditioned on a given sequence of row and column sums. This conditional distribution arises in a variety of applications and includes as a special case the uniform distribution over zero-one tables with specified margins. The algorithm uses dynamic programming to combine hard margin constraints, combinatorial approximations, and additional non-uniform weighting in a principled way to give state-of-the-art results.
Recurrence relations versus succession rules
Published
• View Publication
• BIB
In this paper we present a method to pass from a recurrence relation having constant coefficients (in short, a C-recurrence) to a finite succession rule defining the same number sequence. We recall that succession rules are a recently studied tool for the enumeration of combinatorial objects related to the ECO method. We also discuss the applicability of our method as a test for the positivity of a number sequence.
Limit laws of the coefficients of polynomials with only unit roots
Published
• View Publication
• BIB
We consider sequences of random variables whose probability generating functions are polynomials all of whose roots lie on the unit circle. The distribution of such random variables has only been sporadically studied in the literature. We show that the random variables are asymptotically normally distributed if and only if the fourth normalized (by the standard deviation) central moment tends to 3, in contrast to the common scenario for polynomials with only real roots for which a central limit theorem holds if and only if the variance goes unbounded. We also derive a representation theorem for all possible limit laws and apply our results to many concrete examples in the literature, ranging from combinatorial structures to numerical analysis, and from probability to analysis of algorithms.
A bipartite graph with non-unimodal independent set sequence
Published
• View Publication
• BIB
We show that the independent set sequence of a bipartite graph need not be unimodal.