sequence
6845 papers tagged with this keyword
Self-similarity of Communities of the ABCD Model
The Artificial Benchmark for Community Detection (ABCD) graph is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs similar to the well-known LFR model but it is faster and can be investigated analytically.
In this paper, we show that the ABCD model exhibits some interesting self-similar behaviour, namely, the degree distribution of ground-truth communities is asymptotically the same as the degree distribution of the whole graph (appropriately normalized based on their sizes). As a result, we can not only estimate the number of edges induced by each community but also the number of self-loops and multi-edges generated during the process. Understanding these quantities is important as (a) rewiring self-loops and multi-edges to keep the graph simple is an expensive part of the algorithm, and (b) every rewiring causes the underlying configuration models to deviate slightly from uniform simple graphs on their corresponding degree sequences.
The minimum number of peeling sequences of a point set
Let $P$ be a set of $n$ points in $\mathbb{R}^d$, in general position. We remove all of them one by one, in each step erasing one vertex of the convex hull of the current remaining set. Let $g_d(P)$ denote the number of different removal orders we can attain while erasing all points of $P$ this way, and let $g_d(n)$ be the \emph{minimum} of $g_d(P)$ over all $n$-element point sets $P\subset \mathbb{R}^d$. Dumitrescu and Tóth showed that $g_d(n)=(d+1)^{(d+1)^2n}$. We substantially improve their bound, by proving that $g_d(n)= O((d+d\ln{(d)})^{(2+\frac{(d-1)}{\lfloor d\ln{d}\rfloor})n})$. It follows that, for any $ε>0$, there exist sufficiently high dimensional point sets $P\subset \mathbb{R}^d$ with $g_d(P)\leq O(d^{(2+ε)n})$. This almost closes the gap between the upper bound and the best-known lower bound $(d+1)^n$ for large values of $d$.
Composable Constraint Models for Permutation Enumeration
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (January 22, 2025) dmtcs:12620
• View Publication
• BIB
Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is that problems can easily be combined or expanded. In this paper, we illustrate that this versatility makes CP an ideal tool for exploring problems in permutation patterns.
We declaratively define permutation properties, permutation pattern avoidance and containment constraints using CP and show how this allows us to solve a wide range of problems. We show how this approach enables the arbitrary composition of these conditions, and also allows the easy addition of extra conditions. We demonstrate the effectiveness of our techniques by modelling the containment and avoidance of six permutation patterns, eight permutation properties and measuring five statistics on the resulting permutations. In addition to calculating properties and statistics for the generated permutations, we show that arbitrary additional constraints can also be easily and efficiently added.
This approach enables mathematicians to investigate permutation pattern problems in a quick and efficient manner. We demonstrate the utility of constraint programming for permutation patterns by showing how we can easily and efficiently extend the known permutation counts for a conjecture involving the class of $1324$ avoiding permutations. For this problem, we expand the enumeration of $1324$-avoiding permutations with a fixed number of inversions to permutations of length 16 and show for the first time that in the enumeration there is a pattern occurring which follows a unique sequence on the Online Encyclopedia of Integer Sequences.
Asymptotic Log-concavity of Dominant Lower Bruhat Intervals via Brunn--Minkowski Inequality
Björner and Ekedahl [Ann. of Math. (2), 170.2(2009), pp. 799--817] pioneered the study of length-counting sequences associated with parabolic lower Bruhat intervals in crystallographic Coxeter groups. In this paper, we study the asymptotic behavior of these sequences in affine Weyl groups. Let $W$ be an affine Weyl group with corresponding Weyl group $W_f$ and ${}^{f}{W}$ be the set of minimal representatives for the right cosets $W_f \backslash W$. Let $t_λ$ be the translation by a dominant coroot lattice element $λ$ and ${}^{f}{b}_i^{t_λ}$ be the number of elements of length $i$ below $t_λ$ in the Bruhat order on ${}^{f}{W}$. We show that the sequence $({}^{f}{b}_i^{t_λ})_i$ is ''asymptotically log-concave'' in the following sense: The sequence of discrete measures $(\mathfrak{m}_k)_k$ constructed from the $k$-fold dilated sequence $({}^{f}{b}_i^{t_{kλ}})_i$, as $k$ tends to infinity, converges weakly to a continuous measure obtained from a polytope $P^λ$. Moreover, the sequence of step functions $(S_k)_k$ of $({}^{f}{b}_i^{t_{kλ}})_i$ converges uniformly to the density function of this continuous measure. By Brunn--Minkowski inequality, this density is log-concave.
On the Structure of Permutation Invariant Parking
We continue the study of parking assortments, a generalization of parking functions introduced by Chen, Harris, Martínez, Pabón-Cancel, and Sargent. Given $n$ cars of lengths $\mathbf{y}=(y_1,y_2,\dots,y_n) \in \mathbb{N}^n$, we focus on the sets $\mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$ and $\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$ of permutation invariant (resp. nondecreasing) parking assortments for $\mathbf{y}$. For $\mathbf{x} \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$, we introduce the degree of $\mathbf{x}$, the number of non-$1$ entries of $\mathbf{x}$, and the characteristic $χ(\mathbf{y})$ of $\mathbf{y}$, the greatest degree of $\mathbf{z} \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$. We establish direct necessary conditions for $\mathbf{y}$ with $χ(\mathbf{y})=0$ and a characterization for $\mathbf{y}$ with $χ(\mathbf{y})=n-1$. For the latter, we derive a closed form for its invariant parking set and enumerate its size using properties of the Pitman-Stanley polytope. Next, we prove closure and embedding properties of the invariant parking set. We apply these results to study the degree as a function and the characteristic under sequences of successive prefix length vectors. We then examine the invariant solution set $\mathcal{W}(\mathbf{y})=\{ w \in \mathbb{N}:(1^{n-1},w) \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y}) \}$. We obtain tight upper bounds of this set and prove that its size is at most $2^{n-1}$, providing constraints on the subsequence sums of $\mathbf{y}$ for equality to hold. Finally, we show that if $\mathbf{x} \in \mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$, then $\mathbf{x} \in \{ 1 \}^{n-χ(\mathbf{y})} \times \mathcal{W}(\mathbf{y})^{χ(\mathbf{y})}$, which implies a new upper bound on $|\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})|$. Our results generalize several theorems by Chen et al.
On the Number of Degenerate Simplex Pivots
The simplex algorithm is one of the most popular algorithms to solve linear programs (LPs). Starting at an extreme point solution of an LP, it performs a sequence of basis exchanges (called pivots) that allows one to move to a better extreme point along an improving edge-direction of the underlying polyhedron. A key issue in the simplex algorithm's performance is degeneracy, which may lead to a (potentially long) sequence of basis exchanges which do not change the current extreme point solution. In this paper, we prove that it is always possible to limit the number of consecutive degenerate pivots that the simplex algorithm performs to $n-m-1$, where $n$ is the number of variables and $m$ is the number of equality constraints of a given LP in standard equality form.
Low-lying geodesics on the modular surface and necklaces
The m-thick part of the modular surface X is the smallest compact subsurface of X with horocycle boundary containing all the closed geodesics which wind around the cusp at most m times. The m-thick parts form a compact exhaustion of X. We are interested in the geodesics that lie in the m-thick part (so called m low-lying geodesics). We produce a complete asymptotic expansion for the number of m low-lying geodesics of length equal to 2n in the modular surface. In particular, we obtain the asymptotic growth rate of the m low-lying geodesics in terms of their word length using the natural generators of the modular group. After establishing a correspondence between this counting problem and the problem of counting necklaces with n beads, we perform a careful singularity analysis on the associated generating function of the sequence.
Difference ascent sequences
Let alpha = a_1 a_2 ... a_n be a sequence of nonnegative integers. The ascent set of alpha, Asc(alpha), consists of all indices k where a_{k+1} > a_k. An ascent sequence is alpha where the growth of the a_k is bounded by the elements of Asc(alpha). These sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev and have many wonderful properties. In particular, they are in bijection with unlabeled (2+2)-free posets, permutations avoiding a particular bivincular pattern, certain upper-triangular nonnegative integer matrices, and a class of matchings. A weak ascent of alpha is an index k with a_{k+1} >= a_k and weak ascent sequences are defined analogously to ascent sequences. These were studied by Bényi, Claesson and Dukes and shown to have analogous equinumerous sets. Given a nonnegative integer d, we define a difference d ascent to be an index k such that a_{k+1} > a_k - d. We study the properties of the corresponding d-ascent sequences, showing that some of the maps from the weak case can be extended to bijections for general d while the extensions of others continue to be injective (but not surjective). We also make connections with other combinatorial objects such as rooted duplication trees and restricted growth functions.
Arndt compositions: a generating functions approach
We use generating functions to enumerate Arndt compositions, that is, integer compositions where there is a descent between every second pair of parts, starting with the first and second part, and so on. In 2013, Jörg Arndt noted that this family of compositions is counted by the Fibonacci sequence. We provide an approach that is purely based on generating functions to prove this observation. We also enumerate these compositions with respect to the number of parts and the last part. From this approach, we can generalize some recent results given by Hopkins and Tangboonduangjit in 2023. Finally, we study some possible generalizations of this counting problem.
Repetition factorization of automatic sequences
Following Inoue et al., we define a word to be a repetition if it is a (fractional) power of exponent at least 2. A word has a repetition factorization if it is the product of repetitions. We study repetition factorizations in several (generalized) automatic sequences, including the infinite Fibonacci word, the Thue-Morse word, paperfolding words, and the Rudin-Shapiro sequence.
A graph-theoretic remark on Stieltjes moment sequences
For any integer $k\geq 1,$ define $L_k: \mathbb{R}^\mathbb{N}\to \mathbb{R}^\mathbb{N}$ by $(a_n)_{n\in\mathbb{N}}\mapsto (a'_n)_{n\in\mathbb{N}}$ where $a'_n=\det(a_{n+i+j})_{i,j=0}^{k-1}$. Previously, Zhu showed that $L_k$ preserves the Stieltjes moment (SM) property of sequences (Proc. Am. Math. Soc., 2019). The proof used the characterization of SM sequences in terms of positive semidefinite Hankel matrices. In this note, we give another proof by viewing SM sequences as weighted enumerations of closed walks on $\mathbb{N}$. Our proof is essentially a double-counting argument that views a $k$-tuple of non-crossing Dyck paths as a single closed walk on some bipartite subgraph of $\mathbb{N}^k.$
Expanders Satisfy the Weak Meyniel Conjecture
We show that if $\{G_n\}_{n\geq 1}$ is a sequence of graphs of order $n$ with bounded maximum degree and isoperimetric function $Φ(G_n,n^{1-α})$ bounded away from $0$ as $n\rightarrow \infty$, then the cop number of $G_n$ is at most $O(n^{\frac{1+α}{2}+o(1)})$. It is unclear if this bound is tight given our assumption that the maximum degree of our sequence is bounded. All the same, recent work by Hosseini, Mohar, and Gonzalez Hermosillo de la Maza strongly motivates considering the bounded degree case, as they show that proving that the cop number of graphs of bounded max degree is $O(n^{1-ε})$ would also prove that for all graphs the cop number is $O(n^{1-α})$ for some $α>0$. This would resolve a weak version of a notable conjecture by Meyniel. Next, we prove that certain unintuitive graphs necessarily exist and have large cop number if the weak version Meyniel's conjecture is false. We concluding by conjecturing that any such unintuitive graphs must be expanders and would therefore not have large cop number by the upper bound we show. Thus, our conjecture would imply a weak version of Meyniel's conjecture.
Every atom-atom map can be explained by electron pushing diagrams
Chemical reactions can be understood as transformations of multigraphs (molecules) that preserve vertex labels (atoms) and degrees (sums of bonding and non-bonding electrons), thereby implying the atom-atom map of a reaction. The corresponding reaction mechanism is often described by an electron pushing diagram that explains the transformation by consecutive local relocations of invidudal edges (electron pairs). Here, we show that every degree-preserving map between multigraphs, and thus every atom-atom map, can be generated by cyclic electron pushing. Moreover, it is always possible to decompose such an explanation into electron pushing diagrams involving only four electron pairs. This in turn implies that every reaction can be decomposed into a sequence of elementary reactions that involve at most two educt molecules and two product molecules. Hence, the requirement of a mechanistic explantion in terms of electron pushing and small imaginary transition states does not impose a combinatorial constraint on the feasibility of hypothetical chemical reactions.
Asymptotics of self-overlapping permutations
Published in Discrete Math., vol. 348, Issue 5, May 2025, 114400 (2025)
• View Publication
• BIB
In this work, we study the concept of self-overlapping permutations, which is related to the larger study of consecutive patterns in permutations. We show that this concept admits a simple and clear geometrical meaning, and prove that a permutation can be represented as a sequence of non-self-overlapping ones. The above structural decomposition allows us to obtain equations for the corresponding generating functions, as well as the complete asymptotic expansions for the probability that a large random permutation is (non-)self-overlapping. In particular, we show that almost all permutations are non-self-overlapping, and that the corresponding asymptotic expansion has the self-reference property: the involved coefficients count non-self-overlapping permutations once again. We also establish complete asymptotic expansions of the distributions of very tight non-self-overlapping patterns, and discuss the similarities of the non-self-overlapping permutations to other permutation building blocks, such as indecomposable and simple permutations, as well as their associated asymptotics.
Achromatic colorings of polarity graphs
A complete partition of a graph $G$ is a partition of the vertex set such that there is at least one edge between any two parts. The largest $r$ such that $G$ has a complete partition into $r$ parts, each of which is an independent set, is the achromatic number of $G$. We determine the achromatic number of polarity graphs of biaffine planes coming from generalized polygons. Our colorings of a family of unitary polarity graphs are used to solve a problem of Axenovich and Martin on complete partitions of $C_4$-free graphs. Furthermore, these colorings prove that there are sequences of graphs which are optimally complete and have unbounded degree, a problem that had been studied for the sequence of hypercubes independently by Roichman, and Ahlswede, Bezrukov, Blokhuis, Metsch, and Moorhouse.
Folding median graphs
Extending Stallings' foldings of trees, we show in this article that every parallel-preserving map between median graphs factors as an isometric embedding through a sequence of elementary transformations which we call foldings and swellings. This new construction proposes a unified point of view on Beeker and Lazarovich's work on folding pocsets and on Ben-Zvi, Kropholler, and Lyman's work on folding nonpositively curved cube complexes.
On a problem of Erdős and Graham about consecutive sums in strictly increasing sequences
We show the existence of a constant $c > 0$ such that, for all positive integers $n$, there exist integers $1 \leq a_1 < \ldots < a_k \leq n$ such that there are at least $cn^2$ distinct integers of the form $\sum_{i=u}^{v}a_i$ with $1 \leq u \leq v \leq k$. This answers a question of Erdős and Graham. We also prove a non-trivial upper bound on the maximum number of distinct integers of this form and address several open problems.
The Hierarchy of Hereditary Sorting Operators
Published in Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
• View Publication
• BIB
We consider the following general model of a sorting procedure: we fix a hereditary permutation class $\mathcal{C}$, which corresponds to the operations that the procedure is allowed to perform in a single step. The input of sorting is a permutation $π$ of the set $[n]=\{1,2,\dotsc,n\}$, i.e., a sequence where each element of $[n]$ appears once. In every step, the sorting procedure picks a permutation $σ$ of length $n$ from $\mathcal{C}$, and rearranges the current permutation of numbers by composing it with $σ$. The goal is to transform the input $π$ into the sorted sequence $1,2,\dotsc,n$ in as few steps as possible.
This model of sorting captures not only classical sorting algorithms, like insertion sort or bubble sort, but also sorting by series of devices, like stacks or parallel queues, as well as sorting by block operations commonly considered, e.g., in the context of genome rearrangement.
Our goal is to describe the possible asymptotic behavior of the worst-case number of steps needed when sorting with a hereditary permutation class. As the main result, we show that any hereditary permutation class $\mathcal{C}$ falls into one of five distinct categories. Disregarding the classes that cannot sort all permutations, the number of steps needed to sort any permutation of $[n]$ with $\mathcal{C}$ is either $Θ(n^2)$, a function between $O(n)$ and $Ω(\sqrt{n})$, a function betwee $O(\log^2 n)$ and $Ω(\log n), or $1$, and for each of these cases we provide a structural characterization of the corresponding hereditary classes.
Alternating patterns in commutator monomials
Considering commutator monomials of the non-commutative associative variables $X_1,\ldots,X_n$; we determine the maximal possible number of alternating associative monomials in their noncommutative polynomial expansions. This is achieved by replacing generating functions with polytope sequences, which turn out to be finitely generated in some sense.
Phylogenetic trees defined by at most three characters
In evolutionary biology, phylogenetic trees are commonly inferred from a set of characters (partitions) of a collection of biological entities (e.g., species or individuals in a population). Such characters naturally arise from molecular sequences or morphological data. Interestingly, it has been known for some time that any binary phylogenetic tree can be (convexly) defined by a set of at most four characters, and that there are binary phylogenetic trees for which three characters are not enough. Thus, it is of interest to characterise those phylogenetic trees that are defined by a set of at most three characters. In this paper, we provide such a characterisation, in particular proving that a binary phylogenetic tree $T$ is defined by a set of at most three characters precisely if $T$ has no internal subtree isomorphic to a certain tree.