sequence
7073 papers tagged with this keyword
On path sequences of graphs
Published in Schedae Informaticae, vol. 24 (2015), pp. 230-242
• View Publication
• BIB
A subset $S$ of vertices of a graph $G=(V,E)$ is called a $k$-path vertex cover if every path on $k$ vertices in $G$ contains at least one vertex from $S$. Denote by $ψ_k(G)$ the minimum cardinality of a $k$-path vertex cover in $G$ and form a sequence $ψ(G)=(ψ_1(G),ψ_2(G),\ldots,ψ_{|V|}(G))$, called the path sequence of $G$. In this paper we prove necessary and sufficient conditions for two integers to appear on fixed positions in $ψ(G)$. A complete list of all possible path sequences (with multiplicities) for small connected graphs is also given.
Slicings of parallelogram polyominoes: Catalan, Schröder, Baxter, and other sequences
Published
• View Publication
• BIB
We provide a new succession rule (i.e. generating tree) associated with Schröder numbers, that interpolates between the known succession rules for Catalan and Baxter numbers. We define Schröder and Baxter generalizations of parallelogram polyominoes, called slicings, which grow according to these succession rules. In passing, we also exhibit Schröder subclasses of Baxter classes, namely a Schröder subset of triples of non-intersecting lattice paths, a new Schröder subset of Baxter permutations, and a new Schröder subset of mosaic floorplans. Finally, we define two families of subclasses of Baxter slicings: the $m$-skinny slicings and the $m$-row-restricted slicings, for $m \in \mathbb{N}$. Using functional equations and the kernel method, their generating functions are computed in some special cases, and we conjecture that they are algebraic for any $m$.
Searching for Disjoint Covering Systems with Precisely One Repeated Modulus
A set of arithmetical sequences $$ a_1\, (\bmod{ \,\, m_1}) \quad, \quad a_2 \, (\bmod{\,\, m_2}) \quad, \quad \dots \quad , \quad a_k \, (\bmod{\,\,m_k}) \quad \quad , $$ with $$ m_1 \leq m_2 \leq \dots \leq m_k \quad \quad , $$ is called a {\it disjoint covering system} (alias {\it exact covering system}) if every positive integer belongs to {\bf exactly} one of the sequences. Mirski, Newman, Davenport and Rado famously proved that the moduli can't all be distinct. In fact the two largest moduli must be equal, i.e. $m_{k-1}=m_k$ This raises the natural question:"How close can you get to getting distinct moduli?", in other words, can you find all such systems where all the moduli are distinct except the largest, that is repeated $r$ times, for any, specific given $r$?
It turns out (conjecturally, but almost certainly) that excluding the trivial case where the smallest modulus is 2, for any number of repeats $r$, there are only finitely many such systems. Marc Berger, Alexander Felzenbaum and Aviezri Fraenkel found them all for $r$ up to $9$, and Mekmamu Zeleke and Jamie Simpson extended the list for systems up to $12$ repeats. In the present article we continue the list up to $r=32$. All our systems are correct, but we did not bother to formally prove completeness, but we know for sure that the lists are complete if the largest modulus is $\leq 600$, and we are pretty sure that they are complete.
Degree switching and partitioning for enumerating graphs to arbitrary orders of accuracy
We provide a novel method for constructing asymptotics (to arbitrary accuracy) for the number of directed graphs that realize a fixed bidegree sequence $d = a \times b$ with maximum degree $d_{max}=O(S^{\frac{1}{2}-τ})$ for an arbitrarily small positive number $τ$, where $S$ is the number edges specified by $d$. Our approach is based on two key steps, graph partitioning and degree preserving switches. The former idea allows us to relate enumeration results for given sequences to those for sequences that are especially easy to handle, while the latter facilitates expansions based on numbers of shared neighbors of pairs of nodes. While we focus primarily on directed graphs allowing loops, our results can be extended to other cases, including bipartite graphs, as well as directed and undirected graphs without loops. In addition, we can relax the constraint that $d_{max} = O(S^{\frac{1}{2}-τ})$ and replace it with $a_{max} b_{max} = O(S^{1-τ})$. where $a_{max}$ and $b_{max}$ are the maximum values for $a$ and $b$ respectively. The previous best results, from Greenhill et al., only allow for $d_{max} = o(S^{\frac{1}{3}})$ or alternatively $a_{max} b_{max} = o(S^{\frac{2}{3}})$. Since in many real world networks, $d_{max}$ scales larger than $o(S^{\frac{1}{3}})$, we expect that this work will be helpful for various applications.
Multiply union families in $\mathbb{N}^n$
Let $A\subset \mathbb{N}^{n}$ be an $r$-wise $s$-union family, that is, a family of sequences with $n$ components of non-negative integers such that for any $r$ sequences in $A$ the total sum of the maximum of each component in those sequences is at most $s$. We determine the maximum size of $A$ and its unique extremal configuration provided (i) $n$ is sufficiently large for fixed $r$ and $s$, or (ii) $n=r+1$.
Generalized Goncarov polynomials
Published in in S. Butler, J. Cooper & G. Hurlbert (eds.), Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham, Cambridge Univ. Press, 2018
• View Publication
• BIB
We introduce the sequence of generalized Gončarov polynomials, which is a basis for the solutions to the Gončarov interpolation problem with respect to a delta operator. Explicitly, a generalized Gončarov basis is a sequence $(t_n(x))_{n \ge 0}$ of polynomials defined by the biorthogonality relation $\varepsilon_{z_i}(\mathfrak d^{i}(t_n(x))) = n! \;\! δ_{i,n}$ for all $i,n \in \mathbf N$, where $\mathfrak d$ is a delta operator, $\mathcal Z = (z_i)_{i \ge 0}$ a sequence of scalars, and $\varepsilon_{z_i}$ the evaluation at $z_i$. We present algebraic and analytic properties of generalized Gončarov polynomials and show that such polynomial sequences provide a natural algebraic tool for enumerating combinatorial structures with a linear constraint on their order statistics.
Sequence-structure relations of biopolymers
Published
• View Publication
• BIB
Motivation: DNA data is transcribed into single-stranded RNA, which folds into specific molecular structures. In this paper we pose the question to what extent sequence- and structure-information correlate. We view this correlation as structural semantics of sequence data that allows for a different interpretation than conventional sequence alignment. Structural semantics could enable us to identify more general embedded "patterns" in DNA and RNA sequences. Results: We compute the partition function of sequences with respect to a fixed structure and connect this computation to the mutual information of a sequence-structure pair for RNA secondary structures. We present a Boltzmann sampler and obtain the a priori probability of specific sequence patterns. We present a detailed analysis for the three PDB-structures, 2JXV (hairpin), 2N3R (3-branch multi-loop) and 1EHZ (tRNA). We localize specific sequence patterns, contrast the energy spectrum of the Boltzmann sampled sequences versus those sequences that refold into the same structure and derive a criterion to identify native structures. We illustrate that there are multiple sequences in the partition function of a fixed structure, each having nearly the same mutual information, that are nevertheless poorly aligned. This indicates the possibility of the existence of relevant patterns embedded in the sequences that are not discoverable using alignments.
Hodge Theory for Combinatorial Geometries
Published
• View Publication
• BIB
We prove the hard Lefschetz theorem and the Hodge-Riemann relations for a commutative ring associated to an arbitrary matroid M. We use the Hodge-Riemann relations to resolve a conjecture of Heron, Rota, and Welsh that postulates the log-concavity of the coefficients of the characteristic polynomial of M. We furthermore conclude that the f-vector of the independence complex of a matroid forms a log-concave sequence, proving a conjecture of Mason and Welsh for general matroids.
Asymptotics of lattice walks via analytic combinatorics in several variables
Published
• View Publication
• BIB
We consider the enumeration of walks on the two dimensional non-negative integer lattice with short steps. Up to isomorphism there are 79 unique two dimensional models to consider, and previous work in this area has used the kernel method, along with a rigorous computer algebra approach, to show that 23 of the 79 models admit D-finite generating functions. In 2009, Bostan and Kauers used Padé-Hermite approximants to guess differential equations which these 23 generating functions satisfy, in the process guessing asymptotics of their coefficient sequences. In this article we provide, for the first time, a complete rigorous verification of these guesses. Our technique is to use the kernel method to express 19 of the 23 generating functions as diagonals of tri-variate rational functions and apply the methods of analytic combinatorics in several variables (the remaining 4 models have algebraic generating functions and can thus be handled by univariate techniques). This approach also shows the link between combinatorial properties of the models and features of its asymptotics such as asymptotic and polynomial growth factors. In addition, we give expressions for the number of walks returning to the x-axis, the y-axis, and the origin, proving recently conjectured asymptotics of Bostan, Chyzak, van Hoeij, Kauers, and Pech.
Sufficient Conditions for Graphicality of Bidegree Sequences
Published
• View Publication
• BIB
There are a variety of existing conditions for a degree sequence to be graphic. When a degree sequence satisfies any of these conditions, there exists a graph that realizes the sequence. We formulate several novel sufficient graphicality criteria that depend on the number of elements in the sequence, corresponding to the number of nodes in an associated graph, and the mean degree of the sequence. These conditions, which are stated in terms of bidegree sequences for directed graphs, are easier to apply than classic necessary and sufficient graphicality conditions involving multiple inequalities. They are also more flexible than more recent graphicality conditions, in that they imply graphicality of some degree sequences not covered by those conditions. The form of our results will allow them to be easily used for the generation of graphs with particular degree sequences for applications.
Improved bounds on the peak sidelobe level of binary sequences
Published
• View Publication
• BIB
Schmidt proved in 2014 that if $\varepsilon>0$, almost all binary sequences of length $n$ have peak sidelobe level between $(\sqrt{2}-\varepsilon)\sqrt{n\log n}$ and $(\sqrt{2}+\varepsilon)\sqrt{n\log n}$. Because of the small gap between his upper and lower bounds, it is difficult to find improved upper bounds that hold for almost all binary sequences. In this note, we prove that if $\varepsilon>0$, then almost all binary sequences of length $n$ have peak sidelobe level at most $\sqrt{2n(\log n-(1-\varepsilon)\log\log n)}$, and we provide a slightly better upper bound that holds for a positive proportion of binary sequences of length $n$.
Box Resolvability
Published
• View Publication
• BIB
We say that a topological group $G$ is partially box $κ$-resolvable if there exist a dense subset $B$ of $G$ and a subset $A $ of $G$, $|A|=κ$ such that the subsets $\{ aB: a\in A\}$ are pairwise disjoint. If $G=AB$ then $G$ is called box $κ$-resolvable. We prove two theorems. If a topological group $G$ contains an injective convergent sequence then $G$ is box $ω$-resolvable. Every infinite totally bounded topological group $G$ is partially box $n$-resolvable for each natural number $n$, and $G$ is box $κ$-resolvable for each infinite cardinal $κ, κ<|G|$.
Maximal matchings in polyspiro and benzenoid chains
Published
• View Publication
• BIB
A matching $M$ of a graph $G$ is maximal if it is not a proper subset of any other matching in $G$. Maximal matchings are much less known and researched than their maximum and perfect counterparts. In particular, almost nothing is known about their enumerative properties. In this paper we present the recurrences and generating functions for the sequences enumerating maximal matchings in two classes of chemically interesting linear polymers: polyspiro chains and benzenoid chains. We also analyze the asymptotic behavior of those sequences and determine the extremal cases.
On the Number of Many-to-Many Alignments of Multiple Sequences
Published in Journal of Automata, Languages and Combinatorics 20 (2015) 1, 53-65
• Search Publication
We count the number of alignments of $N \ge 1$ sequences when match-up types are from a specified set $S\subseteq \mathbb{N}^N$. Equivalently, we count the number of nonnegative integer matrices whose rows sum to a given fixed vector and each of whose columns lie in $S$. We provide a new asymptotic formula for the case $S=\{(s_1,\ldots,s_N) \:|\: 1\le s_i\le 2\}$.
Cayley graphs and automatic sequences
Published
• View Publication
• BIB
We study those automatic sequences which are produced by an automaton whose underlying graph is the Cayley graph of a finite group. For $2$-automatic sequences, we find a characterization in terms of what we call homogeneity, and among homogeneous sequences, we single out those enjoying what we call self-similarity. It turns out that self-similar $2$-automatic sequences (viewed up to a permutation of their alphabet) are in bijection with many interesting objects, for example dessins d'enfants (covers of the Riemann sphere with three points removed).
For any $p$ we show that, in the case of an automatic sequence produced "by a Cayley graph", the group and indeed the automaton can be recovered canonically from the sequence.
Further, we show that a rational fraction may be associated to any automatic sequence. To compute this fraction explicitly, knowledge of a certain graph is required. We prove that for the sequences studied in the first part, the graph is simply the Cayley graph that we start from, and so calculations are possible.
We give applications to the study of the frequencies of letters.
Canonical Representatives of Morphic Permutations
Published in WORDS 2015, 9304, pp.59-72, 2015, Lecture Notes in Computer Science
• View Publication
• BIB
An infinite permutation can be defined as a linear ordering of the set of natural numbers. In particular, an infinite permutation can be constructed with an aperiodic infinite word over $\{0,\ldots,q-1\}$ as the lexicographic order of the shifts of the word. In this paper, we discuss the question if an infinite permutation defined this way admits a canonical representative, that is, can be defined by a sequence of numbers from [0, 1], such that the frequency of its elements in any interval is equal to the length of that interval. We show that a canonical representative exists if and only if the word is uniquely ergodic, and that is why we use the term ergodic permutations. We also discuss ways to construct the canonical representative of a permutation defined by a morphic word and generalize the construction of Makarov, 2009, for the Thue-Morse permutation to a wider class of infinite words.
Lower bound of the asymptotic complexity of self-similar fractal graphs
We study the asymptotic complexity constant of the sequence of approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal $K$. We show how full symmetry implies existence of the asymptotic complexity constant and obtain a sharp lower bound thereby answering two conjectures by Anema.
Cluster Analysis of Local Convergent Sequences of Structures
The cluster analysis of very large objects is an important problem, which spans several theoretical as well as applied branches of mathematics and computer science. Here we suggest a novel approach: under assumption of local convergence of a sequence of finite structures we derive an asymptotic clustering. This is achieved by a blend of analytic and geometric techniques, and particularly by a new interpretation of the authors' representation theorem for limits of local convergent sequences, which serves as a guidance for the whole process. Our study may be seen as an effort to describe connectivity structure at the limit (without having a defined explicit limit structure) and to pull this connectivity structure back to the finite structures in the sequence in a continuous way.
Multiple binomial sums
Published in Journal of symbolic computation (2017) 80.2, pp. 351-386
• View Publication
• BIB
Multiple binomial sums form a large class of multi-indexed sequences, closed under partial summation, which contains most of the sequences obtained by multiple summation of products of binomial coefficients and also all the sequences with algebraic generating function. We study the representation of the generating functions of binomial sums by integrals of rational functions. The outcome is twofold. Firstly, we show that a univariate sequence is a multiple binomial sum if and only if its generating function is the diagonal of a rational function. Secondly, we propose algorithms that decide the equality of multiple binomial sums and that compute recurrence relations for them. In conjunction with geometric simplifications of the integral representations, this approach behaves well in practice. The process avoids the computation of certificates and the problem of the appearance of spurious singularities that afflicts discrete creative telescoping, both in theory and in practice.
Packing densities of layered permutations and the minimum number of monotone sequences in layered permutations
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (June 23, 2016) dmtcs:1313
• View Publication
• BIB
In this paper, we present two new results of layered permutation densities. The first one generalizes theorems from Hästö (2003) and Warren (2004) to compute the permutation packing of permutations whose layer sequence is~$(1^a,\ell_1,\ell_2,\ldots,\ell_k)$ with~$2^a-a-1\geq k$ (and similar permutations). As a second result, we prove that the minimum density of monotone sequences of length~$k+1$ in an arbitrarily large layered permutation is asymptotically~$1/k^k$. This value is compatible with a conjecture from Myers (2003) for the problem without the layered restriction (the same problem where the monotone sequences have different lengths is also studied).