sequence
6845 papers tagged with this keyword
Is the space of reachable particle configurations dense?
Let $p_0,\ldots,p_n$ be a finite sequence of points in an Euclidean space $\R^d$. Suppose that there is a (pointlike) particle sitting at each point $p_i$. In a ``legal'' move, any one of them can jump over another, landing on the other side, at exactly the same distance. Under what circumstances can we guarantee that for any $\varepsilon>0$ and any other sequence of points $q_0,\ldots, q_n\in\R^d$, there is a finite sequence of legal moves that takes the particle at $p_i$ to the $\varepsilon$-neighborhood of $q_i$, simultaneously for every $i$?
We prove that this is possible if and only if the additive group generated by the vectors $p_1-p_0,\ldots,p_n-p_0$ is dense in $\R^d$.
Catalan number sequences and generalized action graphs
Published in Mathematics Exchange 18 (2025) 88-106
• View Publication
• BIB
Action graphs emerged from work of Bergner and Hackney on category actions in the context of Reedy categories. Alvarez, Bergner, and Lopez showed that action graphs could be inductively generated without reference to category actions and have a close relationship with the sequence of Catalan numbers. These graphs were further generalized in work of Cressman, Lin, Nguyen, and Wiljanen, who showed that the Fuss-Catalan numbers have a similar relation to another set of inductively defined directed graphs. In our paper, we consider several other sequences related to the Catalan numbers, namely Catalan's triangle, $(a,b)$-Catalan numbers, internal triangles, and super Catalan numbers. We show action graphs cannot be generalized to Catalan's triangle, $(a,b)$-Catalan numbers, nor internal triangles. We also conjecture a method for constructing action graphs for the Super Catalan numbers.
Conditions for building generalized action graphs from sequences
This paper explores the properties of directed graphs, termed generalized action graphs, which exhibit a strong connection to certain number sequences. Focusing on the structural and combinatorial aspects, we investigate the conditions under which specific sequences can generate generalized action graphs. Building upon prior research in this field, we analyze specific features of these graphs and how they correspond to patterns and properties in their sequences. These findings support a broader conclusion that establishes framework for identifying which sequences can produce generalized action graphs.
Slavic Techniques for Hat Guessing Algorithms
2023 undergraduate thesis on a deterministic "hat game." For a digraph $D$, each player stands on a vertex $v$, is assigned a hat from $h(v)$ possible colors, and makes $g(v)$ guesses of her hat's color based on her out-neighbors' hats. If there exists a collective strategy that guarantees a correct guess for any hat assignment, the game is winnable. Which games $(D,g,h)$ are winnable? Two much-studied parameters: $μ(D)$ is the maximum integer $k$ such that $(D,1,k)$ is winnable, and $\hatμ(D)$ is the supremum of $h/g$ for integer $h, g$ such that $(D,g,h)$ is winnable.
Chapter 0 is a casual, riddle-based introduction. Chapter 1 taxonomizes the games, surveys all previous work, and summarizes the piece. Chapter 2 proves lemmata and easy cases. Chapter 3 uses "hats as hints" and "admissible paths" for games on cycles. Chapter 4 generalizes several "constructors" and applies them to tree games. Chapter 5 uses "combinatorial prisms" for a new angle on the well-studied $K_{n,m}$ games. In chapter 6, we apply "dependency digraphs" to the continuous limit of this game. Chapter 7 collects open problems and minor results.
We show:
$(C_{k\geq 4},1,h)$ is winnable if and only if: $h=3$ and $k$ is divisible by $3$ or equal to $4$, $h\leq 4$ and the $h(v)$ sequence $(3,2,3)$ or $(2,3,3)$ appears in the cycle, or the $h(v)$ sequence $(2,...,2)$ appears with no intervening value $>4$.
$(T, 1, h)$ is winnable for tree $T$ iff $T$ has a subtree $T'$ with $h(v)\leq 2^{deg_{T'}(v)}$ for all $v\in V(T')$.
For a digraph $D$, $\hatμ(D)\leq e(Δ^-+1)$. For a graph $G$, $\hatμ(G)\leq (Δ-1)^{1-Δ} Δ^Δ<eΔ$.
$(\overrightarrow{C}_k, g, h)$ is unwinnable if $g(v_i)/h(v_i) + g(v_{i+1})/h(v_{i+1}) < 1$ for some $i$.
And much else. Important open questions: what other graph parameters or properties bound $μ$? What complexity classes are at play?
Partial Deranged Bell Numbers and Their Combinatorial Properties
We introduce a novel generalization of deranged Bell numbers by defining the partial deranged Bell numbers $w_{n,r}$, which count the number of set partitions of $\left[ n\right] $ with exactly $r$ fixed blocks, while the remaining blocks are deranged. This construction provides a unified framework that connects partial derangements, Stirling numbers, and ordered Bell numbers. We investigate their combinatorial properties, including explicit formulas, generating functions, and recurrence relations. Moreover, we demonstrate that these numbers are expressible in terms of classical sequences such as deranged Bell numbers and ordered Bell numbers, and reveal their relationship to complementary Bell numbers, offering insights relevant to Wilf's conjecture. Notably, we derive the identity \[ \tildeφ_{n}=\Tilde{w}_{n,0}-\Tilde{w}_{n,1}=\tilde{w}_{n-1,0}-2\tilde {w}_{n-1,2}, \] which illustrates their structural connection to complementary Bell numbers. We also introduce a polynomial expansion for these numbers and explore their connections with exponential polynomials, geometric polynomials, and Bernoulli numbers. These relationships facilitate the derivation of closed-form expressions for certain finite summations involving Stirling numbers of the second kind, Bernoulli numbers, and binomial coefficients, articulated through partial derangement numbers.
Second order free cumulants: product, commutator, and anti-commutator
Given two second order free random variables $a$ and $b$, we study the second order free cumulants of their product $ab$, their commutator $ab-ba$, and their anti-commutator $ab+ba$. Let $(κ_n^a)_{n\geq 1}$ and $(κ_{n,m}^a)_{n,m\geq 1}$ denote the sequence of free cumulants of first and second order, respectively, of a random variable $a$ in a second order non-commutative probability space $(\mathcal{A},\varphi,\varphi^2)$. Given $a$ and $b$ two second order freely independent random variables, we provide formulas to compute each of the cumulants $(κ_{n,m}^{ab})_{n,m\geq 1}$, $(κ_{n,m}^{ab-ba})_{n,m\geq 1}$, and $(κ_{n,m}^{ab+ba})_{n,m\geq 1}$ in terms of the individual cumulants $(κ_{n}^{a})_{n\geq 1}$, $(κ_{n,m}^{a})_{n,m\geq 1}$, $(κ_{n}^{b})_{n\geq 1}$, and $(κ_{n,m}^{b})_{n,m\geq 1}$. For $n=m=1$ our formulas read: \begin{align*} κ_{1,1}^{ab} &= κ_{2}^{a}κ_{2}^{b} +κ_{1,1}^{a}(κ_{1}^{b})^2+κ_{1,1}^{b}(κ_{1}^{a})^2,\\ κ_{1,1}^{ab-ba} &= 2κ_{2}^{a}κ_{2}^{b},\\ κ_{1,1}^{ab+ba} &= 2κ_{2}^{a}κ_{2}^{b} +4κ_{1,1}^{a}(κ_{1}^{b})^2+4κ_{1,1}^{b}(κ_{1}^{a})^2. \end{align*}
In general, our formulas express the cumulants $κ_{n,m}^{ab}$, $κ_{n,m}^{ab-ba}$, and $κ_{n,m}^{ab+ba}$ as sums indexed by special subsets of non-crossing partitioned permutations. The formulas for the commutator and anti-commutator where not studied before, while the formula for the product was only known in the case the where the individual second order free cumulants vanish. As an application, we compute explicitly the cumulants of the anti-commutator and product of two second order free semicircular variables.
Higher-order Stirling cycle and subset triangles: Total positivity, continued fractions and real-rootedness
Given a lower-triangular matrix of real numbers, one can ask the following four total-positivity questions: total positivity of the triangle itself; total positivity of its row-reversal; Toeplitz-total positivity of its row sequences (equivalent to negative-real-rootedness of the row-generating polynomials); and coefficientwise Hankel-total positivity of the sequence of row-generating polynomials. In this paper, we introduce two infinite families of lower-triangular matrices generalising the Stirling cycle and subset triangles, parametrised by an integer $r \ge 1$; we call these the $r$th-order Stirling cycle and subset numbers. We then ask the foregoing four questions for each of these triangles, leading us to several conjectures. We then prove some of these conjectures for the case $r=2$.
Guessing sequences of eigenvectors for LMPs defining spectrahedral relaxations of Eulerian rigidly convex sets
Stable multivariate Eulerian polynomials were introduced by Brändén. Particularizing some variables, it is possible to extract real zero multivariate Eulerian polynomials from them. These real zero multivariate Eulerian polynomials can be fed into constructions of spectrahedral relaxations providing therefore approximations to the (Eulerian) rigidly convex sets defined by these polynomials. The accuracy of these approximations is measured through the behaviour in the diagonal, where the usual univariate Eulerian polynomials sit. In particular, in this sense, the accuracy of the global spectrahedral approximation produced by the spectrahedral relaxation can be measured in terms of bounds for the extreme roots of univariate Eulerian polynomials. The bounds thus obtained beat the previous bounds found in the literature. However, the bound explicitly studied and obtained before beat the previously known bounds by a quantity going to $0$ when $n$ goes to infinity. Here we use numerical experiments to construct a sequence of vectors providing a (linearized) bound whose difference with the previous known bounds is a growing exponential function (going therefore fast to infinity when $n$ grows). This allows us to establish a better (diagonal) measure of accuracy for the spectrahedral relaxation of the Eulerian rigidly convex sets. In particular, we will achieve this by linearizing through the sequence of vectors $\{(y,(-2^{m-i})_{i=3}^{m},(0,\frac{1}{2}),(1)_{i=1}^{m})\in\mathbb{R}^{n+1}\}_{n=1}^{\infty}$ for even $n=2m$.
Characterizing semi-directed phylogenetic networks and their multi-rootable variants
In evolutionary biology, phylogenetic networks are graphs that provide a flexible framework for representing complex evolutionary histories that involve reticulate evolutionary events. Recently phylogenetic studies have started to focus on a special class of such networks called semi-directed networks. These graphs are defined as mixed graphs that can be obtained by de-orienting some of the arcs in some rooted phylogenetic network, that is, a directed acyclic graph whose leaves correspond to a collection of species and that has a single source or root vertex. However, this definition of semi-directed networks is implicit in nature since it is not clear when a mixed-graph enjoys this property or not. In this paper, we introduce novel, explicit mathematical characterizations of semi-directed networks, and also multi-semi-directed networks, that is, mixed graphs that can be obtained from directed phylogenetic networks that may have more than one root. In addition, through extending foundational tools from the theory of rooted networks into the semi-directed setting - such as cherry picking sequences, omnians, and path partitions - we characterize when a (multi-)semi-directed network can be obtained by de-orienting some rooted network that is contained in one of the well-known classes of tree-child, orchard, tree-based or forest-based networks. These results address structural aspects of (multi-)semi-directed networks and pave the way to improved theoretical and computational analyses of such networks, for example, within the development of algebraic evolutionary models that are based on such networks.
On ascent sequences avoiding 021 and a pattern of length four
Ascent sequences of length $n$ avoiding the pattern $021$ are enumerated by the $n$-th Catalan number $C_n=\frac{1}{n+1}\binom{2n}{n}$. In this paper, we extend this result and enumerate ascent sequences avoiding $\{021,τ\}$, where $τ$ is a pattern of length four. We in turn identify all of the corresponding Wilf-equivalence classes and find generating function formulas corresponding to each class. In a couple of cases, we make use of an auxiliary statistic and the kernel method to ascertain the generating function. In several cases, our work of enumeration is shortened by establishing the equivalence of $\{021,τ\}$- and $\{021,τ'\}$-avoiders of a given length through an explicit bijection. As a consequence of our results, one obtains new combinatorial interpretations in terms of ascent sequences for several of the entries in the OEIS.
Integer sequences with conjectured relation with certain graph parameters of the family of linear Jaco graphs
This experimental study presents some interesting conjectured relations between some integer sequences and certain graph parameters of the family of linear Jaco graphs $J_n(x)$ where $n = 1,2,3,\dots$. It appears that $\textit{Golden ratio}$-like floor function terms play an important role in the analysis of the graph structural properties of the family of linear Jaco graphs. The experimental methodology to obtain the conjectures is indeed trivial. However, it is the author's view that the proofs or disproofs of the conjectures may be challenging.
Elliptic Curves, Riordan arrays and Lattice Paths
In this note, we show that to each elliptic curve of the form $$y^2-axy-y=x^3-bx^2-cx,$$ we can associate a family of lattice paths whose step set is determined by the parameters of the elliptic curve. The enumeration of these lattice paths is by means of an associated Riordan array. The curves and the paths have associated Somos $4$ sequences which are essentially the same. For the curves the link to Somos $4$ sequences is a classical result, via the elliptic divisibility sequence. For the paths the link is via a Hankel transform.
Random graphs, expanding families and the construction of noncompact hyperbolic surfaces with uniform spectral gaps
In this paper, we introduce and analyze a random graph model $\mathcal{F}_{χ,n}$, which is a configuration model consisting of interior and boundary vertices. We investigate the asymptotic behavior of eigenvalues for graphs in $\mathcal{F}_{χ,n}$ under various growth regimes of $χ$ and $n$. When $n = o\left(χ^{\frac{2}{3}}\right)$, we prove that almost every graph in the model is connected and forms an expander family. We also establish upper bounds for the first Steklov eigenvalue, identifying scenarios in which expanders cannot be constructed. Furthermore, we explicitly construct an expanding family in the critical regime $n \asymp g$, and apply it to build a sequence of complete, noncompact hyperbolic surfaces with uniformly positive spectral gaps.
On Cloitre's hiccup sequences
In 2003, Benoit Cloitre entered a family of sequences in the OEIS that we call hiccup sequences. We collect the various claims, observations, and proofs of properties of these sequences that have been entered in the OEIS over the years, and present a unified approach, inspired by a remarkable theorem of Bosma, Dekking, and Steiner.
Asymptotic normality of embedding distributions of some families of graphs
Computing the embedding distribution of a given graph is a fundamental question in topological graph theory. In this article, we extend our viewpoint to a sequence of graphs and consider their asymptotic embedding distributions, which are often the normal distribution. We establish the asymptotic normality of several families of graphs by developing adapted tools and frameworks. We expect that these tools and frameworks can be used on other families of graphs to establish the asymptotic normality of their embedding distributions. Several open questions and conjectures are also raised in our investigation.
Pairs of intertwined integer sequences
In previous work we computed the number $C_n(q)$ of ideals of codimension $n$ of the algebra ${\mathbb{F}}_q[x,y,x^{-1}, y^{-1}]$ of two-variable Laurent polynomials over a finite field: it turned out that $C_n(q)$ is a palindromic polynomial of degree $2n$ in $q$, divisible by $(q-1)^2$. The quotient $P_n(q) = C_n(q)/(q-1)^2$ is a palindromic polynomial of degree $2n-2$. For each $n\geq 1$ let ${\overline{P}}_n(X) \in {\mathbb{Z}}[X]$ be the degree $n-1$ polynomial such that ${\overline{P}}_n(q+q^{-1}) = P_n(q)/q^{n-1}$. In this note we show that for any integer $N$ the integer value ${\overline{P}}_n(N)$ is close to the value at $N$ of the degree $n-1$ polynomial $F_{n-1}(X) = 1 + \sum_{k=1}^{n-1} \, {\overline{T}}_k(X)$, which is a sum of monic versions ${\overline{T}}_k(X)$ of Chebyshev polynomials of the first kind. We give a precise formula for ${\overline{P}}_n(X)$ as a linear combination of $F_k(X)$'s, each appearance of the latter being parametrized by an odd divisor of $n$. As a consequence, ${\overline{P}}_n(X) = F_{n-1}(X)$ if and only if $n$ is a power of $2$. We exhibit similar formulas for $C_n(q)$.
Convergent sequences of combinatorial submodular setfunctions
To illustrate that the notion of convergence of submodular function sequences fits reasonably into the limit theory of graphs, we describe several classes of matroids and other submodular setfunctions for which convergence of appropriate sequences can be proved. Some of the proofs are surprisingly nontrivial.
Extremal Degree Irregularity Bounds for Albertson and Sigma Indices in Trees and Bipartite Graphs
In this paper, the study of extreme value bounds for topological indices is crucial for understanding their influence on trees and bipartite graphs. For integers $α, p$ satisfying $1 \leq p \leq α\leq Δ- 3$, the minimum Albertson index $\operatorname{irr}_{\min}$ has the following lower bound: $$ \operatorname{irr}_{\min} \geq Δ^2 (Δ- 1) \frac{2^α}{(Δ- p)^2}. $$ This work examines the maximum and minimum values of the Albertson index in bipartite graphs, depending on the sizes of their bipartition sets. Utilizing a known corollary, explicit formulas and bounds are derived to characterize the irregularity measure under various vertex size conditions. Additionally, upper bounds for the Albertson and Sigma indices are established using graph parameters such as degrees and edge counts. The theoretical findings are illustrated with examples and inequalities involving degree sequences, advancing the understanding of extremal irregularity behavior in bipartite graphs.
Characterizations of certain matroids by maximizing valuative invariants
Luis Ferroni and Alex Fink recently introduced a polytope of all unlabeled matroids of rank $r$ on $n$ elements, and they showed that the vertices of this polytope come from matroids that can be characterized by maximizing a sequence of valuative invariants. We prove that a number of the matroids that they conjectured to yield vertices indeed do (these include cycle matroids of complete graphs, projective geometries, and Dowling geometries), and we give additional examples (including truncations of cycle matroids of complete graphs, Bose-Burton geometries, and binary and free spikes with tips). We prove a special case of a conjecture of Ferroni and Fink by showing that direct sums of uniform matroids yield vertices of their polytope, and we prove a similar result for direct sums whose components are in certain restricted classes of extremal matroids.
Quasimodular forms arising from Jacobi's theta function and special symmetric polynomials
Ramanujan derived a sequence of even weight $2n$ quasimodular forms $U_{2n}(q)$ from derivatives of Jacobi's weight $3/2$ theta function. Using the generating function for this sequence, one can construct sequences of quasimodular forms of all nonnegative integer weights with minimal input: a weight 1 modular form and a power series $F(X)$. Using the weight 1 form $θ(q)^2$ and $F(X)=\exp(X/2)$, we obtain a sequence $\{Y_n(q)\}$ of weight $n$ quasimodular forms on $Γ_0(4)$ whose symmetric function avatars $\widetilde{Y}_n(\pmb{x}^k)$ are the symmetric polynomials $T_n(\pmb{x}^k)$ that arise naturally in the study of syzygies of numerical semigroups. With this information, we settle two conjectures about the $T_n(\pmb{x}^k).$ Finally, we note that these polynomials are systematically given in terms of the Borel-Hirzebruch $\widehat{A}$-genus for spin manifolds, where one identifies power sum symmetric functions $p_i$ with Pontryagin classes.