Showing 1–24 of 24 results for author: Fried, S

Even-up words and their variants

Authors: Sela Fried

Abstract: Inspired by OEIS sequence A377912, which consists of the nonnegative integers in which every even digit (except possibly the last) is immediately followed by a strictly larger digit, we define even-up and odd-up words over an alphabet of size~$k$ via similar constraints. We introduce and analyze weak and cyclic variants of these words, deriving explicit generating functions for all eight resulting… ▽ More Inspired by OEIS sequence A377912, which consists of the nonnegative integers in which every even digit (except possibly the last) is immediately followed by a strictly larger digit, we define even-up and odd-up words over an alphabet of size~$k$ via similar constraints. We introduce and analyze weak and cyclic variants of these words, deriving explicit generating functions for all eight resulting classes. We then study Catalan words under analogous restrictions. Our results provide new combinatorial interpretations for many integer sequences, including the Motzkin numbers, the Riordan numbers, and the generalized Catalan numbers. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Comments: 11 pages

Counting k-ary words by number of adjacency differences of a prescribed size

Authors: Sela Fried, Toufik Mansour, Mark Shattuck

Abstract: Recently, the general problem of enumerating permutations $π=π_1\cdots π_n$ such that $π_{i+r}-π_i \neq s$ for all $1\leq i\leq n-r$, where $r$ and $s$ are fixed, was considered by Spahn and Zeilberger. In this paper, we consider an analogous problem on $k$-ary words involving the distribution of the corresponding statistic. Note that for $k$-ary words, it suffices to consider only the $r=1$ case… ▽ More Recently, the general problem of enumerating permutations $π=π_1\cdots π_n$ such that $π_{i+r}-π_i \neq s$ for all $1\leq i\leq n-r$, where $r$ and $s$ are fixed, was considered by Spahn and Zeilberger. In this paper, we consider an analogous problem on $k$-ary words involving the distribution of the corresponding statistic. Note that for $k$-ary words, it suffices to consider only the $r=1$ case of the aforementioned problem on permutations. Here, we compute for arbitrary $s$ an explicit formula for the ordinary generating function for $n \geq 0$ of the distribution of the statistic on $k$-ary words $ρ=ρ_1\cdotsρ_n$ recording the number of indices $i$ such that $ρ_{i+1}-ρ_i=s$. This result may then be used to find a comparable formula for finite set partitions with a fixed number of blocks, represented sequentially as restricted growth functions. Further, several sequences from the OEIS arise as enumerators of certain classes of $k$-ary words avoiding adjacencies with a prescribed difference. The comparable problem where one tracks indices $i$ such that the absolute difference $|a_{i+1}-a_i|$ is a fixed number is also considered on $k$-ary words and the corresponding generating function may be expressed in terms of Chebyshev polynomials. Finally, combinatorial proofs are found for several related recurrences and formulas for the total number of adjacencies of the form $a(a+s)$ on the various structures. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: A slightly abbreviated version of this paper will appear in the Journal of Combinatorics later in 2025 or in 2026

MSC Class: 05A15; 05A18

A formula for the number of up-down words

Authors: Sela Fried

Abstract: A word $w_1w_2\cdots w_n$ is said to be up-down if $w_1 < w_2 >w_3 \cdots$. Carlitz and Scoville found the generating function for the number of up-down words over an alphabet of size $k$. Using properties of the Chebyshev polynomials we derive a closed-form formula for these numbers. A word $w_1w_2\cdots w_n$ is said to be up-down if $w_1 < w_2 >w_3 \cdots$. Carlitz and Scoville found the generating function for the number of up-down words over an alphabet of size $k$. Using properties of the Chebyshev polynomials we derive a closed-form formula for these numbers. △ Less

Submitted 8 April, 2025; v1 submitted 3 March, 2025; originally announced March 2025.

Comments: 8 pages. Added a closed formula for cyclic up-down words

Further results on staircase (cyclic) words

Authors: Sela Fried

Abstract: We find the two-variables generating function for the statistic which counts the number of variations in a word bounded by $1$. Thus, we refine and extend previous results concerning staircase words, which are words in which the variation between all consecutive letters is bounded by $1$. We obtain the analogue results for cyclic words. We find the two-variables generating function for the statistic which counts the number of variations in a word bounded by $1$. Thus, we refine and extend previous results concerning staircase words, which are words in which the variation between all consecutive letters is bounded by $1$. We obtain the analogue results for cyclic words. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: 17 pages

Further results on staircase graph words

Authors: Sela Fried

