sequence
6966 papers tagged with this keyword
Transport of patterns by Burge transpose
Published
• View Publication
• BIB
We take the first steps in developing a theory of transport of patterns from Fishburn permutations to (modified) ascent sequences. Given a set of pattern avoiding Fishburn permutations, we provide an explicit construction for the basis of the corresponding set of modified ascent sequences. Our approach is in fact more general and can transport patterns between permutations and equivalence classes of so called Cayley permutations. This transport of patterns relies on a simple operation we call the Burge transpose. It operates on certain biwords called Burge words. Moreover, using mesh patterns on Cayley permutations, we present an alternative view of the transport of patterns as a Wilf-equivalence between subsets of Cayley permutations. We also highlight a connection with primitive ascent sequences.
Bounding the $k$-Steiner Wiener and Wiener-type indices of trees in terms of eccentric sequence
Published
• View Publication
• BIB
The eccentric sequence of a connected graph $G$ is the nondecreasing sequence of the eccentricities of its vertices. The Wiener index of $G$ is the sum of the distances between all unordered pairs of vertices of $G$. The unique trees that minimise the Wiener index among all trees with a given eccentric sequence were recently determined by the present authors. In this paper we show that these results hold not only for the Wiener index, but for a large class of distance-based topological indices which we term Wiener-type indices. Particular cases of this class include the hyper-Wiener index, the Harary index, the generalised Wiener index $W^λ$ for $λ>0$ and $λ<0$, and the reciprocal complementary Wiener index. Our results imply and unify known bounds on these Wiener-type indices for trees of given order and diameter.
We also present similar results for the $k$-Steiner Wiener index of trees with a given eccentric sequence. The Steiner distance of a set $A\subseteq V(G)$ is theminimum number of edges in a subtree of $G$ whose vertex set contains $A$, and the $k$-Steiner Wiener index is the sum of distances of all $k$-element subsets of $V(G)$. As a corollary, we obtain a sharp lower bound on the $k$-Steiner Wiener index of trees with given order and diameter, and determine in which cases the extremal tree is unique, thereby correcting an error in the literature.
Expanders and right-angled Artin groups
Published
• View Publication
• BIB
The purpose of this article is to give a characterization of families of expander graphs via right-angled Artin groups. We prove that a sequence of simplicial graphs $\{Γ_i\}_{i\in\mathbb{N}}$ forms a family of expander graphs if and only if a certain natural mini-max invariant arising from the cup product in the cohomology rings of the groups $\{A(Γ_i)\}_{i\in\mathbb{N}}$ agrees with the Cheeger constant of the sequence of graphs, thus allowing us to characterize expander graphs via cohomology. This result is proved in the more general framework of \emph{vector space expanders}, a novel structure consisting of sequences of vector spaces equipped with vector-space-valued bilinear pairings which satisfy a certain mini-max condition. These objects can be considered to be analogues of expander graphs in the realm of linear algebra, with a dictionary being given by the cup product in cohomology, and in this context represent a different approach to expanders that those developed by Lubotzky-Zelmanov and Bourgain-Yehudayoff.
There are level ternary circular square-free words of length $n$ for $n\ne 5,7,9,10,14,17.$
A word is level if each letter appears in it the same number of times, plus or minus 1. We give a complete characterization of the lengths for which level ternary circular square-free words exist. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences
Generalized Bijective Maps between $G$-Parking Functions, Spanning Trees, and the Tutte Polynomial
Published
• View Publication
• BIB
We introduce an object called a tree growing sequence (TGS) in an effort to generalize bijective correspondences between $G$-parking functions, spanning trees, and the set of monomials in the Tutte polynomial of a graph $G$. A tree growing sequence determines an algorithm which can be applied to a single function, or to the set $\mathcal{P}_{G,q}$ of $G$-parking functions. When the latter is chosen, the algorithm uses splitting operations - inspired by the recursive defintion of the Tutte polynomial - to iteratively break $\mathcal{P}_{G,q}$ into disjoint subsets. This results in bijective maps $τ$ and $ρ$ from $\mathcal{P}_{G,q}$ to the spanning trees of $G$ and Tutte monomials, respectively. We compare the TGS algorithm to Dhar's algorithm and the family described by Chebikin and Pylyavskyy. Finally, we compute a Tutte polynomial of a zonotopal tiling using analogous splitting operations.
Adapted Sequences and Polyhedral Realizations of Crystal Bases for highest weight modules
Published in Journal of Algebra, Volume 574 (2021)
• View Publication
• BIB
The polyhedral realizations for crystal bases of the integrable highest weight modules of $U_q(\mathfrak{g})$ have been introduced in ([T.Nakashima, J. Algebra, vol.219, no. 2, (1999)]), which describe the crystal bases as sets of lattice points in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$ given by some system of linear inequalities, where $\mathfrak{g}$ is a symmetrizable Kac-Moody Lie algebra. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. If the pair ($ι$,$λ$) ($λ$: a dominant integral weight) satisfies the `ample' condition then there are some procedure to calculate the sets of linear inequalities.
In this article, we show that if $ι$ is an adapted sequence (defined in our paper [Y.Kanakubo, T.Nakashima, arXiv:1904.10919]) then the pair ($ι$, $λ$) satisfies the ample condition for any dominant integral weight $λ$ in the case $\mathfrak{g}$ is a classical Lie algebra. Furthermore, we reveal the explicit forms of the polyhedral realizations of the crystal bases $B(λ)$ associated with arbitrary adapted sequences $ι$ in terms of column tableaux. As an application, we will give a combinatorial description of the function $\varepsilon_i^*$ on the crystal base $B(\infty)$.
Graph sequences sampled from Robinson graphons
Published in European Journal of Combinatorics, 2024, 103859
• View Publication
• BIB
The function $Γ$ on the space of graphons, introduced in [CGH$^+$15], aims to measure the extent to which a graphon $w$ exhibits the Robinson property: for all $x<y<z$, $w(x,z)\leq \min\{ w(x,y),w(y,z)\}$. Robinson graphons form a model for graphs with a natural line embedding so that most edges are local. Function $Γ$ is compatible with the cut-norm $\|\cdot \|_\Box$, in the sense that graphons close in cut-norm have similar $Γ$-values. Here we show the converse, by proving that every graphon $w$ can be approximated by a Robinson graphon $R_w$ so that $\|w-R_w\|_\Box$ is bounded in terms of $Γ(w)$. We then use classical techniques from functional analysis to show that a converging graph sequence $\{G_n\}$ converges to a Robinson graphon if and only if $Γ(G_n)\rightarrow 0$. Finally, using probabilistic techniques we show that the rate of convergence of $Γ$ for graph sequences sampled from a Robinson graphon can differ substantially depending on how strongly $w$ exhibits the Robinson property.
Computationally Inequivalent Summations and Their Parenthetic Forms
Floating-point addition on a finite-precision machine is not associative, so not all mathematically equivalent summations are computationally equivalent. Making this assumption can lead to numerical error in computations. Proper ordering and parenthesizing is a low-overhead way of mitigating such error in a floating point summation.
Ordered and parenthesized summations fall into equivalence classes. We describe these classes, and the parenthetic forms summations in these classes take. We provide summation-related interpretations for sequences known in other contexts, and give new recursive and closed formulas for sequences not previously related to summation.
We also introduce a data structure that facilitates understanding of these objects, and use it to consider certain forms of summation used by default in widely used computer languages. Finally, we relate this data structure to other mathematical constructs from the fields of mathematical analysis and algorithmic analysis.
On Increasing and Invariant Parking Sequences
The notion of parking sequences is a new generalization of parking functions introduced by Ehrenborg and Happ. In the parking process defining the classical parking functions, instead of each car only taking one parking space, we allow the cars to have different sizes and each takes up a number of adjacent parking spaces after a trailer $T$ parked on the first $z-1$ spots. A preference sequence in which all the cars are able to park is called a parking sequence. In this paper, we study increasing parking sequences and count them via bijections to lattice paths with right boundaries. Then we study two notions of invariance in parking sequences and present various characterizations and enumerative results.
Farey sequence and Graham's conjectures
Published
• View Publication
• BIB
Let ${F}_{n}$ be the Farey sequence of order $n$. For $S \subseteq {F}_n$ we let $\mathcal{Q}(S) = \left\{x/y:x,y\in S, x\le y \, \, \textrm{and} \, \, y\neq 0\right\}$. We show that if $\mathcal{Q}(S)\subseteq F_n$, then $|S|\leq n+1$. Moreover, we prove that in any of the following cases: (1) $\mathcal{Q}(S)=F_n$; (2) $\mathcal{Q}(S)\subseteq F_n$ and $|S|=n+1$, we must have $S = \left\{0,1,\frac{1}{2},\ldots,\frac{1}{n}\right\}$ or $S=\left\{0,1,\frac{1}{n},\ldots,\frac{n-1}{n}\right\}$ except for $n=4$, where we have an additional set $\{0, 1, \frac{1}{2}, \frac{1}{3}, \frac{2}{3}\}$ for the second case. Our results are based on Graham's GCD conjectures, which have been proved by Balasubramanian and Soundararajan.
Some observations on the Rueppel sequence and associated Hankel determinants
Starting with a definition based on the Catalan numbers, we carry out an empirical study of the Rueppel sequence. We use the Hankel transform as the main technique. By means of this transform we find links to such sequences as the Jacobi sequence and the paper-folding sequence. We also study several number arrays defined by this sequence, which are analogs of the important Catalan triangles of combinatorics. We identify a sequence related to the Golay-Rudin-Shapiro sequence that plays a fundamental role in linking the Hankel transforms of the paper with classical sequences. Examples are given where certain privileged permutations appearing in the Leibnitz formula for determinants have a special role.
Rational dynamical systems, $S$-units, and $D$-finite power series
Published in Alg. Number Th. 15 (2021) 1699-1728
• View Publication
• BIB
Let $K$ be an algebraically closed field of characteristic zero and let $G$ be a finitely generated subgroup of the multiplicative group of $K$. We consider $K$-valued sequences of the form $a_n:=f(\varphi^n(x_0))$, where $\varphi\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $K$ and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $\varphi$ and $f$. Many classical sequences from number theory and algebraic combinatorics fall under this dynamical framework, and we show that the set of $n$ for which $a_n\in G$ is a finite union of arithmetic progressions along with a set of Banach density zero. In addition, we show that if $a_n\in G$ for every $n$ and $X$ is irreducible and the $\varphi$ orbit of $x$ is Zariski dense in $X$ then there are a multiplicative torus $\mathbb{G}_m^d$ and maps $Ψ:\mathbb{G}_m^d \to \mathbb{G}_m^d$ and $g:\mathbb{G}_m^d \to \mathbb{G}_m$ such that $a_n = g\circ Ψ^n(y)$ for some $y\in \mathbb{G}_m^d$. We then obtain results about the coefficients of $D$-finite power series using these facts.
Pointwise densities of homogeneous Cantor measure and critical values
Published
• View Publication
• BIB
Let $N\ge 2$ and $ρ\in(0,1/N^2]$. The homogenous Cantor set $E$ is the self-similar set generated by the iterated function system
\[
\left\{f_i(x)=ρx+\frac{i(1-ρ)}{N-1}: i=0,1,\ldots, N-1\right\}.
\]
Let $s=\dim_H E$ be the Hausdorff dimension of $E$, and let $μ=\mathcal H^s|_E$ be the $s$-dimensional Hausdorff measure restricted to $E$. In this paper we describe, for each $x\in E$, the pointwise lower $s$-density $Θ_*^s(μ,x)$ and upper $s$-density $Θ^{*s}(μ, x)$ of $μ$ at $x$. This extends some early results of Feng et al. (2000). Furthermore, we determine two critical values $a_c$ and $b_c$ for the sets
\[
E_*(a)=\left\{x\in E: Θ_*^s(μ, x)\ge a\right\}\quad\textrm{and}\quad E^*(b)=\left\{x\in E: Θ^{*s}(μ, x)\le b\right\}
\]
respectively, such that $\dim_H E_*(a)>0$ if and only if $a<a_c$, and that $\dim_H E^*(b)>0$ if and only if $b>b_c$. We emphasize that both values $a_c$ and $b_c$ are related to the Thue-Morse type sequences, and our strategy to find them relies on ideas from open dynamics and techniques from combinatorics on words.
Non-decreasing Deutsch paths
Published
• View Publication
• BIB
A variation of Dyck paths allows for down-steps of arbitrary length, not just one. This is motivated by ideas published by Emeric Deutsch around the turn of the millenium. We are interested in the subclass of them where the sequence of the levels of valleys is non-decreasing. This was studied around 20 years ago in the classical case.
Hydrodynamic limit of Robinson-Schensted-Knuth algorithm
Published in Random Structures Algorithms 60 (2022), 106-116
• View Publication
• BIB
We investigate the evolution in time of the position of a fixed number in the insertion tableau when the Robinson-Schensted-Knuth algorithm is applied to a sequence of random numbers. When the length of the sequence tends to infinity, a typical trajectory after scaling converges uniformly in probability to some deterministic curve.
Avoiding 5/4-powers on the alphabet of nonnegative integers
Published in The Electronic Journal of Combinatorics 27 (2020) #P3.42 (39 pages)
• View Publication
• BIB
We identify the structure of the lexicographically least word avoiding 5/4-powers on the alphabet of nonnegative integers. Specifically, we show that this word has the form $p τ(\varphi(z) \varphi^2(z) \cdots)$ where $p, z$ are finite words, $\varphi$ is a 6-uniform morphism, and $τ$ is a coding. This description yields a recurrence for the $i$th letter, which we use to prove that the sequence of letters is 6-regular with rank 188. More generally, we prove $k$-regularity for a sequence satisfying a recurrence of the same type.
Congruences for two types of Apery-like sequences
Published
• View Publication
• BIB
In this paper we present many results and conjectures on congruences involving two types of Apéry-like sequences $\{G_n(x)\}$ and $\{V_n(x)\}$.
Packing minima and lattice points in convex bodies
Published in Moscow J. Comb. Number Th. 10 (2021) 25-48
• View Publication
• BIB
Motivated by long-standing conjectures on the discretization of classical inequalities in the Geometry of Numbers, we investigate a new set of parameters, which we call \emph{packing minima}, associated to a convex body $K$ and a lattice $Λ$. These numbers interpolate between the successive minima of $K$ and the inverse of the successive minima of the polar body of $K$, and can be understood as packing counterparts to the covering minima of Kannan & Lovász (1988). As our main results, we prove sharp inequalities that relate the volume and the number of lattice points in $K$ to the sequence of packing minima. Moreover, we extend classical transference bounds and discuss a natural class of examples in detail.
Investigating the discrepancy property of de Bruijn sequences
Published
• View Publication
• BIB
The discrepancy of a binary string refers to the maximum (absolute) difference between the number of ones and the number of zeroes over all possible substrings of the given binary string. We provide an investigation of the discrepancy of known simple constructions of de Bruijn sequences. Furthermore, we demonstrate constructions that attain the lower bound of $Θ(n)$ and a new construction that attains the previously known upper bound of $Θ(\frac{2^n}{\sqrt{n}})$. This extends the work of Cooper and Heitsch~[\emph{Discrete Mathematics}, 310 (2010)].
On the proportion of prefix codes in the set of three-element codes
Published in Discrete Mathematics 343 (2020) 111939
• View Publication
• BIB
Let $L$ be a finite sequence of natural numbers. In Woryna (2017,2018), we derived some interesting properties for the ratio $ρ_{n,L}=|PR_n(L)|/|UD_n(L)|$, where $UD_n(L)$ denotes the set of all codes over an $n$-letter alphabet and with length distribution $L$, and $PR_n(L)\subseteq UD_n(L)$ is the corresponding subset of prefix codes. In the present paper, we study the case when the length distributions are three-element sequences. We show in this case that the ratio $ρ_{n,L}$ is always greater than $α_n$, where $α_n=(n-2)/n$ for $n>2$ and $α_2=1/6$. Moreover, the number $α_n$ is the best possible lower bound for this ratio, as the length distributions of the form $L=(1,1,c)$ and $L=(1,2,c)$ assure that the ratios asymptotically approach $α_n$. Namely, if $L=(1,1,c)$, then $ρ_{n,L}$ tends to $(n-2)/n$ with $c\to\infty$, and, if $L=(1,2,c)$, then $ρ_{2,L}$ tends to $1/6$ with $c\to\infty$.