sequence
6845 papers tagged with this keyword
Hajós-Type Constructions and Neighborhood Complexes
Any graph $G$ with chromatic number $k$ can be constructed by iteratively performing certain graph operations on a sequence of graphs starting with $K_k$, resulting in a variety of Hajós-type constructions for $G$. Finding such constructions for a given graph or family of graphs is a challenging task. We show that the basic steps in these Hajós-type constructions frequently result in the presence of an $S^1$-wedge summand in the neighborhood complex of the resulting graph. Our results imply that for a graph $G$ with a highly-connected neighborhood complex, the end behavior of the construction sequence is quite restricted, and we investigate these restrictions in detail. We also introduce two graph construction algorithms based on different Hajós-type constructions and conduct computational experiments using these.
Asymptotic normality in random graphs with given vertex degrees
We consider random graphs with a given degree sequence and show, under weak technical conditions, asymptotic normality of the number of components isomorphic to a given tree, first for the random multigraph given by the configuration model and then, by a conditioning argument, for the simple uniform random graph with the given degree sequence. Such conditioning is standard for convergence in probability, but much less straightforward for convergence in distribution as here. The proof uses the method of moments, and is based on a new estimate of mixed cumulants in a case of weakly dependent variables. The result on small components is applied to give a new proof of a recent result by Barbour and Röllin on asymptotic normality of the size of the giant component in the random multigraph; moreover, we extend this to the random simple graph.
On Cherry-picking and Network Containment
Phylogenetic networks are used to represent evolutionary scenarios in biology and linguistics. To find the most probable scenario, it may be necessary to compare candidate networks, to distinguish different networks, and to see when one network is contained in another. In this paper, we introduce cherry-picking networks, a class of networks that can be reduced by a sequence of two graph operations. We show that some networks are uniquely determined by the sequences that reduce them---we call these the reconstructible cherry-picking networks, and further show that given two cherry-picking networks within the same reconstructible class, one is contained in the other if a sequence for the latter network reduces the former network. By restricting our scope to tree-child networks, we show that the converse of the above statement holds, thereby showing that {\sc Network Containment}, the problem of checking whether a network is contained in another, can be solved in linear time for tree-child networks. We implement this algorithm in Python and show that the linear-time theoretical bound on the input size is achievable in practice. Lastly, we provide a linear time algorithm for deciding whether two tree-child networks are isomorphic.
Exposed circuits, linear quotients, and chordal clutters
Published in J. Combin. Theory Ser. A, 177 (2021)
• Search Publication
A graph $G$ is said to be chordal if it has no induced cycles of length four or more. In a recent preprint Culbertson, Guralnik, and Stiller give a new characterization of chordal graphs in terms of sequences of what they call `edge-erasures'. We show that these moves are in fact equivalent to a linear quotient ordering on $I_{\overline{G}}$, the edge ideal of the complement graph. Known results imply that $I_{\overline G}$ has linear quotients if and only if $G$ is chordal, and hence this recovers an algebraic proof of their characterization. We investigate higher-dimensional analogues of this result, and show that in fact linear quotients for more general circuit ideals of $d$-clutters can be characterized in terms of removing exposed circuits in the complement clutter. Restricting to properly exposed circuits can be characterized by a homological condition. This leads to a notion of higher dimensional chordal clutters which borrows from commutative algebra and simple homotopy theory. The interpretation of linear quotients in terms of shellability of simplicial complexes also has applications to a conjecture of Simon regarding the extendable shellability of $k$-skeleta of simplices. Other connections to combinatorial commutative algebra, chordal complexes, and hierarchical clustering algorithms are explored.
Distributions of Statistics over Pattern-Avoiding Permutations
Published in Journal of Integer Sequences 22 (2019) 19.2.6
• Search Publication
We consider the distribution of ascents, descents, peaks, valleys, double ascents, and double descents over permutations avoiding a set of patterns. Many of these statistics have already been studied over sets of permutations avoiding a single pattern of length 3. However, the distribution of peaks over 321-avoiding permutations is new and we relate it statistics on Dyck paths. We also obtain new interpretations of a number of well-known combinatorial sequences by studying these statistics over permutations avoiding two patterns of length 3.
Qualitative graph limit theory. Cantor Dynamical Systems and Constant-Time Distributed Algorithms
The goal of the paper is to lay the foundation for the qualitative analogue of the classical, quantitative sparse graph limit theory. In the first part of the paper we introduce the qualitative analogues of the Benjamini-Schramm and local-global graph limit theories for sparse graphs. The natural limit objects are continuous actions of finitely generated groups on totally disconnected compact metric spaces. We prove that the space of weak equivalent classes of free Cantor actions is compact and contains a smallest element, as in the measurable case. We will introduce and study various notions of almost finiteness, the qualitative analogue of hyperfiniteness, for classes of bounded degree graphs. We prove the almost finiteness of a new class of étale groupoids associated to Cantor actions and construct an example of a nonamenable, almost finite totally disconnected étale groupoid, answering a query of Suzuki. Motivated by the notions and results on qualitative graph limits, in the second part of our paper we give a precise definition of constant-time distributed algorithms on sparse graphs. We construct such constant-time algorithms for various approximation problems for hyperfinite and almost finite graph classes. We also prove the Hausdorff convergence of the spectra of convergent graph sequences in the strongly almost finite category.
Properties of a Two Dimensional Model of RNA Folding
Ribonucleic Acid (RNA) can fold into shapes that perform functions in the cell. These foldings are governed by Watson-Crick base pairing, namely Adenine to Uracil and Cytosine to Guanine (A-U and G-C). The properties of the H-P (hydrophobic-hydrophilic) model of protein folding has been well studied in the two dimensional orthogonal case, and we attempt to achieve similar results. We prove that (1) there is an infinite family of even-length sequences with unique optimal foldings, (2) there are two ideal foldings for an even length sequence and given a sequence is is quickly verifiable if both, one, or neither are optimal, (3) finding an optimal foldings under this model is NP-hard, and (4) we give a constant-factor approximation algorithm for optimally folding RNA sequences.
A Note on a Picture-Hanging Puzzle
In the picture-hanging puzzle we are to hang a picture so that the string loops around $n$ nails and the removal of any nail results in a fall of the picture. We show that the length of a sequence representing an element in the free group with $n$ generators that corresponds to a solution of the picture-hanging puzzle must be at least $n2^{\sqrt{\log_2 n}}$.
In other words, this is a lower bound on the length of a sequence representing a non-trivial element in the free group with $n$ generators such that if we replace any of the generators by the identity the sequence becomes trivial.
Exponents Associated with $Y$-Systems and their Relationship with $q$-Series
Published in SIGMA 16 (2020), 028, 42 pages
• View Publication
• BIB
Let $X_r$ be a finite type Dynkin diagram, and $\ell$ be a positive integer greater than or equal to two. The $Y$-system of type $X_r$ with level $\ell$ is a system of algebraic relations, whose solutions have been proved to have periodicity. For any pair $(X_r, \ell)$, we define an integer sequence called exponents using formulation of the $Y$-system by cluster algebras. We give a conjectural formula expressing the exponents by the root system of type $X_r$, and prove this conjecture for $(A_1,\ell)$ and $(A_r, 2)$ cases. We point out that a specialization of this conjecture gives a relationship between the exponents and the asymptotic dimension of an integrable highest weight module of an affine Lie algebra. We also give a point of view from $q$-series identities for this relationship.
In Praise of Sequence (Co-)Algebra and its implementation in Haskell
What is Sequence Algebra? This is a question that any teacher or student of mathematics or computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics and Computation. They are foundational, a step up from number arithmetic. Sequence operations are easy to implement from scratch (in Haskell) and afford a wide variety of testing and experimentation. When bits and pieces of sequence algebra are pulled together from the literature, there emerges a claim for status as a substantial pre-analysis topic. Here we set the stage by bringing together a variety of sequence algebra concepts for the first time in one paper. This provides a novel economical overview, intended to invite a broad mathematical audience to cast an eye over the subject. A complete, yet succinct, basic implementation of sequence operations is presented, ready to play with. The implementation also serves as a benchmark for introducing Haskell by mathematical example.
Krawtchouk polynomials and quadratic semi-regular sequences
Published in ISSAC 2019, Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2019, 243-250
• View Publication
• BIB
We derive lower und upper bounds for the degree of regularity of an overdetermined, zero-dimensional and homogeneous quadratic semi-regular system of polynomial equations. The analysis is based on the interpretation of the associated Hilbert series as the truncation of the generating function of values of a certain family of orthogonal polynomials, the Krawtchouk polynomials.
2413-balloon permutations and the growth of the Möbius function
We show that the growth of the principal Möbius function on the permutation poset is exponential. This improves on previous work, which has shown that the growth is at least polynomial. We define a method of constructing a permutation from a smaller permutation which we call "ballooning". We show that if $β$ is a 2413-balloon, and $π$ is the 2413-balloon of $β$, then $μ[1, π] = 2 μ[1, β]$. This allows us to construct a sequence of permutations $π_1, π_2, π_3\ldots$ with lengths $n, n+4, n+8, \ldots$ such that $μ[1, π_{i+1}] = 2 μ[1, π_{i}]$, and this gives us exponential growth. Further, our construction method gives permutations that lie within a hereditary class with finitely many simple permutations. We also find an expression for the value of $μ[1, π]$, where $π$ is a 2413-balloon, with no restriction on the permutation being ballooned.
Optimal cube factors of Fibonacci and matchable Lucas cubes
The optimal cube factor of a graph, a special kind of component factor, is first introduced. Furthermore, the optimal cube factors of Fibonacci and matchable Lucas cubes are studied; and some results on the Padovan sequence and binomial coefficients are obtained.
Complexity of circulant graphs with non-fixed jumps, its arithmetic properties and asymptotics
In the present paper, we investigate a family of circulant graphs with non-fixed jumps $$G_n=C_{βn}(s_1, \ldots,s_k,α_1n,\ldots,α_\ell n),\, 1\le s_1<\ldots<s_k\le[\frac{βn}{2}],\, 1\le α_1< \ldots<α_\ell\le[\fracβ{2}].$$ Here $n$ is an arbitrary large natural number and integers $s_1, \ldots,s_k,α_1, \ldots,α_\ell$ are supposed to be fixed.
First, we present an explicit formula for the number of spanning trees in the graph $G_n.$ This formula is a product of $βs_k-1$ factors, each given by the $n$-th Chebyshev polynomial of the first kind evaluated at the roots of some prescribed polynomial of degree $s_k.$ Next, we provide some arithmetic properties of the complexity function. We show that the number of spanning trees in $G_n$ can be represented in the form $τ(n)=p \,n \,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending of parity of $β$ and $n.$ Finally, we find an asymptotic formula for $τ(n)$ through the Mahler measure of the Laurent polynomials differing by a constant from $2k-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$
Unimodal Sequence Generating Functions Arising from Partition Ranks
In this paper we study generating functions resembling the rank of strongly unimodal sequences. We give combinatorial interpretations, identities in terms of mock modular forms, asymptotics, and a parity result. Our functions imitate a relation between the rank of strongly unimodal sequences and the rank of integer partitions.
Stability of depth and Stanley depth of symbolic powers of squarefree monomial ideals
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $I\subset S$ is a squarefree monomial ideal. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $I$ by $I^{(k)}$. Recently, Montaño and Núñez-Betancourt \cite{mn} proved that for every pair of integers $m, k\geq 1$,$${\rm depth}(S/I^{(m)})\leq {\rm depth}(S/I^{(\lceil\frac{m}{k}\rceil)}).$$We provide an alternative proof for this inequality. Moreover, we reprove the known results that the sequence $\{{\rm depth}(S/I^{(k)})\}_{k=1}^{\infty}$ is convergent and$$\min_k{\rm depth}(S/I^{(k)})=\lim_{k\rightarrow \infty}{\rm depth}(S/I^{(k)})=n-\ell_s(I),$$where $\ell_s(I)$ denotes the symbolic analytic spread of $I$. We also determine an upper bound for the index of depth stability of symbolic powers of $I$. Next, we consider the Stanley depth of symbolic powers and prove that the sequences $\{{\rm sdepth}(S/I^{(k)})\}_{k=1}^{\infty}$ and $\{{\rm sdepth}(I^{(k)})\}_{k=1}^{\infty}$ are convergent and the limit of each sequence is equal to its minimum. Furthermore, we determine an upper bound for the indices of sdepth stability of symbolic powers.
Derivated sequences of complementary symmetric Rote sequences
Complementary symmetric Rote sequences are binary sequences which have factor complexity $\mathcal{C}(n) = 2n$ for all integers $n \geq 1$ and whose languages are closed under the exchange of letters. These sequences are intimately linked to Sturmian sequences. Using this connection we investigate the return words and the derivated sequences to the prefixes of any complementary symmetric Rote sequence $\mathbf{v}$ which is associated with a standard Sturmian sequence $\mathbf{u}$. We show that any non-empty prefix of $\mathbf{v}$ has three return words. We prove that any derivated sequence of $\mathbf{v}$ is coding of three interval exchange transformation and we determine the parameters of this transformation. We also prove that $\mathbf{v}$ is primitive substitutive if and only if $\mathbf{u}$ is primitive substitutive. Moreover, if the sequence $\mathbf{u}$ is a fixed point of a primitive morphism, then all derivated sequences of $\mathbf{v}$ are also fixed by primitive morphisms. In that case we provide an algorithm for finding these fixing morphisms.
On the status sequences of trees
The status of a vertex $v$ in a connected graph is the sum of the distances from $v$ to all other vertices. The status sequence of a connected graph is the list of the statuses of all the vertices of the graph. In this paper we investigate the status sequences of trees. Particularly, we show that it is NP-complete to decide whether there exists a tree that has a given sequence of integers as its status sequence. We also present some results about trees whose status sequences are comprised of a few distinct numbers or many distinct numbers. In this direction, we provide a partial answer to a conjecture of Shang and Lin from 2011, showing that any status injective tree is unique among trees. Finally, we investigate how orbit partitions and equitable partitions relate to the status sequence.
Summation Identities Involving Padovan and Perrin Numbers
Unlike in the case of Fibonacci and Lucas numbers, there is a paucity of literature dealing with summation identities involving the Padovan and Perrin numbers. In this paper, we derive various summation identities for these numbers, including binomial and double binomial identities. Our results derive from the rich algebraic properties exhibited by the zeros of the characteristic polynomial of the Padovan/Perrin sequence.
A formula for $F$-Polynomials in terms of $C$-Vectors and Stabilization of $F$-Polynomials
Given a quiver associated to a cluster algebra and a sequence of vertices, iterative mutation leads to $F$-Polynomials which appear in numerous places in the cluster algebraic literature. The coefficients of the monomials in these $F$-Polynomials are difficult to understand and have been an area of study for many years. In this paper, we present a general closed-form formula for these coefficients in terms of elementary manipulations with $C$-matrices. We then demonstrate the effectiveness of the formula by using it to derive simple explicit formulas for $F$-Polynomials of specific classes of quivers and mutation sequences. Work has been done to do these cases in ad-hoc combinatorial ways, but our formula recovers and improves known formulas with a general method.
Secondly, we investigate convergence of $F$-polynomials. In themselves, they do not converge, but by changing bases using the $C$-matrix, they conjecturally do. Since our formula relates $C$-matrix entries to coefficients, we are able to apply it to make considerable progress on the conjecture. Specifically, we show stability for green mutation sequences. Finally, we look at exact formulas for these stable deformed $F$-polynomials in instances where they illustrate properties that the $F$-polynomials themselves do not.