Abstract: Staircase words are words in which consecutive letters do not differ by more than $1$. We generalize this by extending the restriction to letters lying further apart from each other and obtain the corresponding generating functions, which we express in terms of the Chebyshev polynomials of the second kind. Staircase words are words in which consecutive letters do not differ by more than $1$. We generalize this by extending the restriction to letters lying further apart from each other and obtain the corresponding generating functions, which we express in terms of the Chebyshev polynomials of the second kind. △ Less

Submitted 1 February, 2025; v1 submitted 5 November, 2024; originally announced November 2024.

Comments: 7 pages

Proofs of some Conjectures from the OEIS

Authors: Sela Fried

Abstract: In this work we resolve several conjectures stated in the On-Line Encyclopedia of Integer sequences. In this work we resolve several conjectures stated in the On-Line Encyclopedia of Integer sequences. △ Less

Submitted 26 October, 2024; v1 submitted 6 October, 2024; originally announced October 2024.

Comments: 17 pages, extended version

Counting $r\times s$ rectangles in nondecreasing and Smirnov words

Authors: Sela Fried

Abstract: The rectangle capacity, a word statistic that was recently introduced by the author and Mansour, counts, for two fixed positive integers $r$ and $s$, the number of occurrences of a rectangle of size $r\times s$ in the bargraph representation of a word. In this work we find the bivariate generating function for the distribution on nondecreasing words of the number of $r\times s$ rectangles and the… ▽ More The rectangle capacity, a word statistic that was recently introduced by the author and Mansour, counts, for two fixed positive integers $r$ and $s$, the number of occurrences of a rectangle of size $r\times s$ in the bargraph representation of a word. In this work we find the bivariate generating function for the distribution on nondecreasing words of the number of $r\times s$ rectangles and the generating function for their total number over all nondecreasing words. We also obtain the analog results for Smirnov words, which are words that have no consecutive equal letters. This complements our recent results concerned with general words (i.e., not restricted) and Catalan words. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 16 pages

Counting $r\times s$ rectangles in (Catalan) words

Authors: Sela Fried, Toufik Mansour

Abstract: Generalizing previous results, we introduce and study a new statistic on words, that we call rectangle capacity. For two fixed positive integers $r$ and $s$, this statistic counts the number of occurrences of a rectangle of size $r\times s$ in the bargraph representation of a word. We find the bivariate generating function for the distribution on words of the number of $r\times s$ rectangles and t… ▽ More Generalizing previous results, we introduce and study a new statistic on words, that we call rectangle capacity. For two fixed positive integers $r$ and $s$, this statistic counts the number of occurrences of a rectangle of size $r\times s$ in the bargraph representation of a word. We find the bivariate generating function for the distribution on words of the number of $r\times s$ rectangles and the generating function for their total number over all words. We also obtain the analog results for Catalan words. △ Less

Submitted 11 May, 2024; originally announced May 2024.

Comments: 20 pages

Staircase graph words

Authors: Sela Fried, Toufik Mansour

Abstract: Generalizing the notion of staircase words, introduced by Knopfmacher et.\ al, we define staircase graph words. These are functions $w$ from the vertex set $V$ of a graph into the set $\{1,2,\ldots,k\}$, such that $|w(x)-w(y)|\leq 1$, for every adjacent $x,y\in V$. We find the explicit generating functions for the number of staircase graph words for the grid graph, the rectangle-triangular graph a… ▽ More Generalizing the notion of staircase words, introduced by Knopfmacher et.\ al, we define staircase graph words. These are functions $w$ from the vertex set $V$ of a graph into the set $\{1,2,\ldots,k\}$, such that $|w(x)-w(y)|\leq 1$, for every adjacent $x,y\in V$. We find the explicit generating functions for the number of staircase graph words for the grid graph, the rectangle-triangular graph and the king's graph, all of size $2\times n$. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 14 pages

The total number of descents and levels in tensor words and cyclic tensor words

Authors: Sela Fried, Toufik Mansour

Abstract: We obtain an explicit formula for the total number of descents and levels in tensor words and cyclic tensor words of arbitrary dimension. We also establish the exact maximal number of descents in words and use it to obtain an upper bound on the maximal number of descents in tensor words. We obtain an explicit formula for the total number of descents and levels in tensor words and cyclic tensor words of arbitrary dimension. We also establish the exact maximal number of descents in words and use it to obtain an upper bound on the maximal number of descents in tensor words. △ Less

Submitted 19 November, 2023; originally announced November 2023.

Comments: 9 pages

On the maximal sum of the entries of a matrix power

Authors: Sela Fried, Toufik Mansour

