sequence
6966 papers tagged with this keyword
Online Ramsey numbers of ordered graphs
Published
• View Publication
• BIB
The online ordered Ramsey game is played between two players, Builder and Painter, on an infinite sequence of vertices with ordered graphs $(G_1,G_2)$, which have linear orderings on their vertices. On each turn, Builder first selects an edge before Painter colors it red or blue. Builder's objective is to construct either an ordered red copy of $G_1$ or an ordered blue copy of $G_2$, while Painter's objective is to delay this for as many turns as possible. The online ordered Ramsey number $r_o(G_1,G_2)$ is the number of turns Builder takes to win in the case that both players play optimally.
Few lower bounds are known for this quantity. In this paper, we introduce a succinct proof of a new lower bound based on the maximum left- and right-degrees in the ordered graphs. We also upper bound $r_o(G_1,G_2)$ in two cases: when $G_1$ is a cycle and $G_2$ a complete bipartite graph, and when $G_1$ is a tree and $G_2$ a clique.
Limits and Periodicity of Metamour $2$-Distance Graphs
Given a finite simple graph $G$, let $\operatorname{M}(G)$ denote its 2-distance graph, in which two vertices are adjacent if and only if they have distance 2 in $G$. In this paper, we consider the periodic behavior of the sequence $G, \operatorname{M}(G), \operatorname{M}^2(G), \operatorname{M}^3(G), \ldots$ obtained by iterating the 2-distance operation. In particular, we classify the connected graphs with period 3, and we partially characterize those with period 2. We then study two families of graphs whose 2-distance sequence is eventually periodic: namely, generalized Petersen graphs and complete $m$-ary trees. For each family, we show that the eventual period is 2, and we determine the pre-period and the two limit graphs of the sequence.
Orientable and negative orientable sequences
Published
• View Publication
• BIB
Analogously to de Bruijn sequences, orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., a range of methods of construction were described for orientable sequences over arbitrary finite alphabets; some of these methods involve using negative orientable sequences as a building block. In this paper we describe three techniques for generating such negative orientable sequences, as well as upper bounds on their period. We then go on to show how these negative orientable sequences can be used to generate orientable sequences with period close to the maximum possible for every non-binary alphabet size and for every tuple length. In doing so we use two closely related approaches described by Alhakim et al.
Some inner metric parameters of a digraph: Iterated line digraphs and integer sequences
Published
• View Publication
• BIB
In this paper, we first give a new result characterizing the strongly connected digraphs with a diameter equal to that of their line digraphs. Then, we introduce the concepts of the inner diameter and inner radius of a digraph and study their behaviors in its iterated line digraphs. Furthermore, we provide a method to characterize sequences of integers (corresponding to the inner diameter or the number of vertices of a digraph and its iterated line digraphs) that satisfy some conditions. Among other examples, we apply the method to the cyclic Kautz digraphs, square-free digraphs, and the subdigraphs of De Bruijn digraphs. Finally, we present some tables with new sequences that do not belong to The On-Line Encyclopedia of Integer Sequences.
Self-Reachable Chip Configurations on Trees
In this paper, we explore the notion of a \emph{self-reachable} chip configuration on a simple graph, that is a chip configuration which can be re-obtained from itself after a (nonempty) sequence of vertex firings. In particular, we focus on the case of trees and provide a characterization for such configurations, as well as show that all self-reachable configurations with the same number of chips on a tree are reachable from one another. We conclude with a recursive enumeration formula for the number of self-reachable configurations.
CLM's dependence relation, solitary patterns and $r$-graphs
A connected r-regular graph, where $r \geq 3$, is an r-graph if each odd cut has at least r edges. Every r-graph is matching covered - a connected graph whose each edge participates in some perfect matching. We set out to: (i) characterize solitary edges - those edges that participate in only one perfect matching, and (ii) upper bound the number of such edges.
Two edges are mutually dependent if every perfect matching containing either of them also contains the other. Clearly, this is an equivalence relation and induces a partition of E(G). It is worth noting that if any member of an equivalence class is solitary then so is every member; we refer to such an equivalence class as a solitary class. This immediately brings us to the notion of solitary pattern of a matching covered graph - the sequence of cardinalities of its solitary classes in nonincreasing order.
Clearly, n/2 is an upper bound on the cardinality of any equivalence class, and if equality holds then each largest equivalence class is a solitary class. We provide a characterization of all matching covered graphs that attain this upper bound. However, all such graphs, of order six or more, contain 2-cuts.
On the other hand, using a result of Lucchesi and Murty, we deduce that in a 3-edge-connected r-graph, every solitary class has cardinality one or two. We prove that the distance between any two solitary classes in any 3-edge-connected r-graph is at most three; furthermore, if the order is four or more, we establish that the number of solitary classes is at most three and equality holds if and only if r = 3. Ergo, every 3-edge-connected r-graph, of order four or more, has one of the following ten solitary patterns: (2, 2, 2), (2, 2, 1), (2, 1, 1), (1, 1, 1), (2, 2), (2, 1), (2), (1, 1), (1) or (). We provide complete characterizations of 3-edge-connected r-graphs that have one of the first six solitary patterns.
Characterising rooted and unrooted tree-child networks
Rooted phylogenetic networks are used by biologists to infer and represent complex evolutionary relationships between species that cannot be accurately explained by a phylogenetic tree. Tree-child networks are a particular class of rooted phylogenetic networks that has been extensively investigated in recent years. In this paper, we give a novel characterisation of a tree-child network $\mathcal{R}$ in terms of cherry-picking sequences that are sequences on the leaves of $\mathcal{R}$ and reduce it to a single vertex by repeatedly applying one of two reductions to its leaves. We show that our characterisation extends to unrooted tree-child networks which are mostly unexplored in the literature and, in turn, also offers a new approach to settling the computational complexity of deciding if an unrooted phylogenetic network can be oriented as a rooted tree-child network.
The Briggs inequality for partitions and overpartitions
Published
• View Publication
• BIB
A sequence of $\{a_n\}_{n\ge 0}$ satisfies the Briggs inequality if \begin{align*} a_n^2(a_n^2-a_{n-1}a_{n+1})>a_{n-1}^2(a_{n+1}^2-a_na_{n+2}) \end{align*} holds for any $n\ge 1$. In this paper we show that both the partition function $\{p(n+N_0)\}_{n\geq 0}$ and the overpartition function $\{\overline{p}(n+\overline{N}_0)\}_{n\ge 0}$ satisfy the Briggs inequality for some $N_0$ and $\overline{N}_{0}$. Based on Chern's formula for $η$-quotients, we further prove that the $k$-regular partition function $\{p_k(n+N_{k})\}_{n\geq 0}$ and the $k$-regular overpartition function $\{\overline{p}_k(n+\overline{N}_k)\}_{n\ge 0}$ also satisfy the Briggs inequality for $2\le k\le 9$ and some $N_k,\overline{N}_{k}$.
Harmonious sequences in groups with a unique involution
Published
• View Publication
• BIB
We study several combinatorial properties of finite groups that are related to the notions of sequenceability, R-sequenceability, and harmonious sequences. In particular, we show that in every abelian group $G$ with a unique involution $\imath_G$ there exists a permutation $g_0,\ldots, g_{m}$ of elements of $G \backslash \{\imath_G\}$ such that the consecutive sums $g_0+g_1, g_1+g_2,\ldots, g_{m}+g_0$ also form a permutation of elements of $G\backslash \{\imath_G\}$. We also show that in every abelian group of order at least 4 there exists a sequence containing each non-identity element of $G$ exactly twice such that the consecutive sums also contain each non-identity element of $G$ twice. We apply several results to the existence of transversals in Latin squares.
Hecke growth diagrams, and maximal increasing and decreasing sequences in fillings of stack polyominoes
We establish a bijection between $01$-fillings of stack polyominoes with at most one $1$ per column and labelings of the corners along the top-right border of stack polyominoes. These labellings indicate the lengths of the longest increasing and decreasing chains of the largest rectangular region below and to the left of the corners. Our results provide an alternative proof of Guo and Poznanović's theorem on the lengths of the longest increasing and decreasing chains have a symmetric joint distribution over $01$-fillings of stack polyomino. Moreover, our results offer new perspective to Chen, Guo and Pang's result on the crossing number and the nesting number have a symmetric joint distribution over linked partitions. In particular, our construction generalizes the growth diagram techniques of Rubey for the $01$-fillings of stack polyominoes with at most one $1$ per column and row.
Braid graphs in simply-laced triangle-free Coxeter systems are median
Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph in a natural way. In a recent paper, Awik et al.~proved that when a Coxeter system is simply laced and triangle free (i.e., the corresponding Coxeter graph has no three-cycles), the braid graph for a reduced expression is a partial cube (i.e., isometric to a subgraph of a hypercube). In this paper, we will provide an alternate proof of this fact, as well as determine the minimal dimension hypercube into which a braid graph can be isometrically embedded, which addresses an open question posed by Awik et al. For our main result, we prove that braid graphs in simply-laced triangle-free Coxeter systems are median, which is a strengthening of previous results.
New Results on Periodic Golay Pairs
Published
• View Publication
• BIB
In this paper, we provide algorithmic methods for conducting exhaustive searches for periodic Golay pairs. Our methods enumerate several lengths beyond the currently known state-of-the-art available searches: we conducted exhaustive searches for periodic Golay pairs of all lengths $v \leq 72$ using our methods, while only lengths $v \leq 34$ had previously been exhaustively enumerated. Our methods are applicable to periodic complementary sequences in general. We utilize sequence compression, a method of sequence generation derived in 2013 by Djoković and Kotsireas. We also introduce and implement a new method of "multi-level" compression, where sequences are uncompressed in several steps. This method allowed us to exhaustively search all lengths $v \leq 72$ using less than 10 CPU years. For cases of complementary sequences where uncompression is not possible, we introduce some new methods of sequence generation inspired by the isomorph-free exhaustive generation algorithm of orderly generation. Finally, we pose a conjecture regarding the structure of periodic Golay pairs and prove it holds in many lengths, including all lengths $v \lt 100$. We demonstrate the usefulness of our algorithms by providing the first ever examples of periodic Golay pairs of length $v = 90$. The smallest length for which the existence of periodic Golay pairs is undecided is now $106$.
Diameter and connectivity of finite simple graphs II
Let $G$ be a finite simple non-complete connected graph on $[n] = \{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. The final goal of this paper is to determine all sequences of integers $(n,f,d,k)$ with $n\geq 8$, $f\geq 0$, $d\geq 2$ and $k\geq 1$ for which there exists a finite simple non-complete connected graph on $[n]$ with $f=f(G)$, $d=\mathrm{diam}(G)$ and $k=κ(G)$.
On the pseudorandomness of Parry--Bertrand automatic sequences
The correlation measure is a testimony of the pseudorandomness of a sequence $\infw{s}$ and provides information about the independence of some parts of $\infw{s}$ and their shifts. Combined with the well-distribution measure, a sequence possesses good pseudorandomness properties if both measures are relatively small. In combinatorics on words, the famous $b$-automatic sequences are quite far from being pseudorandom, as they have small factor complexity on the one hand and large well-distribution and correlation measures on the other. This paper investigates the pseudorandomness of a specific family of morphic sequences, including classical $b$-automatic sequences. In particular, we show that such sequences have large even-order correlation measures; hence, they are not pseudorandom. We also show that even- and odd-order correlation measures behave differently when considering some simple morphic sequences.
Bigraph percolation problems
A bigraph $G$ is weakly norming if the $e(G)$th root of the density of $G$ in $\lvert W\rvert$ is a norm in the space of bounded measurable functions $W\colonΩ\timesΛ\to\mathbb{R}$. The only known technique, due to Conlon--Lee, to show that a bigraph $G$ is weakly norming is to present a cut-percolation sequence of $G$.
In this paper, we identify a key obstacle for cut-percolation, which we call fold-stability and we show that existence of a cut-percolating of a bigraph $G$ is equivalent to non-existence of non-monochromatic fold-stable colorings of the edges of $G$.
Period patterns, entry points, and orders in the Lucas sequences: theory and applications
Published
• View Publication
• BIB
The goal of this paper is twofold: (1) extend theory on certain statistics in the Fibonacci and Lucas sequences modulo $m$ to the Lucas sequences $U := \left(U_n(p,q)\right)_{n \geq 0}$ and $V := \left(V_n(p,q)\right)_{n \geq 0}$, and (2) apply some of this theory to a novel graphical approach of $U$ and $V$ modulo $m$. Upon placing the cycle of repeating sequence terms in a circle, several fascinating patterns which would otherwise be overlooked emerge. We generalize a wealth of known Fibonacci and Lucas statistical identities to the $U$ and $V$ settings using primary sources such as Lucas in 1878, Carmichael in 1913, Wall in 1960, and Vinson in 1963, amongst others. We use many of these generalized identities to form the theoretical basis for our graphical results. Based on the order of $m$, defined as $ω(m) := \frac{π(m)}{e(m)}$, where $π(m)$ is the period of $m$ and $e(m)$ is the entry point of $m$, we describe behaviors shared by $U$ and $V$ with parameters $q = \pm 1$. In particular, we exhibit some tantalizing examples in the following three sequence pairs: Fibonacci and Lucas, Pell and associated Pell, and balancing and Lucas-balancing.
Enumeration of dihypergraphs with specified degrees and edge types
A dihypergraph consists of a set of vertices and a set of directed hyperedges, where each directed hyperedge is partitioned into a head and a tail. Directed hypergraphs are useful in many applications, including the study of chemical reactions or relational databases. We provide asymptotic formulae for the number of directed hypergraphs with given in-degree sequence, out-degree sequence, and the head and tail sizes of all directed hyperedges specified. Our formulae hold when none of the following parameters are too large: the maximum out-degree, the maximum in-degree, the maximum head size and the maximum tail size. If one of the four parameter sequences is near-regular, for example if each directed hyperedge has a tail of roughly the same size, then our formula is obtained using a simple argument based on existing asymptotic enumeration results for sparse bipartite graphs with given degree sequences. We also establish the same formula without the regularity assumption but with a larger relative error term, using a martingale argument.
Dowker duality, profunctors, and spectral sequences
The intent of this paper is to explore Dowker duality from a combinatorial, topological, and categorical perspective. The paper presents three short, new proofs of Dowker duality using various poset fiber lemmas. We introduce modifications of joins and products of simplicial complexes called relational join and relational product complexes. These relational complexes can be constructed whenever there is a relation between simplicial complexes, which includes the context of Dowker duality and covers of simplicial complexes. In this more general setting, we show that the homologies of the simplicial complexes and the relational complexes fit together in a long exact sequence. Similar results are then established for profunctors, which are generalizations of relations to categories. The cograph and graph of profunctors play the role of the relational join and relational product complexes. For a profunctor that arise from adjoint functors between $C$ and $D$, we show that $C$, $D$, the cograph, and the graph all have homotopy equivalent classifying spaces. Lastly, we show that given any profunctor from $D$ to $C$, the homologies of $C$, $D$, and the cograph form a long exact sequence.
Explicit solution of system of two higher-order recurrences
We give a method to determine an explicit solution to a system of two inhomogeneous linear recursive sequences of higher order. Our approach can be used efficiently in solving certain combinatorial problems. We finish the paper by considering a tiling problem with black and white dominoes, and we use the method as a demonstration to find the solution.
Preservation of inequalities under Hadamard products
Wagner (1992) proved that the Hadamard product of two Pólya frequency sequences that are interpolated by polynomials is again a Pólya frequency sequence. We study whether related combinatorial properties are preserved under Hadamard products. In particular, we show that ultra log-concavity, $γ$-positivity, and interlacing symmetric decompositions are preserved. Furthermore, we disprove a conjecture by Fischer and Kubitzke (2014) concerning the real-rootedness of Hadamard powers.