sequence
7050 papers tagged with this keyword
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
Published
• View Publication
• BIB
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.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
Convolutive sequences, I: Through the lens of integer partition functions
Published
• View Publication
• BIB
Motivated by the convolutive behavior of the counting function for partitions with designated summands in which all parts are odd, we consider coefficient sequences $(a_n)_{n\ge 0}$ of primitive eta-products that satisfy the generic convolutive property
\begin{align*}
\sum_{n\ge 0} a_{mn} q^n = \left(\sum_{n\ge 0} a_n q^n\right)^m
\end{align*}
for a specific positive integer $m$. Given the results of an exhaustive search of the Online Encyclopedia of Integer Sequences for such sequences for $m$ up to $6$, we first focus on the case where $m=2$ with our attention mainly paid to the combinatorics of two $2$-convolutive sequences, featuring bijective proofs for both. For other $2$-convolutive sequences discovered in the OEIS, we apply generating function manipulations to show their convolutivity. We also give two examples of $3$-convolutive sequences. Finally, we discuss other convolutive series that are not eta-products.
Order-Dependent Dissimilarity Measures on Phylogenetic Trees
Published
• View Publication
• BIB
Ordered leaf attachment, Phylo2Vec, and HOP are three recently introduced vector representations for rooted phylogenetic trees where the representation is determined by an ordering of the underlying leaf set X. Comparing the vectors of two rooted phylogenetic X-trees T and T' for a fixed ordering on X leads to polynomial-time computable measure for the dissimilarity of T and T', albeit dependent on the choice of the leaf ordering. For each of ordered leaf attachment, Phylo2Vec, and HOP, we compare this measure with the rooted subtree prune and regraft distance (rSPR), the hybrid number, and the temporal tree-child hybrid number of T and T'. Although there is no direct relationship between rSPR and any of the three vector-based measures, we show that, when minimized over all orderings, the hybrid number is equivalent to HOP, and an upper bound on the other two. Moreover, when minimized over all orderings induced by common cherry-picking sequences of T and T', the temporal tree-child hybrid number of T and T' is equivalent to each of the three vector-based measures.
Leaf to leaf path lengths in trees of given degree sequence
Published
• View Publication
• BIB
For a tree $T$, let $lp(T)$ be the number of different lengths of leaf to leaf paths in $T$. For a degree sequence $s$ of a tree, let ${\rm rad}(s)$ be the minimum radius of a tree with degree sequence $s$. Recently, Di Braccio, Katsamaktsis, Ma, Malekshahian, and Zhao provided a lower bound on $lp(T)$ in terms of the number of leaves and the maximum degree of $T$, answering a related question posed by Narins, Pokrovskiy, and Szabó. Here we show $lp(T)\geq {\rm rad}(s)-\log_2\left({\rm rad}(s)\right)$ for a tree $T$ with no vertex of degree $2$ and degree sequence $s$, and discuss possible improvements and variants.
A Fast Coloring Oracle for Average Case Hypergraphs
Hypergraph $2$-colorability is one of the classical NP-hard problems. Person and Schacht [SODA'09] designed a deterministic algorithm whose expected running time is polynomial over a uniformly chosen $2$-colorable $3$-uniform hypergraph. Lee, Molla, and Nagle recently extended this to $k$-uniform hypergraphs for all $k\geq 3$. Both papers relied heavily on the regularity lemma, hence their analysis was involved and their running time hid tower-type constants.
Our first result in this paper is a new simple and elementary deterministic $2$-coloring algorithm that reproves the theorems of Person-Schacht and Lee-Molla-Nagle while avoiding the use of the regularity lemma. We also show how to turn our new algorithm into a randomized one with average expected running time of only $O(n)$.
Our second and main result gives what we consider to be the ultimate evidence of just how easy it is to find a $2$-coloring of an average $2$-colorable hypergraph. We define a coloring oracle to be an algorithm which, given vertex $v$, assigns color red/blue to $v$ while inspecting as few edges as possible, so that the answers to any sequence of queries to the oracle are consistent with a single legal $2$-coloring of the input. Surprisingly, we show that there is a coloring oracle that, on average, can answer every vertex query in time $O(1)$.
Universal diameter bounds for random graphs with given degrees
Given a graph $G$, let $\mathrm{diam}(G)$ be the greatest distance between any two vertices of $G$ which lie in the same connected component, and let $\mathrm{diam}^+(G)$ be the greatest distance between any two vertices of $G$; so $\mathrm{diam}^+(G)=\infty$ if $G$ is not connected.
Fix a sequence $(d_1,\ldots,d_n)$ of positive integers, and let $\mathbf{G}$ be a uniformly random connected simple graph with $V(\mathbf{G})=[n]:=\{1,\ldots,n\}$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$. We show that, unless a $1-o(1)$ proportion of vertices have degree $2$, then $\mathbb{E}[\mathrm{diam}(\mathbf{G})]=O(\sqrt{n})$. It is not hard to see that this bound is best possible for general degree sequences (and in particular in the case of trees, in which $\sum_{v=1}^n d_v = 2(n-1)$). We also prove that this bound holds without the connectivity constraint. As a key input to the proofs, we show that graphs with minimum degree $3$ are with high probability connected and have logarithmic diameter: if $\min(d_1,\ldots,d_n) \ge 3$ and $\mathbf{G}$ is a uniformly random simple graph with $V(\mathbf{G})=[n]$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$, then $\mathrm{diam}^+(\mathbf{G})=$ $O_{\mathbb{P}}(\log n)$; this bound is also best possible.
Domino Tilings of the Aztec Diamond in Random Environment and Schur Generating Functions
We study the asymptotic behavior of random domino tilings of the Aztec diamond of size $M$ in a random environment, where the environment is a one-periodic sequence of i.i.d. random weights attached to domino positions (i.e., to the edges of the underlying portion of the square grid). We consider two cases: either the variance of the weights decreases at a critical scale $1/M$, or the distribution of the weights is fixed. In the former case, the unrescaled fluctuations of the domino height function are governed by the sum of a Gaussian Free Field and an independent Brownian motion. In the latter case, we establish fluctuations on the much larger scale $\sqrt M$, given by the Brownian motion alone.
To access asymptotic fluctuations in random environment, we employ the method of Schur generating functions. Moreover, we substantially extend the known Law of Large Numbers and Central Limit Theorems for particle systems via Schur generating functions in order to apply them to our setting. These results might be of independent interest.
On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic
Ratios of D-finite sequences and their limits -- known as Apéry limits -- have driven much of the work on irrationality proofs since Apéry's 1979 breakthrough proof of the irrationality of $ζ(3)$. We extend ratios of D-finite sequences to a high-dimensional setting by introducing the Conservative Matrix Field (CMF). We demonstrate how classical Apéry limits are included by this object as special cases. A useful construction of CMFs is provided, drawing a connection to gauge transformations and to representations of shift operators in finite dimensional modules of Ore algebras. Finally, numerical experiments on these objects reveal surprising arithmetic and dynamical phenomena, which are formulated into conjectures. If established, these conjectures would extend Poincaré--Perron asymptotics to higher dimensions, potentially opening the door to optimization-based searches for new irrationality proofs.
Finding a solution to the Erdős-Ginzburg-Ziv theorem in $O(n\log\log\log n)$ time
The Erdős-Ginzburg-Ziv theorem states that for any sequence of $2n-1$ integers, there exists a subsequence of $n$ elements whose sum is divisible by $n$. In this article, we provide a simple, practical $O(n\log\log n)$ algorithm and a theoretical $O(n\log\log\log n)$ algorithm, both of which improve upon the best previously known $O(n\log n)$ approach. This shows that a specific variant of boolean convolution can be implemented in time faster than the usual $O(n\log n)$ expected from FFT-based methods.
Mixed Segre zeta functions and their log-concavity
We introduce and study the mixed Segre zeta function of a sequence of homogeneous ideals in a polynomial ring. This function is a power series encoding information about the mixed Segre classes obtained by extending the ideals to projective spaces of arbitrarily large dimension. Our work generalizes and unifies results by Kleiman and Thorup on mixed Segre classes and by Aluffi on Segre zeta functions. We prove that this power series is rational, with poles corresponding to the degrees of the generators of the ideals. We also show that the mixed Segre zeta function only depends on the integral closure of the ideals. Finally, we prove that the homogenization of the numerator of a modification of the mixed Segre zeta function is denormalized Lorentzian in the sense of Brändén and Huh.
Counting with two-level polynomials
Published
• View Publication
• BIB
We examine combinatorial counting functions with two parameters, $n$ and $q$. For fixed $q$, these functions are (quasi-)polynomial in $n$. As $q$ varies, the degree of this polynomial is itself polynomial in $q$, as are the leading coefficients. We carefully define these two-level polynomials, lay out their basic algebraic properties, and provide a schema for showing a function is a two-level polynomial. Using the schema, we prove that a variety of counting functions arising in different areas of combinatorics are two-level polynomials. These include chromatic polynomials for many infinite families of graphs, partitions of an integer into a given number of parts, placing non-attacking chess pieces on a board, Sidon sets, and Sheffer sequences (including binomial type and Appell sequences).
Automated Counting of Spanning Trees for Several Infinite Families of Graphs
Published
• View Publication
• BIB
Using the theoretical basis developed by Yao and Zeilberger, we consider certain graph families whose structure results in a rational generating function for sequences related to spanning tree enumeration. Said families are Powers of Cycles and Powers of Path; later, we briefly discuss Torus graphs and Grid graphs. In each case we know, a priori, that the set of spanning trees of the family of graphs can be described in terms of a finite-state-machine, and hence there is a finite transfer-matrix that guarantees the generating function is rational. Finding this ``grammar'', and hence the transfer-matrix is very tedious, so a much more efficient approach is to use experimental mathematics. Since computing numerical determinants is so fast, one can use the matrix tree theorem to generate sufficiently many terms, then fit the data to a rational function. The whole procedure can be done rigorously a posteriori.