Abstract: Let $p_n$ be the maximal sum of the entries of $A^2$, where $A$ is a square matrix of size $n$, consisting of the numbers $1,2,\ldots,n^2$, each appearing exactly once. We prove that $m_n=Θ(n^7)$. More precisely, we show that $n(240n^{6}+28n^{5}+364n^{4}+210n^{2}-28n+26-105((-1)^{n}+1))/840\leq p_n\leq n^{3}(n^{2}+1)(7n^{2}+5)/24$. Let $p_n$ be the maximal sum of the entries of $A^2$, where $A$ is a square matrix of size $n$, consisting of the numbers $1,2,\ldots,n^2$, each appearing exactly once. We prove that $m_n=Θ(n^7)$. More precisely, we show that $n(240n^{6}+28n^{5}+364n^{4}+210n^{2}-28n+26-105((-1)^{n}+1))/840\leq p_n\leq n^{3}(n^{2}+1)(7n^{2}+5)/24$. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Comments: 6 pages

Random Walk Labelings of Perfect Trees and Other Graphs

Authors: Sela Fried, Toufik Mansour

Abstract: A Random walk labeling of a graph $G$ is any labeling of $G$ that could have been obtained by performing a random walk on $G$. Continuing two recent works, we calculate the number of random walk labelings of perfect trees, combs, and double combs, the torus $C_2\times C_n$, and the graph obtained by connecting three path graphs to form two cycles. A Random walk labeling of a graph $G$ is any labeling of $G$ that could have been obtained by performing a random walk on $G$. Continuing two recent works, we calculate the number of random walk labelings of perfect trees, combs, and double combs, the torus $C_2\times C_n$, and the graph obtained by connecting three path graphs to form two cycles. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Comments: 16 pages

Further Results on Random Walk Labelings

Authors: Sela Fried, Toufik Mansour

Abstract: Recently, we initiated the study of random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that each vertex is labeled upon its first visit. In this work, we calculate the number of random walk labelings of several natural graph families: The wheel, fan, barbell, lollipop, tadpole, friendship, and snake graphs. Additionally, we… ▽ More Recently, we initiated the study of random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that each vertex is labeled upon its first visit. In this work, we calculate the number of random walk labelings of several natural graph families: The wheel, fan, barbell, lollipop, tadpole, friendship, and snake graphs. Additionally, we prove several combinatorial identities that emerged during the calculations. △ Less

Submitted 20 May, 2023; v1 submitted 17 May, 2023; originally announced May 2023.

Comments: 14 pages

Graph Labelings Obtainable by Random Walks

Authors: Sela Fried, Toufik Mansour

Abstract: We initiate the study of what we refer to as random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that the labeling occurs increasingly whenever an unlabeled vertex is encountered. Some of the results we obtain involve sums of inverses of binomial coefficients, for which we obtain new identities. In particular, we prove that… ▽ More We initiate the study of what we refer to as random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that the labeling occurs increasingly whenever an unlabeled vertex is encountered. Some of the results we obtain involve sums of inverses of binomial coefficients, for which we obtain new identities. In particular, we prove that $\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}\binom{n+k}{k}=\binom{2n}{n}2^{-n}\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}$, thus confirming a conjecture of Bala. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 13 pages

Equivalent conditions for the $n$th element of the Beatty sequence $B_{\sqrt{2}}$ being even

Authors: Sela Fried

Abstract: We provide equivalent conditions for the $n$th element of the Beatty sequence $B_{\sqrt{2}}$ being even. In particular, we show that the integer sequences A090892 and A120752 in the OEIS are essentially identical. We provide equivalent conditions for the $n$th element of the Beatty sequence $B_{\sqrt{2}}$ being even. In particular, we show that the integer sequences A090892 and A120752 in the OEIS are essentially identical. △ Less

Submitted 28 December, 2022; originally announced January 2023.

On a conjecture of McNeil

Authors: Sela Fried

Abstract: Suppose that the $n^2$ vertices of the grid graph $P_n^2$ are labeled, such that the set of their labels is $\{1,2,\ldots,n^2\}$. The labeling induces a walk on $P_n^2$, beginning with the vertex whose label is $1$, proceeding to the vertex whose label is $2$, etc., until all vertices are visited. The question of the maximal possible length of such a walk, denoted by $M(P_n^2)$, when the distance… ▽ More Suppose that the $n^2$ vertices of the grid graph $P_n^2$ are labeled, such that the set of their labels is $\{1,2,\ldots,n^2\}$. The labeling induces a walk on $P_n^2$, beginning with the vertex whose label is $1$, proceeding to the vertex whose label is $2$, etc., until all vertices are visited. The question of the maximal possible length of such a walk, denoted by $M(P_n^2)$, when the distance between consecutive vertices is the Manhattan distance, was studied by McNeil, who, based on empirical evidence, conjectured that $M(P_n^2)=n^3-3$, if $n$ is even, and $n^3-n-1$, otherwise. In this work we study the more general case of $P_m\times P_n$ and capture $M(P_m\times P_n)$, up to an additive factor of $1$. This holds, in particular, for the values conjectured by McNeil. △ Less

