sequence
6845 papers tagged with this keyword
Sequences of odd length in strict partitions I: the combinatorics of double sum Rogers-Ramanujan type identities
Strict partitions are enumerated with respect to the weight, the number of parts, and the number of sequences of odd length. We write this trivariate generating function as a double sum $q$-series. Equipped with such a combinatorial set-up, we investigate a handful of double sum identities appeared in recent works of Cao-Wang, Wang-Wang, Wei-Yu-Ruan, Andrews-Uncu, Chern, and Wang, finding partition theoretical interpretations to all of these identities, and in most cases supplying Franklin-type involutive proofs. This approach dates back more than a century to P. A. MacMahon's interpretations of the celebrated Rogers-Ramanujan identities, and has been further developed by Kurşungöz in the last decade.
Conjugation of reddening sequences and conjugation difference
Published
• View Publication
• BIB
We describe the conjugation of the reddening sequence according to the formula of $c$-vectors with respect to changing the initial seed. As applications, we extend the Rotation Lemma, the Target before Source Theorem, and the mutation invariant property of the existence of reddening sequences to totally sign-skew-symmetric cluster algebras. Furthermore, this also leads to the construction of conjugation difference which characterizes the number of red mutations a maximal green sequence should admit in any matrix pattern with the initial seed changed via mutations.
Geometry of $C$-vectors and $C$-Matrices for Mutation-Infinite Quivers
The set of forks is a class of quivers introduced by M. Warkentin, where every connected mutation-infinite quiver is mutation equivalent to infinitely many forks. Let $Q$ be a fork with $n$ vertices, and $\boldsymbol{w}$ be a fork-preserving mutation sequence. We show that every $c$-vector of $Q$ obtained from $\boldsymbol{w}$ is a solution to a quadratic equation of the form $$\sum_{i=1}^n x_i^2 + \sum_{1\leq i<j\leq n} \pm q_{ij} x_i x_j =1,$$ where $q_{ij}$ is the number of arrows between the vertices $i$ and $j$ in $Q$. The same proof techniques implies that when $Q$ is a rank 3 mutation-cyclic quiver, every $c$-vector of $Q$ is a solution to a quadratic equation of the same form.
Noncommutative Polygonal Cluster Algebras
We define a new family of noncommutative generalizations of cluster algebras called polygonal cluster algebras. These algebras generalize the noncommutative surfaces of Berenstein-Retakh, and are inspired by the emerging theory of $Θ$-positivity for the groups $\mathrm{Spin}(p,q)$. They are generated by mutations of quivers which we call ST-compatible, and which encode the order of the products that appear in the exchange relations. We show that these ST-compatible quivers can be represented by tilings of surfaces by polygons, a generalization of the description of surface type cluster algebras. As examples, we construct tilings which produce ST-compatible versions of the Del Pezzo quivers and the quivers first described by Le for Fock-Goncharov coordinates for Lie groups of type $B$. We show that polygonal cluster algebras have natural evaluations in Clifford algebras, which we use to produce noncommutative generalizations of the Somos sequences and to parameterize the $Θ$-positive semigroup of $\mathrm{Spin}(2,n)$. We indicate how this will be done for the semigroup in $\mathrm{Spin}(p,q)$ and how one will give coordinates for general $Θ$-positive representations into $\mathrm{Spin}(p,q)$.
Solutions for $k$-generalized Fibonacci numbers using Fuss-Catalan numbers
We present new expressions for the $k$-generalized Fibonacci numbers, say $F_k(n)$. They satisfy the recurrence $F_k(n) = F_k(n-1) +\dots+F_k(n-k)$. Explicit expressions for the roots of the auxiliary (or characteristic) polynomial are presented, using Fuss-Catalan numbers. Properties of the roots are enumerated. We quantify the accuracy of asymptotic approximations for $F_k(n)$ for $n\gg1$. Our results subsume and extend some results published by previous authors. We also present a basis (or `fundamental solutions') to solve the above recurrence for arbitrary initial conditions. We comment on the use of generating functions and multinomial sums for the $k$-generalized Fibonacci numbers and related sequences. We note that the resulting multinomial sums are Dickson polynomials of the second kind in several variables. We also present what may be a new identity for companion matrices.
On an acyclic relaxation of incomparable families of sets
For two families $\mathcal{A}, \mathcal{B} \subseteq \mathcal{P}([k])$, we write $\mathcal{A}\vdash\mathcal{B}$ if $A\not\supseteq B$ for each two sets $A \in \mathcal{A}$ and $B \in \mathcal{B}$. $\mathcal{A}$ and $\mathcal{B}$ are called incomparable if $\mathcal{A}\vdash\mathcal{B}$ and $\mathcal{B}\vdash\mathcal{A}$. Seymour proved that the maximum size of two incomparable equal-sized families in $\mathcal{P}([k])$ is $\frac{1}{4}2^k$.
A sequence of families $\mathcal{B}_1,\dots,\mathcal{B}_l \ \subseteq \mathcal{P}([k])$ is called $d$-exceeding if $\mathcal{B}_i\vdash\mathcal{B}_j$ for all $i,j\in [l]$ with $j-i\in [d]$. Cyclically reusing $d+1$ pairwise incomparable families yields arbitrarily long $d$-exceeding sequences of families. We prove inversely that the maximum size of equal-sized families of a sufficiently long $1$-exceeding sequence in $\mathcal{P}([k])$ is also $\frac{1}{4}2^k$.
A sequence of sets $B_1,\dots,B_l \subseteq [k]$ is called $d$-exceeding if $\{B_1\},\dots,\{B_l\}$ is $d$-exceeding, that is, if $B_i \not\supseteq B_j$ for all $i,j\in [l]$ with $j-i\in [d]$. We locate the maximum $d$ such that there exist arbitrarily long $d$-exceeding sequences of subsets of $[k]$ between $(1-o(1)) \tfrac{1}{e} 2^k$ and $\tfrac{1}{2}2^k-2$.
Normal covering numbers for $S_n$ and $A_n$ and additive combinatorics
Published
• View Publication
• BIB
The normal covering number $γ(G)$ of a finite group $G$ is the minimum number of proper subgroups whose conjugates cover the group. We give various estimates for $γ(S_n)$ and $γ(A_n)$ depending on the arithmetic structure of $n$. In particular we determine the limsups over $γ(S_n) / n$ and $γ(A_n) / n$ over the sequences of even and odd integers, as well as the liminf of $γ(S_n) / n$ over even integers. In general we explain how the values of $γ(S_n) / n$ and $γ(A_n) / n$ are related to problems in additive combinatorics. These results answer most of the questions posed by Bubboloni, Praeger, and Spiga as Problem 20.17 of the Kourovka Notebook.
The (Symbolic and Numeric) Computational Challenges of Counting 0-1 Balanced Matrices
A chessboard has the property that every row and every column has as many white squares as black squares. In this mostly methodological note, we address the problem of counting such rectangular arrays with a fixed (numeric) number of rows, but an arbitrary (symbolic) number of columns. We first address the ``vanilla" problem where there are no restrictions, and then go on to discuss the still-more-challenging problem of counting such binary arrays that are not permitted to contain a specified (finite) set of horizontal patterns, and a specified set of vertical patterns. While we can rigorously prove that each such sequence satisfies some linear recurrence equation with polynomial coefficients, actually finding these recurrences poses major {\it symbolic}-computational challenges, that we can only meet in some small cases. In fact, just generating as many as possible terms of these sequences is a big {\it numeric}-computational challenge. This was tackled by computer whiz Ron H. Hardin, who contributed several such sequences, and computed quite a few terms of each. We extend Hardin's sequences quite considerably. We also talk about the much easier problem of counting such restricted arrays without balance conditions.
Polynomial and combinatorial analogues of Gauss congruence
The cyclic sieving phenomenon provides a link between a polynomial analogue of Gauss congruence known as $q$-Gauss congruence, and a combinatorial analogue of Gauss congruence based on sequences of cyclic group actions. We strengthen this link in two major ways: by characterising $q$-Gauss congruence via explicit formulae, and by developing a universal model for the combinatorics based on necklaces which allow beads to vary in both colour and length. This gives many novel examples of cyclic sieving involving necklaces, path walks, tubings and more. We extend the definition of Gauss congruence to sequences indexed by an arbitrary ranked semigroup, and synthesise known results into this theory.
Omega-categorical limits of betweenness relations and $D$-sets
We explore two constructions of oligomorphic Jordan permutation groups preserving a `limit of betweenness relations' and a `limit of $D$-relations', from \cite{bhattmacph2006jordan} and \cite{almazaydeh2021jordan} respectively. Several issues left open in \cite{almazaydeh2021jordan} are resolved. In particular it is shown that the `limit of $D$-relations' is not homogeneous in the given language, but is `homogenizable', that is, there is a homogeneous structure over a finite relational language with the same universe and the same automorphism group. The structure is NIP, but not monadically NIP, its age is not well-quasi-ordered under embeddability, and the growth rate of the sequence enumerating orbits on $k$-sets grows faster than exponentially. The automorphism group is maximal-closed in the symmetric group. Similar results are shown for the construction in \cite{bhattmacph2006jordan}.
A finite totally nonnegative Grassmannian
We introduce totally nonnegative Grassmannians over finite fields where an element of a finite field is nonnegative if it is a square of an element of the finite field. Explicit point counts are given in some special cases where we find new interpretations of sequences in the On-Line Encyclopedia of Integer Sequences (OEIS). We compare and contrast the theory of totally nonnegative Grassmannians over a finite field with the traditional case of the field of real numbers.
Universality for roots of derivatives of entire functions via finite free probability
A universality conjecture of Farmer and Rhoades [Trans. Amer. Math. Soc., 357(9):3789--3811, 2005] and Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022] asserts that, under some natural conditions, the roots of an entire function should become perfectly spaced in the limit of repeated differentiation. This conjecture is known as Cosine Universality. We establish this conjecture for a class of even entire functions with only real roots which are real on the real line. Along the way, we establish a number of additional universality results for Jensen polynomials of entire functions, including the Hermite Universality conjecture of Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022]. Our proofs are based on finite free probability theory. We establish finite free probability analogs of the law of large numbers, central limit theorem, and Poisson limit theorem for sequences of deterministic polynomials under repeated differentiation, under optimal moment conditions, which are of independent interest.
On a Conjecture about Ron Graham's Sequence
Ron Graham's Sequence is a surprising bijection from non-negative integers to non-negative, non-prime integers that was introduced by Ron Graham in the June 1986 "Problems" column of $\textit{Mathematics Magazine}$, and which later appeared in Problem A2 of the 2013 William Lowell Putnam Mathematical Competition. We describe some properties of this function, give an algorithm for computing its values in pseudo-polynomial time, and prove a 22 year-old conjecture about an upper bound for the function.
Many cliques with small degree powers
Suppose $0 < p \le \infty$. For a simple graph $G$ with a vertex-degree sequence $d_1, \dots, d_n$ satisfying $(d_1^p + \dots + d_n^p)^{1/p} \le C$, we prove asymptotically sharp upper bounds on the number of $t$-cliques in $G$. This result bridges the $p = 1$ case, which is the notable Kruskal--Katona theorem, and the $p = \infty$ case, known as the Gan--Loh--Sudakov conjecture, and resolved by Chase. In particular, we demonstrate that the extremal construction exhibits a dichotomy between a single clique and multiple cliques at $p_0 = t - 1$. Our proof employs the entropy method.
On minimizing the Wiener index of unicyclic graphs with fixed girth and given degree sequence
The Wiener index of a graph is the sum of all the distances between any pair of vertices. We aim to describe graphs which minimize the Wiener index among all unicyclic graphs with fixed girth and given degree sequence. Depending on where the centroid of the graph is, we will present three candidates for the minimization, namely the greedy unicyclic graph, the cycle-centered graph and the out-greedy unicyclic graph.
Misere Connect Four is Solved
Connect Four is a two-player game where each player attempts to be the first to create a sequence of four of their pieces, arranged horizontally, vertically, or diagonally, by dropping pieces into the columns of a grid of width seven and height six, in alternating turns. Misere Connect Four is played by the same rules, but with the opposite objective: do not connect four. This paper announces that Misere Connect Four is solved: perfect play by both sides leads to a second-player win. More generally, this paper also announces that Misere Connect $k$ played on a $w \times h$ board is also solved, but the outcome depends on the game's parameters $k$, $w$, and $h$, and may be a first-player win, a second-player win, or a draw. These results are constructive, meaning that we provide explicit strategies, thus enabling readers to impress their friends and foes alike with provably optimal play in the misere form of a table-top game for children.
Log-Concave Sequences in Coding Theory
We introduce the notion of logarithmically concave (or log-concave) sequences in Coding Theory. A sequence $a_0, a_1, \dots, a_n$ of real numbers is called log-concave if $a_i^2 \ge a_{i-1}a_{i+1}$ for all $1 \le i \le n-1$. A natural sequence of positive numbers in coding theory is the weight distribution of a linear code consisting of the nonzero values among $A_i$'s where $A_i$ denotes the number of codewords of weight $i$. We call a linear code log-concave if its nonzero weight distribution is log-concave. Our main contribution is to show that all binary general Hamming codes of length $2^r -1$ ($r=3$ or $r \ge 5$), the binary extended Hamming codes of length $2^r ~(r \ge 3)$, and the second order Reed-Muller codes $R(2, m)~ (m \ge 2)$ are all log-concave while the homogeneous and projective second order Reed-Muller codes are either log-concave, or 1-gap log-concave. Furthermore, we show that any MDS $[n, k]$ code over $\mathbb F_q$ satisfying $3 \leqslant k \leqslant n/2 +3$ is log-concave if $q \geqslant q_0(n, k)$ which is the larger root of a quadratic polynomial. Hence, we expect that the concept of log-concavity in coding theory will stimulate many interesting problems.
On a combinatorial puzzle arising from the theory of Lascoux polynomials
Lascoux polynomials are a class of nonhomogeneous polynomials which form a basis of the full polynomial ring. Recently, Pan and Yu showed that Lascoux polynomials can be defined as generating polynomials for certain collections of diagrams consisting of unit cells arranged in the first quadrant generated from an associated ``key diagram" by applying sequences of ``$K$-Kohnert moves". Within diagrams generated in this manner, certain cells are designated as special and referred to as ``ghost cells". Given a fixed Lascoux polynomial, Pan and Yu established a combinatorial algorithm in terms of ``snow diagrams" for computing the maximum number of ghost cells occurring in a diagram defining a monomial of the given polynomial; having this value allows for one to determine the total degree of the given Lascoux polynomial. In this paper, we study the combinatorial puzzle which arises when one replaces key diagrams by arbitrary diagrams in the definition of Lascoux polynomials. Specifically, given an arbitrary diagram, we consider the question of determining the maximum number of ghost cells contained within a diagram among those formed from our given initial one by applying sequences of $K$-Kohnert moves. In this regard, we establish means of computing the aforementioned max ghost cell value for various families of diagrams as well as for diagrams in general when one takes a greedy approach.
Additive word complexity and Walnut
In combinatorics on words, a classical topic of study is the number of specific patterns appearing in infinite sequences. For instance, many works have been dedicated to studying the so-called factor complexity of infinite sequences, which gives the number of different factors (contiguous subblocks of their symbols), as well as abelian complexity, which counts factors up to a permutation of letters. In this paper, we consider the relatively unexplored concept of additive complexity, which counts the number of factors up to additive equivalence. We say that two words are additively equivalent if they have the same length and the total weight of their letters is equal. Our contribution is to expand the general knowledge of additive complexity from a theoretical point of view and consider various famous examples. We show a particular case of an analog of the long-standing conjecture on the regularity of the abelian complexity of an automatic sequence. In particular, we use the formalism of logic, and the software Walnut, to decide related properties of automatic sequences. We compare the behaviors of additive and abelian complexities, and we also consider the notion of abelian and additive powers. Along the way, we present some open questions and conjectures for future work.
Convergence of distributions on paths
Published in In: Fernau, H., Jansen, K. (eds) Fundamentals of Computation Theory. FCT 2023. Lecture Notes in Computer Science, vol 14292. Springer
• View Publication
• BIB
We study the convergence of distributions on finite paths of weighted digraphs, namely the family of Boltzmann distributions and the sequence of uniform distributions. Targeting applications to the convergence of distributions on paths, we revisit some known results from reducible nonnegative matrix theory and obtain new ones, with a systematic use of tools from analytic combinatorics. In several fields of mathematics, computer science and system theory, including concurreny theory, one frequently faces non strongly connected weighted digraphs encoding the elements of combinatorial structures of interest; this motivates our study.