sequence
6966 papers tagged with this keyword
A Unified Approach to Unimodality of Gaussian Polynomials
Published in ISSAC 2023: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, July 2023, Pages 434-442
• View Publication
• BIB
In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establish a closed form for the coefficients of these polynomials and then use cylindrical algebraic decomposition to identify exactly the range of coefficients where strict unimodality holds. This strategy allows us to tackle generalizations of the problem, e.g., to show unimodality with larger gaps or unimodality of related sequences. In particular, we present proofs of two additional cases of a conjecture by Stanley and Zanello.
Combinatorics of the Delta conjecture at q=-1
Published in Algebraic Combinatorics 7(1) (2024), 17--35
• View Publication
• BIB
In the context of the shuffle theorem, many classical integer sequences appear with a natural refinement by two statistics $q$ and $t$: for example the Catalan and Schröder numbers. In particular, the bigraded Hilbert series of diagonal harmonics is a $q,t$-analog of $(n+1)^{n-1}$ (and can be written in terms of symmetric functions via the nabla operator). The motivation for this work is the observation that at $q=-1$, this $q,t$-analog becomes a $t$-analog of Euler numbers, a famous integer sequence that counts alternating permutations. We prove this observation via a more general statement, that involves the Delta operator on symmetric functions (on one side), and new combinatorial statistics on permutations involving peaks and valleys (on the other side). An important tool are the schedule numbers of a parking function first introduced by Hicks; and expanded upon by Haglund and Sergel. Other empirical observation suggest that nonnegativity at $q=-1$ holds in far greater generality.
Fluctuations of Schensted row insertion
We investigate asymptotic probabilistic phenomena arising from the application of the Schensted row insertion algorithm, a key component of the Robinson-Schensted-Knuth (RSK) correspondence, to random inputs. Our analysis centers on a random tableau $T$ with a given shape $λ$, which may itself be random or deterministic. We examine the stochastic properties of the position of the new box created when inserting a deterministic entry into $T$. Specifically, we focus on the fluctuations of this position around its expected value as the size of the Young diagram $λ$ approaches infinity. Our findings reveal that these fluctuations are asymptotically Gaussian, with the mean and variance expressed in terms of Kerov's transition measure of the diagram $λ$. An important application of this analysis is the RSK algorithm applied to a finite, long sequence of independent, identically distributed random variables. While there remains a gap in the reasoning for this case, we present an explicit conjecture regarding its behavior.
Rich Words in the Block Reversal of a Word
Published
• View Publication
• BIB
The block reversal of a word $w$, denoted by $\mathtt{BR}(w)$, is a generalization of the concept of the reversal of a word, obtained by concatenating the blocks of the word in the reverse order. We characterize non-binary and binary words whose block reversal contains only rich words. We prove that for a binary word $w$, richness of all elements of $\mathtt{BR}(w)$ depends on $l(w)$, the length of the run sequence of $w$. We show that if all elements of $\mathtt{BR}(w)$ are rich, then $2\leq l(w)\leq 8$. We also provide the structure of such words.
Khayyam-Pascal Determinantal Arrays, Star of David Rule and Log-Concavity
In this paper we develop a new geometric method to answer the log-concavity questions related to a nice class of combinatorial sequences arising from the Pascal triangle.
Friendly paths for finite subsets of plane integer lattice. I
For a given finite subset P of points of the lattice Z^2, a friendly path is a monotone (uphill or downhill) lattice path which splits points in half; points lying on the path itself are discarded. The purpose of this paper (and its sequel) is to fully describe all configurations of n points in Z^2 which do not admit a friendly path. We say that such an n-set is inseparable. There are, up to the lattice symmetry, exactly c(n) such sets. If only lattice shifts are counted, there are ĉ(n) of them. Both sequences are new entries into OEIS (A369382 and, respectively, A367783). In particular, n=27 is the first odd numbers with c(n)=1. No example was known so far. This solves problem 11484(b)* posed in American Mathematical Monthly (February 2010). In this paper we also show that inseparable n-set exist for all even numbers n>=12 and almost all odd numbers.
More results on the $z$-chromatic number of graphs
Published in Discrete Applied Mathematics, 338 (2023) 89--99
• View Publication
• BIB
By a $z$-coloring of a graph $G$ we mean any proper vertex coloring consisting of the color classes $C_1, \ldots, C_k$ such that $(i)$ for any two colors $i$ and $j$ with $1 \leq i < j \leq k$, any vertex of color $j$ is adjacent to a vertex of color $i$, $(ii)$ there exists a set $\{u_1, \ldots, u_k\}$ of vertices of $G$ such that $u_j \in C_j$ for any $j \in \{1, \ldots, k\}$ and $u_k$ is adjacent to $u_j$ for each $1 \leq j \leq k$ with $j \not=k$, and $(iii)$ for each $i$ and $j$ with $i \not= j$, the vertex $u_j$ has a neighbor in $C_i$. Denote by $z(G)$ the maximum number of colors used in any $z$-coloring of $G$. Denote the Grundy and {\rm b}-chromatic number of $G$ by $Γ(G)$ and ${\rm b}(G)$, respectively. The $z$-coloring is an improvement over both the Grundy and b-coloring of graphs. We prove that $z(G)$ is much better than $\min\{Γ(G), {\rm b}(G)\}$ for infinitely many graphs $G$ by obtaining an infinite sequence $\{G_n\}_{n=3}^{\infty}$ of graphs such that $z(G_n)=n$ but $Γ(G_n)={\rm b}(G_n)=2n-1$ for each $n\geq 3$. We show that acyclic graphs are $z$-monotonic and $z$-continuous. Then it is proved that to decide whether $z(G)=Δ(G)+1$ is $NP$-complete even for bipartite graphs $G$. We finally prove that to recognize graphs $G$ satisfying $z(G)=χ(G)$ is $coNP$-complete, improving a previous result for the Grundy number.
The Thue-Morse sequence in base 3/2
We discuss the base 3/2 representation of the natural numbers. We prove that the sum of digits function of the representation is a fixed point of a 2-block substitution on an infinite alphabet, and that this implies that sum of digits function modulo 2 of the representation is a fixed point $x_{3/2}$ of a 2-block substitution on $\{0,1\}$. We prove that $x_{3/2}$ is mirror invariant, and present a list of conjectured properties of $x_{3/2}$, which we think will be hard to prove. Finally, we make a comparison with a variant of the base 3/2 representation, and give a general result on $p$-$q$-block substitutions.
The rank of sparse symmetric matrices over arbitrary fields
Published
• View Publication
• BIB
Let $\FF$ be an arbitrary field and $(\bm{G}_{n,d/n})_n$ be a sequence of sparse weighted Erdős-Rényi random graphs on $n$ vertices with edge probability $d/n$, where weights from $\FF \setminus\{0\}$ are assigned to the edges according to a fixed matrix $J_n$. We show that the normalised rank of the adjacency matrix of $(\bm{G}_{n,d/n})_n$ converges in probability to a constant, and derive the limiting expression. Our result shows that for the general class of sparse symmetric matrices under consideration, the asymptotics of the normalised rank are independent of the edge weights and even the field, in the sense that the limiting constant for the general case coincides with the one previously established for adjacency matrices of sparse (non-weighted) Erdős-Rényi matrices over $\RR$ from \cite{bordenave2011rank}. Our proof, which is purely combinatorial in its nature, is based on an intricate extension of the novel perturbation approach from \cite{coja2022rank} to the symmetric setting.
On a family of 2-automatic sequences generating algebraic continued fractions in characteristic 2
Published
• View Publication
• BIB
We present family of automatic sequences that define algebraic continued fractions in characteristic 2. This family is constructed from ultimately period words and contains the period-doubling sequence.
Free Fermionic Schur Functions
Published
• View Publication
• BIB
We introduce a new family of Schur functions $s_{λ/μ;a,b}(x/y)$ that depend on two sets of variables and two sequences of parameters. These free fermionic Schur functions have a hidden symmetry between the two sets of parameters that allows us to generalize and unify factorial, supersymmetric, and dual Schur functions from literature.
We then prove that these functions satisfy the supersymmetric Cauchy identity $$
\sum_λs_{λ;a,b}(x/y)\widehat{s}_{λ;a,b}(z/w) = \prod_{i,j}\frac{1+y_iz_j}{1-x_iz_j}\frac{1+x_iw_j}{1-y_iw_j}, $$ where $\widehat{s}_{λ;a,b}(z/w) = s_{λ';b',a'}(w/z)$ are the dual functions.
Our approach is based on the integrable six vertex model with free fermionic Boltzmann weights. We show that these weights satisfy the \textit{refined Yang-Baxter equation}, which allows us to prove well-known properties of Schur functions: supersymmetry, combinatorial descriptions, the Jacobi-Trudi identity, the Nägelsbach-Kostka formula, the Giambelli formula, the Ribbon formula, the Weyl determinant formula, the Berele-Regev factorization, dual Cauchy identity, the flagged determinant formula, and many others. We emphasize that many of these results are novel even in special cases.
On Tribonacci Sequences
Let a tribonacci sequence be a sequence of integers satisfying $a_k=a_{k-1}+a_{k-2}+a_{k-3}$ for all $k\ge 4$. For any positive integers $k$ and $n$, denote by $f_k(n)$ the number of tribonacci sequences with $a_1, a_2, a_3>0$ and with $a_k=n$. For all $n$, there is a maximum $k$ such that $f_k(n)$ is non-zero. Answering a question of Spiro \cite{Spiro}, we show that there is a finite upper bound (we specifically prove 561001) on $f_k(n)$ for any positive integer $n\ge 3$ and this maximum $k$. We do this by showing that $f_k(n)$ has transitions in $n$ around constant multiples of $φ^{3k/2}$ (where $φ$ is the real root of $φ^3=φ^2+φ+1$): there exists a constant $C$ such that $f_k(n)>0$ whenever $n>Cφ^{3k/2}$ and for any constant $T$, the values of $f_k(n)$ with $n<Tφ^{3k/2}$ have an upper bound independent of $k$.
Strongly proper connected coloring of graphs
We study a new variant of \emph{connected coloring} of graphs based on the concept of \emph{strong} edge coloring (every color class forms an \emph{induced} matching). In particular, an edge-colored path is \emph{strongly proper} if its color sequence does not contain identical terms within a distance of at most two. A \emph{strong proper connected} coloring of $G$ is the one in which every pair of vertices is joined by at least one strongly proper path. Let spc($G$) denote the least number of colors needed for such coloring of a graph $G$. We prove that the upper bound spc($G$)$\leq${5} holds for any $2$-connected graph $G$. On the other hand, we demonstrate that there are $2$-connected graphs with arbitrarily large girth satisfying spc($G$)$\geq${4}. Additionally, we prove that graphs whose cycle lengths are divisible by $3$ satisfy spc($G$)$\leq{3}$. We also consider briefly other connected colorings defined by various restrictions on color sequences of connecting paths. For instance, in a \emph{nonrepetitive connected coloring} of $G$, every pair of vertices should be joined by a path whose color sequence is \emph{nonrepetitive}, that is, it does not contain two adjacent identical blocks. We demonstrate that $2$-connected graphs are $15$-colorable while $4$-connected graphs are $6$-colorable, in the connected nonrepetitive sense. A similar conclusion with a finite upper bound on the number of colors holds for a much wider variety of connected colorings corresponding to fairly general properties of sequences. We end the paper with some open problems of concrete and general nature.
Distribution of the threshold for the symmetric perceptron
Published
• View Publication
• BIB
We derive an explicit distribution for the threshold sequence of the symmetric binary perceptron with Gaussian disorder, proving that the critical window is of constant width.
Exploring spaces of semi-directed phylogenetic networks
Published
• View Publication
• BIB
Semi-directed phylogenetic networks have recently emerged as a class of phylogenetic networks sitting between rooted (directed) and unrooted (undirected) phylogenetic networks as they contain both directed as well as undirected edges. While the spaces of rooted phylogenetic networks and unrooted phylogenetic networks have been analyzed in recent years and various rearrangement moves to traverse these spaces have been introduced, the results do not immediately carry over to semi-directed phylogenetic networks. Here, we propose a simple rearrangement move for semi-directed phylogenetic networks, called cut edge transfer (CET), and show that the space of semi-directed level-$1$ networks with precisely $k$ reticulations is connected under CET. This level-$1$ space is currently the predominantly used search space for most algorithms that reconstruct semi-directed phylogenetic networks. Hence, every semi-directed level-$1$ network with a fixed number of reticulations and leaf set can be reached from any other such network by a sequence of CETs. By introducing two additional moves, CET$^+$ and CET$^-$, that allow for the addition or deletion of reticulations, we then establish connectedness for the space of all semi-directed phylogenetic networks on a fixed leaf set. As a byproduct of our results for semi-directed phylogenetic networks, we also show that the space of rooted level-$1$ networks with a fixed number of reticulations and leaf set is connected under CET, when translated into the rooted setting.
Counting Parking Sequences and Parking Assortments Through Permutations
Published
• View Publication
• BIB
Parking sequences (a generalization of parking functions) are defined by specifying car lengths and requiring that a car attempts to park in the first available spot after its preference. If it does not fit there, then a collision occurs and the car fails to park. In contrast, parking assortments generalize parking sequences (and parking functions) by allowing cars (also of assorted lengths) to seek forward from their preference to identify a set of contiguous unoccupied spots in which they fit. We consider both parking sequences and parking assortments and establish that the number of preferences resulting in a fixed parking order $σ$ is related to the lengths of cars indexed by certain subsequences in $σ$. The sum of these numbers over all parking orders (i.e. permutations of $[n]$) yields new formulas for the total number of parking sequences and of parking assortments.
Enumeration of multi-rooted plane trees
Published
• View Publication
• BIB
We give closed form expressions for the numbers of multi-rooted plane trees with specified degrees of root vertices. This results in an infinite number of integer sequences some of which are known to have an alternative interpretation. We also propose recursion relations for numbers of such trees as well as for the corresponding generating functions. Explicit expressions for the generating functions corresponding to plane trees having two and three roots are derived. As a by-product, we obtain a new binomial identity and a conjecture relating hypergeometric functions.
Restricted optimal pebbling is NP-hard
Published
• View Publication
• BIB
Consider a distribution of pebbles on a graph. A pebbling move removes two pebbles from a vertex and place one at an adjacent vertex. A vertex is reachable under a pebble distribution if it has a pebble after the application of a sequence of pebbling moves. A pebble distribution is solvable if each vertex is reachable under it. The size of a pebble distribution is the total number of pebbles. The optimal pebbling number $π^*(G)$ is the size of the smallest solvable distribution. A $t$-restricted pebble distribution places at most $t$ pebbles at each vertex. The $t$-restricted optimal pebbling number $π_t^*(G)$ is the size of the smallest solvable $t$-restricted pebble distribution. We show that deciding whether $π^*_2(G)\leq k$ is NP-complete. We prove that $π_t^*(G)=π^*(G)$ if $δ(G)\geq \frac{2|V(G)|}{3}-1$ and we show infinitely many graphs which satisfies $δ(H)\approx \frac{1}{2}|V(H)|$ but $π_t^*(H)\neqπ^*(H)$, where $δ$ denotes the minimum degree.
Algebraic automatic continued fractions in characteristic $2$ II
Published
• View Publication
• BIB
We present two families of automatic sequences that define algebraic continued
fractions in characteristic $2$. The period-doubling sequence belongs
to the first first family $\mathcal{P}$; and its sum, the Thue-Morse
sequence, belongs to the second family $\mathcal{G}$. The family
$\mathcal{G}$ contains all the iterated sums of
sequences from the $\mathcal{P}$ and more.
Sequencings in Semidirect Products via the Polynomial Method
Published
• View Publication
• BIB
The partial sums of a sequence ${\mathbf x} = x_1, x_2, \ldots, x_k$ of distinct non-identity elements of a group $(G,\cdot)$ are $s_0 = id_G$ and $s_j = \prod_{i=1}^j x_i$ for $0 < j \leq k$. If the partial sums are all different then ${\mathbf x}$ is a linear sequencing and if the partial sums are all different when $|i-j| \leq t$ then ${\mathbf x}$ is a $t$-weak sequencing. We investigate these notions of sequenceability in semidirect products using the polynomial method. We show that every subset of order $k$ of the non-identity elements of the dihedral group of order $2m$ has a linear sequencing when $k \leq 12$ and either $m>3$ is prime or every prime factor of $m$ is larger than $k!$, unless $s_k$ is unavoidably the identity; that every subset of order $k$ of a non-abelian group of order three times a prime has a linear sequencing when $5 < k \leq 10$, unless $s_k$ is unavoidably the identity; and that if the order of a group is $pe$ then all sufficiently large subsets of the non-identity elements are $t$-weakly sequenceable when $p>3$ is prime, $e \leq 3$ and $t \leq 6$.