sequence
6845 papers tagged with this keyword
Consecutive Patterns in Inversion Sequences
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018 (November 4, 2019) dmtcs:5350
• View Publication
• BIB
An inversion sequence of length $n$ is an integer sequence $e=e_{1}e_{2}\dots e_{n}$ such that $0\leq e_{i}<i$ for each $i$. Corteel--Martinez--Savage--Weselcouch and Mansour--Shattuck began the study of patterns in inversion sequences, focusing on the enumeration of those that avoid classical patterns of length 3. We initiate an analogous systematic study of consecutive patterns in inversion sequences, namely patterns whose entries are required to occur in adjacent positions. We enumerate inversion sequences that avoid consecutive patterns of length 3, and generalize some results to patterns of arbitrary length. Additionally, we study the notion of Wilf equivalence of consecutive patterns in inversion sequences, as well as generalizations of this notion analogous to those studied for permutation patterns. We classify patterns of length up to 4 according to the corresponding Wilf equivalence relations.
Chromatic Zeros On Hierarchical Lattices and Equidistribution on Parameter Space
Associated to any finite simple graph $Γ$ is the chromatic polynomial $P_Γ(q)$ whose complex zeroes are called the chromatic zeros of $Γ$. A hierarchical lattice is a sequence of finite simple graphs $\{Γ_n\}_{n=0}^\infty$ built recursively using a substitution rule expressed in terms of a generating graph. For each $n$, let $μ_n$ denote the probability measure that assigns a Dirac measure to each chromatic zero of $Γ_n$. Under a mild hypothesis on the generating graph, we prove that the sequence $μ_n$ converges to some measure $μ$ as $n$ tends to infinity. We call $μ$ the limiting measure of chromatic zeros associated to $\{Γ_n\}_{n=0}^\infty$. In the case of the Diamond Hierarchical Lattice we prove that the support of $μ$ has Hausdorff dimension two.
The main techniques used come from holomorphic dynamics and more specifically the theories of activity/bifurcation currents and arithmetic dynamics. We prove a new equidistribution theorem that can be used to relate the chromatic zeros of a hierarchical lattice to the activity current of a particular marked point. We expect that this equidistribution theorem will have several other applications.
Oresme Polynomials and Their Derivatives
We study the problem of generalization of Oresme numbers with a new sequence of numbers called Oresme polynomials. Moreover, by using the matrix methods for Oresme polynomials, we obtain the identities including the general bilinear index-reduction formula of these numbers. Further, Oresme polynomials that are natural extensions of the $k$-Oresme numbers are introduced and some relations for the derivatives of these polynomials in the form of convolution are proved.
Asymptotic sign coherence conjecture
Published in Experimental Mathematics 31 (2022) 497-505
• Search Publication
The sign coherence phenomenon is an important feature of c-vectors in cluster algebras with principal coefficients. In this note, we consider a more general version of c-vectors defined for arbitrary cluster algebras of geometric type and formulate a conjecture describing their asymptotic behavior. This conjecture, which is called the asymptotic sign coherence conjecture, states that for any infinite sequence of matrix mutations that satisfies certain natural conditions, the corresponding c-vectors eventually become sign coherent. We prove this conjecture for rank 2 cluster algebras of infinite type and for a particular sequence of mutations in a cluster algebra associated with the Markov quiver.
Pebble Exchange Group of Graphs
Published in European Journal of Combinatorics (2021)
• View Publication
• BIB
A graph puzzle ${\rm Puz}(G)$ of a graph $G$ is defined as follows. A configuration of ${\rm Puz}(G)$ is a bijection from the set of vertices of a board graph to the set of vertices of a pebble graph, both graphs being isomorphic to some input graph $G$. A move of pebbles is defined as exchanging two pebbles which are adjacent on both a board graph and a pebble graph. For a pair of configurations $f$ and $g$, we say that $f$ is equivalent to $g$ if $f$ can be transformed into $g$ by a finite sequence of moves.
Let ${\rm Aut}(G)$ be the automorphism group of $G$, and let ${\rm 1}_G$ be the unit element of ${\rm Aut}(G)$. The pebble exchange group of $G$, denoted by ${\rm Peb}(G)$, is defined as the set of all automorphisms $f$ of $G$ such that ${\rm 1}_G$ and $f$ are equivalent to each other.
In this paper, some basic properties of ${\rm Peb}(G)$ are studied. Among other results, it is shown that for any connected graph $G$, all automorphisms of $G$ are contained in ${\rm Peb}(G^2)$, where $G^2$ is a square graph of $G$.
On the longest common subsequence of Thue-Morse words
The length $a(n)$ of the longest common subsequence of the $n$'th Thue-Morse word and its bitwise complement is studied. An open problem suggested by Jean Berstel in 2006 is to find a formula for $a(n)$. In this paper we prove new lower bounds on $a(n)$ by explicitly constructing a common subsequence between the Thue-Morse words and their bitwise complement. We obtain the lower bound $a(n) = 2^{n}(1-o(1))$, saying that when $n$ grows large, the fraction of omitted symbols in the longest common subsequence of the $n$'th Thue-Morse word and its bitwise complement goes to $0$. We further generalize to any prefix of the Thue-Morse sequence, where we prove similar lower bounds.
Borel sets of Rado graphs and Ramsey's Theorem
The well-known Galvin-Prikry Theorem states that Borel subsets of the Baire space are Ramsey: Given any Borel subset $\mathcal{X}\subseteq [ω]^ω$, where $[ω]^ω$ is endowed with the metric topology, each infinite subset $X\subseteq ω$ contains an infinite subset $Y\subseteq X$ such that $[Y]^ω$ is either contained in $\mathcal{X}$ or disjoint from $\mathcal{X}$. Kechris, Pestov, and Todorcevic point out in their seminal 2005 paper the dearth of similar results for homogeneous structures. Such results are a necessary step to the larger goal of finding a correspondence between structures with infinite dimensional Ramsey properties and topological dynamics, extending their correspondence between the Ramsey property and extreme amenability. In this article, we prove an analogue of the Galvin-Prikry theorem for the Rado graph. Any such infinite dimensional Ramsey theorem is subject to constraints following from the 2006 work of Laflamme, Sauer, and Vuksanovic. The proof uses techniques developed for the author's work on the Ramsey theory of the Henson graphs as well as some new methods for fusion sequences, used to bypass the lack of a certain amalgamation property enjoyed by the Baire space.
Wall's continued-fraction characterization of Hausdorff moment sequences: A conceptual proof
Published in Proc. Amer. Math. Soc. 148, 2111-2116 (2020)
• View Publication
• BIB
I give an elementary proof of Wall's continued-fraction characterization of Hausdorff moment sequences.
Quantum Q-systems and fermionic sums -- the non-simply laced case
In this paper, we seek to prove the equality of the $q$-graded fermionic sums conjectured by Hatayama et al. in its full generality, by extending the results of Di Francesco and Kedem to the non-simply laced case. To this end, we will derive explicit expressions for the quantum $Q$-system relations, which are quantum cluster mutations that correspond to the classical $Q$-system relations, and write the identity of the $q$-graded fermionic sums as a constant term identity. As an application, we will show that these quantum $Q$-system relations are consistent with the short exact sequence of the Feigin-Loktev fusion product of Kirillov-Reshetikhin modules obtained by Chari and Venkatesh.
On Generalizations of the Newton-Raphson-Simpson Method
We present generalizations of the Newton-Raphson-Simpson method. Specifically, for a positive integer $m$ and the sequence of coefficients of a Taylor series of a function $f(z)$, we define an algorithm we denote by NRS($m$) which is a way to evaluate, in our terminology, a sum of $m$ formal zeros of $f(z)$. We prove that NRS(1) yields the familiar iterations of the Newton-Raphson-Simpson method. We also prove that NRS($m$) is way to evaluate certain $\mathscr{A}$-hypergeometric series defined by Sturmfels. In order to define these algorithms, we make use of combinatorial objects which we call trees with negative vertex degree.
Anti-Ramsey numbers of graphs with some decomposition family sequences
For a given graph $H$, the anti-Ramsey number of $H$ is the maximum number of colors in an edge-coloring of a complete graph which does not contain a rainbow copy of $H$. In this paper, we extend the decomposition family of graphs to the decomposition family sequence of graphs and show that $K_5$ is determined by its decomposition family sequence. Based on this new graph notation, we determine the anti-Ramsey numbers for new families of graphs, including the Petersen graph, vertex-disjoint union of cliques, etc., and characterize the extremal colorings.
Long regularly-spaced and convex sequences in dense sets of integers
Let A be a set of integers dense in a finite interval. We establish upper and lower bounds for the longest regularly-spaced and convex subsets of A and of A-A.
On partially ordered patterns of length 4 and 5 in permutations
Partially ordered patterns (POPs) generalize the notion of classical patterns studied widely in the literature in the context of permutations, words, compositions and partitions. In an occurrence of a POP, the relative order of some of the elements is not important. Thus, any POP of length $k$ is defined by a partially ordered set on $k$ elements, and classical patterns correspond to $k$-element chains. The notion of a POP provides a convenient language to deal with larger sets of permutation patterns.
This paper contributes to a long line of research on classical permutation patterns of length 4 and 5, and beyond, by conducting a systematic search of connections between sequences in the Online Encyclopedia of Integer Sequences (OEIS) and permutations avoiding POPs of length 4 and 5. As the result, we (i) obtain 13 new enumerative results for classical patterns of length 4 and 5, and a number of results for patterns of arbitrary length, (ii) collect under one roof many sporadic results in the literature related to avoidance of patterns of length 4 and 5, and (iii) conjecture 6 connections to the OEIS. Among the most intriguing bijective questions we state, 7 are related to explaining Wilf-equivalence of various sets of patterns, e.g.\ 5 or 8 patterns of length 4, and 2 or 6 patterns of length~5.
A Dirac-type theorem for Berge cycles in random hypergraphs
A Hamilton Berge cycle of a hypergraph on $n$ vertices is an alternating sequence $(v_1, e_1, v_2, \ldots, v_n, e_n)$ of distinct vertices $v_1, \ldots, v_n$ and distinct hyperedges $e_1, \ldots, e_n$ such that $\{v_1,v_n\}\subseteq e_n$ and $\{v_i, v_{i+1}\} \subseteq e_i$ for every $i\in [n-1]$. We prove the following Dirac-type theorem about Berge cycles in the binomial random $r$-uniform hypergraph $H^{(r)}(n,p)$: for every integer $r \geq 3$, every real $γ>0$ and $p \geq \frac{\ln^{17r} n}{n^{r-1}}$ asymptotically almost surely, every spanning subgraph $H \subseteq H^{(r)}(n,p)$ with minimum vertex degree $δ_1(H) \geq \left(\frac{1}{2^{r-1}} + γ\right) p \binom{n}{r-1}$ contains a Hamilton Berge cycle. The minimum degree condition is asymptotically tight and the bound on $p$ is optimal up to some polylogarithmic factor.
Counting 3-Stack-Sortable Permutations
We prove a "decomposition lemma" that allows us to count preimages of certain sets of permutations under West's stack-sorting map $s$. As a first application, we give a new proof of Zeilberger's formula for the number of 2-stack-sortable permutations in $S_n$. Our proof generalizes, allowing us to find an algebraic equation satisfied by the generating function that counts 2-stack-sortable permutations according to length, number of descents, and number of peaks. The same method yields a recurrence relation for $W_3(n)$, the number of 3-stack-sortable permutations in $S_n$. We compute $W_3(n)$ for $n\le 174$, extending the 13 terms of this sequence that were known before. We also prove the first nontrivial lower bound for $\lim\limits_{n\to\infty}W_3(n)^{1/n}$. Invoking a result of Kremer, we also prove that $\lim\limits_{n\to\infty}W_t(n)^{1/n}\geq(\sqrt{t}+1)^2$ for all $t\geq 1$, which we use to improve a result of Smith. Our computations allow us to disprove a conjecture of Bóna, although we do not yet know for sure which one.
We can refine our methods to obtain a recurrence for the number of 3-stack-sortable permutations in $S_n$ with $k$ descents and $p$ peaks. This produces a large amount of evidence supporting a real-rootedness conjecture of Bóna. Using part of the theory of valid hook configurations, we give a new proof of a $γ$-nonnegativity result of Brändén, which in turn implies an older result of Bóna. We then answer a question of the current author by producing a set $A\subseteq S_{11}$ such that $\sum_{σ\in s^{-1}(A)}x^{\text{des}(σ)}$ has nonreal roots. We interpret this as partial evidence against the same real-rootedness conjecture of Bóna that we found evidence supporting. Examining the parities of the numbers $W_3(n)$, we obtain strong evidence against yet another conjecture of Bóna. We end with some conjectures of our own.
Harmonic equiangular tight frames comprised of regular simplices
An equiangular tight frame (ETF) is a sequence of unit-norm vectors in a Euclidean space whose coherence achieves equality in the Welch bound, and thus yields an optimal packing in a projective space. A regular simplex is a simple type of ETF in which the number of vectors is one more than the dimension of the underlying space. More sophisticated examples include harmonic ETFs which equate to difference sets in finite abelian groups. Recently, it was shown that some harmonic ETFs are comprised of regular simplices. In this paper, we continue the investigation into these special harmonic ETFs. We begin by characterizing when the subspaces that are spanned by the ETF's regular simplices form an equi-isoclinic tight fusion frame (EITFF), which is a type of optimal packing in a Grassmannian space. We shall see that every difference set that produces an EITFF in this way also yields a complex circulant conference matrix. Next, we consider a subclass of these difference sets that can be factored in terms of a smaller difference set and a relative difference set. It turns out that these relative difference sets lend themselves to a second, related and yet distinct, construction of complex circulant conference matrices. Finally, we provide explicit infinite families of ETFs to which this theory applies.
Sets of iterated Partitions and the Bell iterated Exponential Integers
It is well known that the Bell numbers represent the total number of partitions of an n-set. Similarly, the Stirling numbers of the second kind, represent the number of k-partitions of an n-set. In this paper we introduce a certain partitioning process that gives rise to a sequence of sets of "nested" partitions. We prove that at stage m, the cardinality of the resulting set will equal the m-th order Bell number. This set-theoretic interpretation enables us to make a natural definition of higher order Stirling numbers and to study the combinatorics of these entities. The cardinality of the elements of the constructed "hyper partition" sets are explored.
Adaptive Majority Problems for Restricted Query Graphs and for Weighted Sets
Suppose that the vertices of a graph $G$ are colored with two colors in an unknown way. The color that occurs on more than half of the vertices is called the majority color (if it exists), and any vertex of this color is called a majority vertex. We study the problem of finding a majority vertex (or show that none exists) if we can query edges to learn whether their endpoints have the same or different colors. Denote the least number of queries needed in the worst case by $m(G)$. It was shown by Saks and Werman that $m(K_n)=n-b(n)$, where $b(n)$ is the number of 1's in the binary representation of $n$.
In this paper, we initiate the study of the problem for general graphs. The obvious bounds for a connected graph $G$ on $n$ vertices are $n-b(n)\le m(G)\le n-1$. We show that for any tree $T$ on an even number of vertices we have $m(T)=n-1$ and that for any tree $T$ on an odd number of vertices, we have $n-65\le m(T)\le n-2$. Our proof uses results about the weighted version of the problem for $K_n$, which may be of independent interest. We also exhibit a sequence $G_n$ of graphs with $m(G_n)=n-b(n)$ such that $G_n$ has $O(nb(n))$ edges and $n$ vertices.
Mixed coloured permutations
In this paper we introduce mixed coloured permutation, permutations with certain coloured cycles, and study the enumerative properties of these combinatorial objects. We derive the generating function, closed forms, recursions and combinatorial identities for the counting sequence, mixed Stirling numbers of the first kind. In this comprehensive study we consider further the conditions on the length of the cycles, $r$-mixed Stirling numbers and the connection to Bell polynomials.
Spanning subspace configurations
A {\em spanning configuration} in the complex vector space $\mathbb{C}^k$ is a sequence $(W_1, \dots, W_r)$ of linear subspaces of $\mathbb{C}^k$ such that $W_1 + \cdots + W_r = \mathbb{C}^k$. We present the integral cohomology of the moduli space of spanning configurations in $\mathbb{C}^k$ corresponding to a given sequence of subspace dimensions. This simultaneously generalizes the classical presentation of the cohomology of partial flag varieties and the more recent presentation of a variety of spanning line configurations defined by the author and Pawlowski. This latter variety of spanning line configurations plays the role of the flag variety for the Haglund-Remmel-Wilson Delta Conjecture of symmetric function theory.