sequence
6845 papers tagged with this keyword
Staircase patterns in words: subsequences, subwords, and separation number
Published
• View Publication
• BIB
We revisit staircases for words and prove several exact as well as asymptotic results for longest left-most staircase subsequences and subwords and staircase separation number, the latter being defined as the number of consecutive maximal staircase subwords packed in a word. We study asymptotic properties of the sequence $h_{r,k}(n),$ the number of $n$-array words with $r$ separations over alphabet $[k]$ and show that for any $r\geq 0,$ the growth sequence $\big(h_{r,k}(n)\big)^{1/n}$ converges to a characterized limit, independent of $r.$ In addition, we study the asymptotic behavior of the random variable $\mathcal{S}_k(n),$ the number of staircase separations in a random word in $[k]^n$ and obtain several limit theorems for the distribution of $\mathcal{S}_k(n),$ including a law of large numbers, a central limit theorem, and the exact growth rate of the entropy of $\mathcal{S}_k(n).$ Finally, we obtain similar results, including growth limits, for longest $L$-staircase subwords and subsequences.
A Direct Construction of Z-Complementary Pairs Using Generalized Boolean Functions
Published
• View Publication
• BIB
The zero correlation zone (ZCZ) ratio, i.e., the ratio of the width of the ZCZ and the length of the sequence plays a major role in reducing interference in an asynchronous environment of communication systems. However, to the best of the author's knowledge, the highest ZCZ ratio for even-length binary Z-complementary pairs (EB-ZCPs) which are directly constructed using generalized Boolean functions (GBFs), is $\frac{2}{3}$. In this research, we present a direct construction of EB-ZCPs through GBFs, which can achieve a ZCZ ratio of $\frac{3}{4}$. In general, the constructed EB-ZCPs are of length $2^{m-1}+2$, having a ZCZ width of $2^{m-2}+2^{π(m-3)}+1$ where pi is a permutation over $m-2$ variables.
A new record of graph enumeration enabled by parallel processing
Published in Mathematics (MDPI), 7(12), 1214(2019)
• View Publication
• BIB
Using three supercomputers, we broke a record set in 2011, in the enumeration of non-isomorphic regular graphs by expanding the sequence of A006820 in Online Encyclopedia of Integer Sequences (OEIS), to achieve the number for 4-regular graphs of order 23 as 429,668,180,677,439, while discovering serval optimal regular graphs with minimum average shortest path lengths (ASPL) that can be used as interconnection networks for parallel computers. The number of 4-regular graphs and the optimal graphs, extremely time-consuming to calculate, result from a method we adapt from GENREG, a classical regular graph generator, to fit for supercomputers' strengths of using thousands of processor cores.
Palindromic length complexity and a generalization of Thue-Morse sequences
The notion of palindromic length of a finite word, as well as an infinite word, was first introduced by Frid, Puzynina and Zamboni\cite{FRID2013737}. They conjectured that if the palindromic length of an infinite word is bounded, then this sequence is eventually periodic. In this article, we give a formal expression of the palindromic length of Thue-Morse sequence and find all sequences which have the same palindromic length as Thue-Morse's.
Bounding the number of cycles in a graph in terms of its degree sequence
We give an upper bound on the number of cycles in a simple graph in terms of its degree sequence, and apply this bound to resolve several conjectures of Király and Arman and Tsaturian and to improve upper bounds on the maximum number of cycles in a planar graph.
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT
Published
• View Publication
• BIB
We use techniques from the fields of computer algebra and satisfiability checking to develop a new algorithm to search for complex Golay pairs. We implement this algorithm and use it to perform a complete search for complex Golay pairs of lengths up to 28. In doing so, we find that complex Golay pairs exist in the lengths 24 and 26 but do not exist in the lengths 23, 25, 27, and 28. This independently verifies work done by F. Fiedler in 2013 and confirms the 2002 conjecture of Craigen, Holzmann, and Kharaghani that complex Golay pairs of length 23 don't exist. Our algorithm is based on the recently proposed SAT+CAS paradigm of combining SAT solvers with computer algebra systems to efficiently search large spaces specified by both algebraic and logical constraints. The algorithm has two stages: first, a fine-tuned computer program uses functionality from computer algebra systems and numerical libraries to construct a list containing every sequence which could appear as the first sequence in a complex Golay pair up to equivalence. Second, a programmatic SAT solver constructs every sequence (if any) that pair off with the sequences constructed in the first stage to form a complex Golay pair. This extends work originally presented at the International Symposium on Symbolic and Algebraic Computation (ISSAC) in 2018; we discuss and implement several improvements to our algorithm that enabled us to improve the efficiency of the search and increase the maximum length we search from length 25 to 28.
Quadratic Cyclic Sequences
Published
• View Publication
• BIB
We explore relations between cyclic sequences determined by a quadratic difference relation, cyclotomic polynomials, Eulerian digraphs and walks in the plane. These walks correspond to closed paths for which at each step one must turn either left or right through a fixed angle. In the case when this angle is $2 π/n$, then non-symmetric phenomena occurs for $n\geq 12$. Examples arise from algebraic numbers of modulus one which are not $n$'th roots of unity.
Generalized Rascal Triangles
The Rascal Triangle was introduced by three middle school students in 2010, and in this paper we describe number triangles that are generalizations of the Rascal Triangle and show that these Generalized Rascal Triangles are characterized by arithmetic sequences on all diagonals as well as a Rascal-like multiplication and addition rules.
Modified Erdős-Ginzburg-Ziv Constants for $(\mathbb{Z}/n\mathbb{Z})^2$
For an abelian group $G$ and an integer $t > 0$, the modified Erdős-Ginzburg-Ziv constant $s'_t(G)$ is the smallest integer $\ell$ such that any zero-sum sequence of length at least $\ell$ with elements in $G$ contains a zero-sum subsequence (not necessarily consecutive) of length $t$. We compute bounds for $s'_{t}(G)$ for $G = \left(\mathbb{Z}/n\mathbb{Z}\right)^2$ and $G = \left(\mathbb{Z}/n_1\mathbb{Z} \times \mathbb{Z}/n_2\mathbb{Z}\right)$. We also compute bounds for $G = \left(\mathbb{Z}/p\mathbb{Z}\right)^d$ where the subsequence can be any length in $\{p, \dots, (d-1)p\}$. Lastly, we investigate the Erdős-Ginzburg-Ziv constant for $G = \left(\mathbb{Z}/n\mathbb{Z}\right)^2$ and subsequences of length $tn$.
Some relatives of the Catalan sequence
Published in Advances in Applied Mathematics, Vol. 121 (2020)
• View Publication
• BIB
We study a family of sequences $c_n(a_2,\ldots,a_r)$, where $r\ge2$ and $a_2,\ldots,a_r$ are real parameters. We find a sufficient condition for positive definiteness of the sequence $c_n(a_2,\ldots,a_r)$ and check several examples from OEIS. We also study relations of these sequences with the free and monotonic convolution.
Sequencing Partial Steiner Triple Systems
Published
• View Publication
• BIB
A partial Steiner triple system of order n is sequenceable if there is a sequence of length n of its distinct points such that no proper segment of the sequence is a union of point-disjoint blocks. We prove that if a partial Steiner triple system has at most three point-disjoint blocks, then it is sequenceable.
Complexity of Modification Problems for Reciprocal Best Match Graphs
Published
• View Publication
• BIB
Reciprocal best match graphs (RBMGs) are vertex colored graphs whose vertices represent genes and the colors the species where the genes reside. Edges identify pairs of genes that are most closely related with respect to an underlying evolutionary tree. In practical applications this tree is unknown and the edges of the RBMGs are inferred by quantifying sequence similarity. Due to noise in the data, these empirically determined graphs in general violate the condition of being a ``biologically feasible'' RBMG. Therefore, it is of practical interest in computational biology to correct the initial estimate. Here we consider deletion (remove at most $k$ edges) and editing (add or delete at most $k$ edges) problems. We show that the decision version of the deletion and editing problem to obtain RBMGs from vertex colored graphs is NP-hard. Using known results for the so-called bicluster editing, we show that the RBMG editing problem for $2$-colored graphs is fixed-parameter tractable.
A restricted class of RBMGs appears in the context of orthology detection. These are cographs with a specific type of vertex coloring known as hierarchical coloring. We show that the decision problem of modifying a vertex-colored graph (either by edge-deletion or editing) into an RBMG with cograph structure or, equivalently, to an hierarchically colored cograph is NP-complete.
Primality of multiply connected polyominoes
Published in Illinois J. Math. 64, no. 3 (2020), 291-304
• View Publication
• BIB
It is known that the polyomino ideal of simple polyominoes is prime. In this paper, we focus on multiply connected polyominoes, namely polyominoes with holes, and observe that the non-existence of a certain sequence of inner intervals of the polyomino, called zig-zag walk, gives a necessary condition for the primality of the polyomino ideal. Moreover, by computational approach, we prove that for all polyominoes with rank less than or equal to 14 the above condition is also sufficient. Lastly, we present an infinite class of prime polyomino ideals.
A Practical Fixed-Parameter Algorithm for Constructing Tree-Child Networks from Multiple Binary Trees
Published
• View Publication
• BIB
We present the first fixed-parameter algorithm for constructing a tree-child phylogenetic network that displays an arbitrary number of binary input trees and has the minimum number of reticulations among all such networks. The algorithm uses the recently introduced framework of cherry picking sequences and runs in $O((8k)^k \mathrm{poly}(n, t))$ time, where $n$ is the number of leaves of every tree, $t$ is the number of trees, and $k$ is the reticulation number of the constructed network. Moreover, we provide an efficient parallel implementation of the algorithm and show that it can deal with up to $100$ input trees on a standard desktop computer, thereby providing a major improvement over previous phylogenetic network construction methods.
The simultaneous conjugacy problem in the symmetric group
Published
• View Publication
• BIB
The transitive simultaneous conjugacy problem asks whether there exists a permutation $τ\in S_n$ such that $b_j = τ^{-1} a_j τ$ holds for all $j = 1,2, \ldots, d$, where $a_1, a_2, \ldots, a_d$ and $b_1, b_2, \ldots, b_d$ are given sequences of $d$ permutations in $S_n$, each of which generates a transitive subgroup of $S_n$. As from mid 70' it has been known that the problem can be solved in $O(dn^2)$ time. An algorithm with running time $O(dn \log(dn))$, proposed in late 80', does not work correctly on all input data. In this paper we solve the transitive simultaneous conjugacy problem in $O(n^2 \log d / \log n + dn\log n)$ time and $O(n^{3/ 2} + dn)$ space. Experimental evaluation on random instances shows that the expected running time of our algorithm is considerably better, perhaps even nearly linear in $n$ at given $d$.
On the m-eternal Domination Number of Cactus Graphs
Given a graph $G$, guards are placed on vertices of $G$. Then vertices are subject to an infinite sequence of attacks so that each attack must be defended by a guard moving from a neighboring vertex. The m-eternal domination number is the minimum number of guards such that the graph can be defended indefinitely. In this paper we study the m-eternal domination number of cactus graphs, that is, connected graphs where each edge lies in at most two cycles, and we consider three variants of the m-eternal domination number: first variant allows multiple guards to occupy a single vertex, second variant does not allow it, and in the third variant additional "eviction" attacks must be defended. We provide a new upper bound for the m-eternal domination number of cactus graphs, and for a subclass of cactus graphs called Christmas cactus graphs, where each vertex lies in at most two cycles, we prove that these three numbers are equal. Moreover, we present a linear-time algorithm for computing them.
Online Firefighting on Grids
The Firefighter Problem (FP) is a graph problem originally introduced in 1995 to model the spread of a fire in a graph, which has attracted considerable attention in the literature. The goal is to devise a strategy to employ a given sequence of firefighters on strategic points in the graph in order to contain efficiently the fire (which spreads from each unprotected vertex to all of it neighbours on successive time steps).
Recently, an online version of FP---where the number of firefighters available at each turn are revealed in real-time--- has been introduced in the literature and studied on trees. In this paper, we consider the online containment of fire on square grids. In particular, we provide a set of sufficient conditions that allow to solve the online version of the firefighting problem on infinite square grids, illustrating the corresponding fire containment strategies.
Automatic sequences defined by Theta functions and some infinite products
Let $p(x) \in C(x)$ be a rational function satisfying the condition $p(0)=1$ and $q$ an integer larger than $1$, in this article we will consider the power expansion of the infinite product $$f(x)=\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=0}^{\infty}c_ix^i,$$ and study when the sequence $(c_i)_{i \in \mathbf{N}}$ is $q$-automatic. The main result is that for given integers $q \geq 2$ and $d \geq 0$, there exist finitely many polynomials of degree $d$ defined over the field of rational numbers $\mathbf{Q}$, such that $\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=1}^{\infty}c_ix^i$ is a $q$-automatic power series.
Algebraic Relations Between Partition Functions and the $j$-Function
Published in Res. number theory 6, 2 (2020)
• View Publication
• BIB
We obtain identities and relationships between the modular $j$-function, the generating functions for the classical partition function and the Andrews $spt$-function, and two functions related to unimodal sequences and a new partition statistic we call the "signed triangular weight" of a partition. These results follow from the closed formula we obtain for the Hecke action on a distinguished harmonic Maass form $\mathscr{M}(τ)$ defined by Bringmann in her work on the Andrews $spt$-function. This formula involves a sequence of polynomials in $j(τ)$, through which we ultimately arrive at expressions for the coefficients of the $j$-function purely in terms of these combinatorial quantities.
Gončarov Polynomials in Partition Lattices and Exponential Families
Published
• View Publication
• BIB
Classical Gončarov polynomials arose in numerical analysis as a basis for the solutions of the Gončarov interpolation problem. These polynomials provide a natural algebraic tool in the enumerative theory of parking functions. By replacing the differentiation operator with a delta operator and using the theory of finite operator calculus, Lorentz, Tringali and Yan introduced the sequence of generalized Gončarov polynomials associated to a pair $(Δ, Z)$ of a delta operator $Δ$ and an interpolation grid $Z$. Generalized Gončarov polynomials share many nice algebraic properties and have a connection with the theories of binomial enumeration and order statistics. In this paper we give a complete combinatorial interpretation for any sequence of generalized Gončarov polynomials. First, we show that they can be realized as weight enumerators in partition lattices. Then, we give a more concrete realization in exponential families and show that these polynomials enumerate various enriched structures of vector parking functions.