sequence
6845 papers tagged with this keyword
On the cluster nature and quantization of geometric $R$-matrices
Published
• View Publication
• BIB
We define cluster $R$-matrices as sequences of mutations in triangular grid quivers on a cylinder, and show that the affine geometric $R$-matrix of symmetric power representations for the quantum affine algebra $U_q^\prime(\hat{\mathfrak{sl}}_n)$ can be obtained from our cluster $R$-matrix. A quantization of the affine geometric $R$-matrix is defined, compatible with the cluster structure. We construct invariants of the quantum affine geometric $R$-matrix as quantum loop symmetric functions.
Uniform measures on braid monoids and dual braid monoids
Published in Journal of Algebra, Elsevier, Volume 473, March 2017, pages 627-666
• View Publication
• BIB
We aim at studying the asymptotic properties of typical positive braids, respectively positive dual braids. Denoting by $μ_k$ the uniform distribution on positive (dual) braids of length $k$, we prove that the sequence $(μ_k)_k$ converges to a unique probability measure $μ_{\infty}$ on infinite positive (dual) braids. The key point is that the limiting measure $μ_{\infty}$ has a Markovian structure which can be described explicitly using the combinatorial properties of braids encapsulated in the Möbius polynomial. As a by-product, we settle a conjecture by Gebhardt and Tawn (J. Algebra, 2014) on the shape of the Garside normal form of large uniform braids.
Dominating sequences in grid-like and toroidal graphs
A longest sequence $S$ of distinct vertices of a graph $G$ such that each vertex of $S$ dominates some vertex that is not dominated by its preceding vertices, is called a Grundy dominating sequence; the length of $S$ is the Grundy domination number of $G$. In this paper we study the Grundy domination number in the four standard graph products: the Cartesian, the lexicographic, the direct, and the strong product. For each of the products we present a lower bound for the Grundy domination number which turns out to be exact for the lexicographic product and is conjectured to be exact for the strong product. In most of the cases exact Grundy domination numbers are determined for products of paths and/or cycles.
A cluster realization of $U_q(\mathfrak{sl_n})$ from quantum character varieties
Published
• View Publication
• BIB
We construct an injective algebra homomorphism of the quantum group $U_q(\mathfrak{sl}_{n+1})$ into a quantum cluster algebra $\mathbf{L}_n$ associated to the moduli space of framed $PGL_{n+1}$-local systems on a marked punctured disk. We obtain a description of the coproduct of $U_q(\mathfrak{sl}_{n+1})$ in terms of the corresponding quantum cluster algebra associated to the marked twice punctured disk, and express the action of the $R$-matrix in terms of a mapping class group element corresponding to the half-Dehn twist rotating one puncture about the other. As a consequence, we realize the algebra automorphism of $U_q(\mathfrak{sl}_{n+1})^{\otimes 2}$ given by conjugation by the $R$-matrix as an explicit sequence of cluster mutations, and derive a refined factorization of the $R$-matrix into quantum dilogarithms of cluster monomials.
Legal Decompositions Arising from Non-positive Linear Recurrences
Published
• View Publication
• BIB
Zeckendorf's theorem states that any positive integer can be written uniquely as a sum of non-adjacent Fibonacci numbers; this result has been generalized to many recurrence relations, especially those arising from linear recurrences with leading term positive. We investigate legal decompositions arising from two new sequences: the $(s,b)$-Generacci sequence and the Fibonacci Quilt sequence. Both satisfy recurrence relations with leading term zero, and thus previous results and techniques do not apply. These sequences exhibit drastically different behavior. We show that the $(s,b)$-Generacci sequence leads to unique legal decompositions, whereas not only do we have non-unique legal decompositions with the Fibonacci Quilt sequence, we also have that in this case the average number of legal decompositions grows exponentially. Another interesting difference is that while in the $(s,b)$-Generacci case the greedy algorithm always leads to a legal decomposition, in the Fibonacci Quilt setting the greedy algorithm leads to a legal decomposition (approximately) 93\% of the time. In the $(s,b)$-Generacci case, we again have Gaussian behavior in the number of summands as well as for the Fibonacci Quilt sequence when we restrict to decompositions resulting from a modified greedy algorithm.
Permutrees
Published in Alg. Comb., 1(2):173-224, 2018
• View Publication
• BIB
We introduce permutrees, a unified model for permutations, binary trees, Cambrian trees and binary sequences. On the combinatorial side, we study the rotation lattices on permutrees and their lattice homomorphisms, unifying the weak order, Tamari, Cambrian and boolean lattices and the classical maps between them. On the geometric side, we provide both the vertex and facet descriptions of a polytope realizing the rotation lattice, specializing to the permutahedron, the associahedra, and certain graphical zonotopes. On the algebraic side, we construct a Hopf algebra on permutrees containing the known Hopf algebraic structures on permutations, binary trees, Cambrian trees, and binary sequences.
On the index conjecture in zero-sum theory: singular case
Published
• View Publication
• BIB
Let $S=(a_1)\cdots(a_k)$ be a minimal zero-sum sequence over a finite cyclic group $G$. The index conjecture states that if $k=4$ and $\gcd(|G|,6)=1$, then $S$ has index $1$. In this paper we prove that if $S$ is singular then the index of $S$ is $1$.
Anagram-free colorings of graphs
A sequence $S$ is called anagram-free if it contains no consecutive symbols $r_1 r_2\dots r_k r_{k+1} \dots r_{2k}$ such that $r_{k+1} \dots r_{2k}$ is a permutation of the block $r_1 r_2\dots r_k$. Answering a question of Erdős and Brown, Keränen constructed an infinite anagram-free sequence on four symbols.
Motivated by the work of Alon, Grytczuk, Hałuszczak and Riordan, we consider a natural generalisation of anagram-free sequences for graph colorings. A coloring of the vertices of a given graph $G$ is called anagram-free if the sequence of colors on any path in $G$ is anagram-free. We call the minimal number of colors needed for such a coloring the anagram-chromatic number of $G$.
In this paper we study the anagram-chromatic number of several classes of graphs like trees, minor-free graphs and bounded-degree graphs. Surprisingly, we show that there are bounded-degree graphs (such as random regular graphs) in which anagrams cannot be avoided unless we basically give each vertex a separate color.
Counting Matrices that are Squares
On the math-fun mailing list (7 May 2013), Neil Sloane asked to calculate the number of $n \times n$ matrices with entries in $\{0,1\}$ which are squares of other such matrices. In this paper we analyze the case that the arithmetic is in $\mathbb{F}_{2}$. We follow the dictum of Wilf ("What is an answer?") to derive a "effective" algorithm to count such matrices in much less time than it takes to enumerate them. The algorithm which we use involves the analysis of conjugacy classes of matrices. The restricted integer partitions which arise are counted by the coefficients of one of Ramanujan's mock Theta functions, which we found thanks to Sloane's OEIS (Online Encyclopedia of Integer Sequences). Let $a_n$ be the number elements of ${\rm Mat}_n(\mathbb{F}_{2})$ which are squares, and $b_n$ be the number of elements of ${\rm GL}(n,\mathbb{F}_{2})$ which are squares. The numerical results strongly suggest that there are constants $α,β> 0$ such that $a_n \sim α2^{n^2}$, $b_n \sim β2^{n^2}$.
New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences
Published
• View Publication
• BIB
Zeckendorf's theorem states every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. This result has been generalized to many sequences $\{a_n\}$ arising from an integer positive linear recurrence, each of which has a corresponding notion of a legal decomposition. Previous work proved the number of summands in decompositions of $m \in [a_n, a_{n+1})$ becomes normally distributed as $n\to\infty$, and the individual gap measures associated to each $m$ converge to geometric random variables, when the leading coefficient in the recurrence is positive. We explore what happens when this assumption is removed in two special sequences. In one we regain all previous results, including unique decomposition; in the other the number of legal decompositions exponentially grows and the natural choice for the legal decomposition (the greedy algorithm) only works approximately 92.6\% of the time (though a slight modification always works). We find a connection between the two sequences, which explains why the distribution of the number of summands and gaps between summands behave the same in the two examples. In the course of our investigations we found a new perspective on dealing with roots of polynomials associated to the characteristic polynomials. This allows us to remove the need for the detailed technical analysis of their properties which greatly complicated the proofs of many earlier results in the subject, as well as handle new cases beyond the reach of existing techniques.
Proof of a Conjecture of Z.-W. Sun on Trigonometric Series
Recently, Z. W. Sun introduced a sequence $(S_n)_{n\geq 0}$, where $S_n=\frac{\binom{6n}{3n} \binom{3n}{n}}{2(2n+1)\binom{2n}{n}}$, and found one congruence and two convergent series on $S_n$ by {\tt{Mathematica}}. Furthermore, he proposed some related conjectures. In this paper, we first give analytic proofs of his two convergent series and then confirm one of his conjectures by invoking series expansions of $\sin(t\arcsin(x))$ and $\cos(t\arcsin(x)).$
On Two OEIS Conjectures
Stephan (Prove or Disprove 100 Conjectures from the OES, arXiv:math/0409509v4 [math.CO])enumerates a number of conjectures regarding integer sequences contained in Sloane's On-line Encyclopedia of Integer Sequences (N. J. A. Sloane, editor, The On-Line Encyclopedia of Integer Sequences, published electronically at https://oeis.org). In this paper, we prove two of these conjectures.
A permutation code preserving a double Eulerian bistatistic
Published
• View Publication
• BIB
Visontai conjectured in 2013 that the joint distribution of ascent and distinct nonzero value numbers on the set of subexcedant sequences is the same as that of descent and inverse descent numbers on the set of permutations. This conjecture has been proved by Aas in 2014, and the generating function of the corresponding bistatistics is the double Eulerian polynomial. Among the techniques used by Aas are the Möbius inversion formula and isomorphism of labeled rooted trees. In this paper we define a permutation code (that is, a bijection between permutations and subexcedant sequences) and show the more general result that two $5$-tuples of set-valued statistics on the set of permutations and on the set of subexcedant sequences, respectively, are equidistributed. In particular, these results give a bijective proof of Visontai's conjecture.
S-Restricted Compositions Revisited
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (March 28, 2017) dmtcs:1522
• View Publication
• BIB
An S-restricted composition of a positive integer n is an ordered partition of n where each summand is drawn from a given subset S of positive integers. There are various problems regarding such compositions which have received attention in recent years. This paper is an attempt at finding a closed- form formula for the number of S-restricted compositions of n. To do so, we reduce the problem to finding solutions to corresponding so-called interpreters which are linear homogeneous recurrence relations with constant coefficients. Then, we reduce interpreters to Diophantine equations. Such equations are not in general solvable. Thus, we restrict our attention to those S-restricted composition problems whose interpreters have a small number of coefficients, thereby leading to solvable Diophantine equations. The formalism developed is then used to study the integer sequences related to some well-known cases of the S-restricted composition problem.
Syzygies over the Polytope Semiring
Published
• View Publication
• BIB
Tropical geometry and its applications indicate a "theory of syzygies" over polytope semirings. Taking cue from this indication, we study a notion of syzygies over the polytope semiring. We begin our exploration with the concept of Newton basis, an analogue of Gröbner basis that captures the image of an ideal under the Newton polytope map. The image ${\rm New}(I)$ of a graded ideal $I$ under the Newton polytope is a graded sub-semimodule of the polytope semiring. Analogous to the Hilbert series, we define the notion of Newton-Hilbert series that encodes the rank of each graded piece of ${\rm New}(I)$. We prove the rationality of the Newton-Hilbert series for sub-semimodules that satisfy a property analogous to Cohen-Macaulayness. We define notions of regular sequence of polytopes and syzygies of polytopes. We show an analogue of the Koszul property characterizing the syzygies of a regular sequence of polytopes.
Classification of families of pr- and epr-sequences
Published in Linear and Multilinear Algebra 65(8) (2017), 1581--1599
• View Publication
• BIB
This paper establishes new restrictions for attainable enhanced principal rank characteristic sequences (epr-sequences). These results are then used to classify two related families of sequences that are attainable by a real symmetric matrix: the family of principal rank characteristic sequences (pr-sequences) not containing three consecutive $1$s and the family of epr-sequences which contain an $\tt{N}$ in every subsequence of length $3$.
A New Twist on Wythoff's Game
Wythoff's Game is a game for two players playing alternately on two stacks of tiles. On her turn, a player can either remove a positive number of tiles from one stack, or remove an equal positive number of tiles from both stacks. The last player to move legally wins the game. We propose and study a new extension of this game to more than two stacks, which we call Twyst-off, inspired by the Reidemeister moves of knot theory. From an ordered sequence of stacks of tiles, a player may either remove a positive number of tiles from one of the two end stacks, or remove the same positive number of tiles from two consecutive stacks. Whenever an interior stack is reduced to 0, the two neighboring stacks are combined. In this paper, we prove several results about those Twyst-off positions that can be won by the second player (these are called P-positions). We prove an existence and uniqueness result that makes the visualization of data on three-stack P-positions possible. This shows that many such positions are symmetric, like the easy general examples (a,a,a) and (a,a+1,a). The main result establishes tight bounds on those three-stack P-positions that are not symmetric. We go on to prove one general structural result for positions with an arbitrary number of stacks. We also prove facts about the game when allowing stacks of infinite size, including classifying all positions with only infinite stacks in sequences of up to six stacks.
On the abelian complexity of the Rudin-Shapiro sequence
Published
• View Publication
• BIB
In this paper, we study the abelian complexity of the Rudin-Shapiro sequence and a related sequence. We show that these two sequences share the same complexity function $ρ(n)$ which satisfies certain recurrence relations. As a consequence, the abelian complexity function is $2$-regular. Further, we prove that the box dimension of the graph of the asymptotic function $λ(x)$ is $3/2$ where $λ(x)=\lim_{k\to\infty}ρ(4^{k}x)/\sqrt{4^{k}x}$ and $ρ(x)=ρ(\lfloor x\rfloor)$ for any $x> 0$.
Matching polytons
Published in Electronic Journal of Combinatorics, Volume 26, Issue 4 (2019), P4.38
• View Publication
• BIB
Hladky, Hu, and Piguet [Tilings in graphons, preprint] introduced the notions of matching and fractional vertex covers in graphons. These are counterparts to the corresponding notions in finite graphs.
Combinatorial optimization studies the structure of the matching polytope and the fractional vertex cover polytope of a graph. Here, in analogy, we initiate the study of the structure of the set of all matchings and of all fractional vertex covers in a graphon. We call these sets the matching polyton and the fractional vertex cover polyton.
We also study properties of matching polytons and fractional vertex cover polytons along convergent sequences of graphons.
As an auxiliary tool of independent interest, we prove that a graphon is $r$-partite if and only if it contains no graph of chromatic number $r+1$. This in turn gives a characterization of bipartite graphons as those having a symmetric spectrum.
Hyperfibonacci Sequences and Polytopic Numbers
We prove that the difference between the $n$-th hyperfibonacci number of $r$-th generation and its two consecutive predecessors is the $n$-th regular $(r-1)$-topic number. Using this fact we provide an equivalent recursive definition of hyperfibonacci sequences and derive an extension of the Binet formula. We also prove further identities involving both hyperfibonacci and hyperlucas sequences, in full generality.