Submitted 28 November, 2023; v1 submitted 7 August, 2022; originally announced August 2022.

Comments: 4 pages

The minimal sum of squares over partitions with a nonnegative rank

Authors: Sela Fried

Abstract: Motivated by a question of Defant and Propp (2020) regarding the connection between the degrees of noninvertibility of functions and those of their iterates, we address the combinatorial optimization problem of minimizing the sum of squares over partitions of $n$ with a nonnegative rank. Denoting the sequence of the minima by $(m_n)_{n\in\mathbb{N}}$, we prove that $m_n=Θ\left(n^{4/3}\right)$. Con… ▽ More Motivated by a question of Defant and Propp (2020) regarding the connection between the degrees of noninvertibility of functions and those of their iterates, we address the combinatorial optimization problem of minimizing the sum of squares over partitions of $n$ with a nonnegative rank. Denoting the sequence of the minima by $(m_n)_{n\in\mathbb{N}}$, we prove that $m_n=Θ\left(n^{4/3}\right)$. Consequently, we improve by a factor of $2$ the lower bound provided by Defant and Propp for iterates of order two. △ Less

Submitted 4 May, 2022; v1 submitted 16 April, 2022; originally announced April 2022.

Comments: 17 pages, 4 figures, 1 table

The expected degree of noninvertibility of compositions of functions and a related combinatorial identity

Authors: Sela Fried

Abstract: Recently, Defant and Propp [2020] defined the degree of noninvertibility of a function $f\colon X\to Y$ between two finite nonempty sets by $\text{deg}(f)=\frac{1}{|X|}\sum_{x\in X}|f^{-1}(f(x))|$. We obtain an exact formula for the expected degree of noninvertibility of the composition of $t$ functions for every $t\in \mathbb{N}$. An equivalent formulation for the definition of the degree of noni… ▽ More Recently, Defant and Propp [2020] defined the degree of noninvertibility of a function $f\colon X\to Y$ between two finite nonempty sets by $\text{deg}(f)=\frac{1}{|X|}\sum_{x\in X}|f^{-1}(f(x))|$. We obtain an exact formula for the expected degree of noninvertibility of the composition of $t$ functions for every $t\in \mathbb{N}$. An equivalent formulation for the definition of the degree of noninvertibility is then the starting point for a generalization yielding a seemingly new combinatorial identity involving the Stirling transform of the signed Stirling numbers of the first kind. △ Less

Submitted 22 April, 2022; v1 submitted 26 February, 2022; originally announced February 2022.

Comments: 7 pages

$Θ$-Hilbertianity and strong $Θ$-Hilbertianity

Authors: Sela Fried, Dan Haran

Abstract: $Θ$-Hilbertianity and its strengthening, strong $Θ$-Hilbertianity, are two generalizations of Hilbertianity inspired by Jarden's definition of $p$-Hilbertianity and strong $p$-Hilbertianity. Jarden has asked whether the two notions defined by him are actually the same. We address this question in its more general version of $Θ… ▽ More $Θ$-Hilbertianity and its strengthening, strong $Θ$-Hilbertianity, are two generalizations of Hilbertianity inspired by Jarden's definition of $p$-Hilbertianity and strong $p$-Hilbertianity. Jarden has asked whether the two notions defined by him are actually the same. We address this question in its more general version of $Θ$-Hilbertianity and show that for PRC, and, in particular, for PAC fields, $p$-Hilbertianity and strong $p$-Hilbertianity coincide. △ Less

Submitted 25 November, 2021; originally announced November 2021.

Comments: To appear in Israel Journal of Mathematics

On the coefficients of the distinct monomials in the expansion of $x_1(x_1+x_2)\cdots(x_1+x_2+\cdots+x_n)$

Authors: Sela Fried

Abstract: We initiate the study of the coefficients of the distinct monomials in the expansion of the multivariate polynomials $x_1(x_1+x_2)\cdots(x_1+x_2+\cdots+x_n), n\in\N$. In particular we obtain several results regarding their maximal coefficients. We initiate the study of the coefficients of the distinct monomials in the expansion of the multivariate polynomials $x_1(x_1+x_2)\cdots(x_1+x_2+\cdots+x_n), n\in\N$. In particular we obtain several results regarding their maximal coefficients. △ Less

Submitted 5 December, 2021; v1 submitted 14 November, 2021; originally announced November 2021.

The restrictiveness of the hazard rate order and the moments of the maximal coordinate of a random vector uniformly distributed on the probability n-simplex

Authors: Sela Fried

Abstract: Continuing the work of [9] who defined the restrictiveness of stochastic orders and calculated the restrictiveness of the usual stochastic order and the likelihood ratio order, we calculate the restrictiveness of the hazard rate order. Inspired by the works of [17] and [24], we propose a possible application of the restrictiveness results in randomness testing. We then apply a dimension reduction… ▽ More Continuing the work of [9] who defined the restrictiveness of stochastic orders and calculated the restrictiveness of the usual stochastic order and the likelihood ratio order, we calculate the restrictiveness of the hazard rate order. Inspired by the works of [17] and [24], we propose a possible application of the restrictiveness results in randomness testing. We then apply a dimension reduction technique, that proved useful in obtaining the restrictiveness results, and provide an alternative proof for Whitworth's formula. By integrating the formula, we derive the moments of the maximal coordinate of a random vector that is uniformly distributed on the probability $n$-simplex. △ Less

Submitted 1 August, 2021; originally announced August 2021.

Identity testing of reversible Markov chains

Authors: Sela Fried, Geoffrey Wolfer

Abstract: We consider the problem of identity testing of Markov chain transition matrices based on a single trajectory of observations under the distance notion introduced by Daskalakis et al. [2018a] and further analyzed by Cherapanamjeri and Bartlett [2019]. Both works made the restrictive assumption that the Markov chains under consideration are symmetric. In this work we relax the symmetry assumption an… ▽ More We consider the problem of identity testing of Markov chain transition matrices based on a single trajectory of observations under the distance notion introduced by Daskalakis et al. [2018a] and further analyzed by Cherapanamjeri and Bartlett [2019]. Both works made the restrictive assumption that the Markov chains under consideration are symmetric. In this work we relax the symmetry assumption and show that it is possible to perform identity testing under the much weaker assumption of reversibility, provided that the stationary distributions of the reference and of the unknown Markov chains are close under a distance notion related to the separation distance. Additionally, we provide intuition on the distance notion of Daskalakis et al. [2018a] by showing how it behaves under several natural operations. In particular, we address some of their open questions. △ Less

Submitted 11 March, 2022; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: To appear in AISTATS'22

On the restrictiveness of the hazard rate order

Authors: S. Fried

Abstract: Every element $θ=(θ_1,\ldots,θ_n)$ of the probability $n$-simplex induces a probability distribution $P_θ$ of a random variable $X$ that can assume only a finite number of real values $x_1 < \cdots < x_n$ by defining $P_θ(X=x_i) = θ_i, 1\leq i \leq n$. We show that if $Θ$ and $Θ'$ are two random vectors uniformly distributed on $Δ^n$, then $P(P_Θ\leq_{\rm hr} P_{Θ'})=\frac{1}{2^{n-1}}$ where… ▽ More Every element $θ=(θ_1,\ldots,θ_n)$ of the probability $n$-simplex induces a probability distribution $P_θ$ of a random variable $X$ that can assume only a finite number of real values $x_1 < \cdots < x_n$ by defining $P_θ(X=x_i) = θ_i, 1\leq i \leq n$. We show that if $Θ$ and $Θ'$ are two random vectors uniformly distributed on $Δ^n$, then $P(P_Θ\leq_{\rm hr} P_{Θ'})=\frac{1}{2^{n-1}}$ where $\leq_{\rm hr}$ denotes the hazard rate order. △ Less

Submitted 4 September, 2020; originally announced September 2020.

The probability that two random points on the $n$-probability simplex are comparable with respect to the first order stochastic dominance and the monotone likelihood ratio partial orders

Authors: Sela Fried

Abstract: First order stochastic dominance and monotone likelihood ratio are two partial orders on the $n$-probability simplex that play an important role in the establishment of structural results for MDPs and POMDPs. We study the strength of those partial orders in terms of how likely it is for two random points on the $n$-probability simplex to be comparable with respect to each of the two partial orders… ▽ More First order stochastic dominance and monotone likelihood ratio are two partial orders on the $n$-probability simplex that play an important role in the establishment of structural results for MDPs and POMDPs. We study the strength of those partial orders in terms of how likely it is for two random points on the $n$-probability simplex to be comparable with respect to each of the two partial orders. △ Less

Submitted 12 April, 2020; v1 submitted 3 October, 2019; originally announced October 2019.