sequence
6845 papers tagged with this keyword
On the Correspondence Between Integer Sequences and Vacillating Tableaux
A fundamental identity in the representation theory of the partition algebra is $n^k = \sum_λ f^λm_k^λ$ for $n \geq 2k$, where $λ$ ranges over integer partitions of $n$, $f^λ$ is the number of standard Young tableaux of shape $λ$, and $m_k^λ$ is the number of vacillating tableaux of shape $λ$ and length $2k$. Using a combination of RSK insertion and jeu de taquin, Halverson and Lewandowski constructed a bijection $DI_n^k$ that maps each integer sequence in $[n]^k$ to a pair of tableaux of the same shape, where one is a standard Young tableau and the other is a vacillating tableau. In this paper, we study the fine properties of Halverson and Lewandowski's bijection and explore the correspondence between integer sequences and the vacillating tableaux via the map $DI_n^k$ for general integers $n$ and $k$. In particular, we characterize the integer sequences $\boldsymbol{i}$ whose corresponding shape, $λ$, in the image $DI_n^k(\boldsymbol{i})$, satisfies $λ_1 = n$ or $λ_1 = n-k$.
Sequence saturation
Published in Discrete Applied Mathematics 360C (2025) pp. 382-393, published online
• View Publication
• BIB
In this paper, we introduce saturation and semisaturation functions of sequences, and we prove a number of fundamental results about these functions. Given a forbidden sequence $u$ with $r$ distinct letters, we say that a sequence $s$ on a given alphabet is $u$-saturated if $s$ is $r$-sparse, $u$-free, and adding any letter from the alphabet to an arbitrary position in $s$ violates $r$-sparsity or induces a copy of $u$. We say that $s$ is $u$-semisaturated if $s$ is $r$-sparse and adding any letter from the alphabet to $s$ violates $r$-sparsity or induces a new copy of $u$. Let the saturation function $\operatorname{Sat}(u, n)$ denote the minimum possible length of a $u$-saturated sequence on an alphabet of size $n$, and let the semisaturation function $\operatorname{Ssat}(u, n)$ denote the minimum possible length of a $u$-semisaturated sequence on an alphabet of size $n$. For alternating sequences, we determine both the saturation function and the semisaturation function up to a constant multiplicative factor. We show for every sequence that the semisaturation function is always either $O(1)$ or $Θ(n)$. For the saturation function, we show that every sequence $u$ has either $\operatorname{Sat}(u, n) \ge n$ or $\operatorname{Sat}(u, n) = O(1)$. For every sequence with $2$ distinct letters, we show that the saturation function is always either $O(1)$ or $Θ(n)$.
Homological smoothness and Deligne resolution for tropical fans
We say that a tropical fan is homologically smooth if each of its open subsets verify tropical Poincare duality. A tropical homology manifold is a tropical variety that is locally modelled by open subsets of homologically smooth tropical fans.
We show that homological smoothness is a T-stable property in the category of tropical fans. This implies in particular that quasilinear fans are homologically smooth, and tropical varieties locally modelled by them are tropical homology manifolds. Previously, this was known only for locally matroidal tropical varieties.
In order to show the above results, we prove a tropical analogue of the Deligne weight spectral sequence for homologically smooth tropical fans. This allows to describe the cohomology of tropical modifications, and will be of importance in our companion work which develops a Hodge theory in the tropical setting.
Degree sequence condition for Hamiltonicity in tough graphs
Generalizing both Dirac's condition and Ore's condition for Hamilton cycles, Chvátal in 1972 established a degree sequence condition for the existence of a Hamilton cycle in a graph. Hoàng in 1995 generalized Chvátal's degree sequence condition for 1-tough graphs and conjectured a $t$-tough analogue for any positive integer $t\ge 1$. Hoàng in the same paper verified his conjecture for $t\le 3$ and recently Hoàng and Robin verified the conjecture for $t=4$. In this paper, we confirm the conjecture for all $t\ge 4$. The proof depends on two newly established results on cycle structures in tough graphs, which hold independent interest.
On Some Properties of Accessible Sets
A set $D \subseteq \mathbb{N}$ is called $r$-large if every $r$-coloring of $\mathbb{N}$ admits arbitrarily long monochromatic arithmetic progressions $a,a+d,...,a+(k-1)d$ with gap $d \in D$. Closely related to largeness is accessibility; a set $D \subseteq \mathbb{N}$ is called $r$-accessible if every $r$-coloring of $\mathbb{N}$ admits arbitrarily long monochromatic sequences $x_1,x_2,...,x_k$ with $x_{i+1}-x_{i} \in D$. It is known that if $D \subseteq \mathbb{N}$ is $2$-large, then the gaps between elements in $D$ cannot grow exponentially. In this paper, we show that if $D$ is $2$-accessible, then the gaps between elements in $D$ cannot grow much faster than exponentially. Additionally, we show that the notion of accessibility is equivalent to that of topological recurrence.
Antimagic and product antimagic graphs with pendant edges
Let $G=(V,E)$ be a simple graph of size $m$ and $L$ a set of $m$ distinct real numbers. An $L$-labeling of $G$ is a bijection $φ: E \rightarrow L$. We say that $φ$ is an antimagic $L$-labeling if the induced vertex sum $φ_+: V \rightarrow \mathbb {R}$ defined as $φ_+(u)=\sum_{uv\in E}φ(uv)$ is injective. Similarly, $φ$ is a product antimagic $L$-labeling of $G$ if the induced vertex product $φ_{\circ}: V \rightarrow \mathbb {R}$ defined as $φ_{\circ}(u)=\prod_{uv\in E}φ(uv)$ is injective. A graph $G$ is antimagic (resp. product antimagic) if it has an antimagic (resp. a product antimagic) $L$-labeling for $L=\{1,2,\dots,m\}$. Hartsfield and Ringel conjectured that every simple connected graph distinct from $K_2$ is antimagic, but the conjecture remains widely open.
We prove, among other results, that every connected graph of size $m$, $m \geq 3$, admits an antimagic $L$-labeling for every arithmetic sequence $L$ of $m$ positive real numbers, if every vertex of degree at least three is a support vertex. As a corollary, we derive that these graphs are antimagic, reinforcing the veracity of the conjecture by Hartsfield and Ringel. Moreover, these graphs admit also a product antimagic $L$-labeling provided that the smallest element of $L$ is at least one. The proof is constructive.
Multiple consecutive runs of multi-state trials: distributions of $(k_1, k_2, \dots, k_\ell)$ patterns
Published in Journal of Computational and Applied Mathematics, Volume 403, 113846 (2022)
• View Publication
• BIB
The pattern $(k_1, k_2, \dots, k_\ell)$ is defined to have at least $k_1$ consecutive $1$'s followed by at least $k_2$ consecutive $2$'s, $\dots$, followed by at least $k_\ell$ consecutive $\ell$'s. By iteratively applying the method that was developed previously to decouple the combinatorial complexity involved in studying complicated patterns in random sequences, the distribution of pattern $(k_1, k_2, \dots, k_\ell)$ is derived for arbitrary $\ell$. Numerical examples are provided to illustrate the results.
A classification of semi-equivelar gems of PL $d$-manifolds on the surface with Euler characteristic $-1$
Published in Topol. Methods Nonlinear Anal. 65 (2025), no. 2, 765 -- 783
• View Publication
• BIB
A semi-equivelar gem of a PL $d$-manifold is a regular colored graph that represents the PL $d$-manifold and regularly embeds on a surface, with the property that the cyclic sequence of degrees of faces in the embedding around each vertex is identical. In \cite{bb24}, the authors classified semi-equivelar gems of PL $d$-manifolds embedded on surfaces with Euler characteristics greater than or equal to zero. In this article, we focus on classifying semi-equivelar gems of PL $d$-manifolds embedded on the surface with Euler characteristic $-1$. We prove that if a semi-equivelar gem embeds regularly on the surface with Euler characteristic $-1$, then it belongs to one of the following types: $(8^3), (6^2,8), (6^2,12), (10^2,4), (12^2,4),$ $ (4,6,14), (4,6,16), (4,6,18), (4,6,24), (4,8,10), (4,8,12),$ or $(4,8,16)$. Furthermore, we provide constructions that demonstrate the existence of such gems for each of the aforementioned types.
On the Erdős-Turán Conjecture and the growth of $B_{2}[g]$ sequences
When $g\in\mathbb{N}$ we say that $A\subset\mathbb{N}$ is a $B_{2}[g]$ sequence if every $m\in\mathbb{N}$ has at most $g$ distinct representations of the shape $m=b_{1}+b_{2}$ with $b_{1}\leq b_{2}$ and $b_{1},b_{2}\in A$. We show for every $0<\varepsilon<1$ that whenever $g>\frac{1}{\varepsilon}$ then there is a $B_{2}[g]$ sequence $A$ having the property that every sufficiently large $n\in\mathbb{N}$ can be written as $$n=a_{1}+a_{2}+a_{3},\ \ \ \ \ \ \ \ \ a_{3}\leq n^{\varepsilon}\ \ \ \ \ \ \ \ \ a_{i}\in A,$$ and satisfying for large $x$ the estimate $$\lvert A\cap [1,x]\rvert\gg x^{g/(2g+1)}.$$ The above lower bound improves upon earlier results of Cilleruelo and of Erdős and Renyi.
The Large Deviation Principle for $W$-random spectral measures
The $W$-random graphs provide a flexible framework for modeling large random networks. Using the Large Deviation Principle (LDP) for $W$-random graphs from [9], we prove the LDP for the corresponding class of random symmetric Hilbert-Schmidt integral operators. Our main result describes how the eigenvalues and the eigenspaces of the integral operator are affected by the large deviations in the underlying random graphon. To prove the LDP, we demonstrate continuous dependence of the spectral measures associated with integral operators on the underlying graphons and use the Contraction Principle. To illustrate our results, we obtain leading order asymptotics of the eigenvalues of the integral operators corresponding to certain random graph sequences. These examples suggest several representative scenarios of how the eigenvalues and the eigenspaces of the integral operators are affected by large deviations. Potential implications of these observations for bifurcation analysis of Dynamical Systems and Graph Signal Processing are indicated.
Counting Subnetworks Under Gene Duplication in Genetic Regulatory Networks
Gene duplication is a fundamental evolutionary mechanism that contributes to biological complexity and diversity (Fortna et al., 2004). Traditionally, research has focused on the duplication of gene sequences (Zhang, 1914). However, evidence suggests that the duplication of regulatory elements may also play a significant role in the evolution of genomic functions (Teichmann and Babu, 2004; Hallin and Landry, 2019). In this work, the evolution of regulatory relationships belonging to gene-specific-substructures in a GRN are modeled. In the model, a network grows from an initial configuration by repeatedly choosing a random gene to duplicate. The likelihood that the regulatory relationships associated with the selected gene are retained through duplication is determined by a vector of probabilities. Occurrences of gene-family-specific substructures are counted under the gene duplication model. In this thesis, gene-family-specific substructures are referred to as subnetwork motifs. These subnetwork motifs are motivated by network motifs which are patterns of interconnections that recur more often in a specialized network than in a random network (Milo et al., 2002). Subnetwork motifs differ from network motifs in the way that subnetwork motifs are instances of gene-family-specific substructures while network motifs are isomorphic substructures. These subnetwork motifs are counted under Full and Partial Duplication, which differ in the way in which regulation relationships are inherited. Full duplication occurs when all regulatory links are inherited at each duplication step, and Partial Duplication occurs when regulation inheritance varies at each duplication step. Moments for the number of occurrences of subnetwork motifs are determined in each model. The results presented offer a method for discovering subnetwork motifs that are significant in a GRN under gene duplication.
Difference ascent sequences and related combinatorial structures
Published in European Journal of Combinatorics, 2025
• Search Publication
Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev, and are in bijection with unlabeled $(2+2)$-free posets, Fishburn matrices, permutations avoiding a bivincular pattern of length $3$, and Stoimenow matchings. Analogous results for weak ascent sequences have been obtained by Bényi, Claesson and Dukes. Recently, Dukes and Sagan introduced a more general class of sequences which are called $d$-ascent sequences. They showed that some 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. The main objective of this paper is to restore these injections to bijections. To be specific, we introduce a class of permutations which we call difference $d$ permutations and a class of factorial posets which we call difference $d$ posets, both of which are shown to be in bijection with $d$-ascent sequences. Moreover, we also give a direct bijection between a class of matrices with a certain column restriction and Fishburn matrices. Our results give answers to several questions posed by Dukes and Sagan.
Even and odd compositions with restricted parts
A result of Legendre asserts that the difference between the numbers of (length) even and odd partitions of $n$ into distinct parts is $0$, $1$, or $-1$; this also follows from Euler's pentagonal number theorem. We establish an analogous result for compositions and obtain some generalizations that are related to various entries in the On-Line Encyclopedia of Integer Sequences.
Non-detectable patterns hidden within sequences of bits
In this paper we construct families of bit sequences using combinatorial methods. Each sequence is derived by con- verting a collection of numbers encoding certain combinatorial nu- merics from objects exhibiting symmetry in various dimensions. Using the algorithms first described in [1] we show that the NIST testing suite described in publication 800-22 does not detect these symmetries hidden within these sequences.
Explicit Expressions for the First 20 Moments of the Area Under Dyck and Motzkin Paths
Starting from AJ Bu's recent article that computed explicit expressions for the GENERATING functions of sums of powers of areas under Dyck and Motzkin paths, we deduce from them explicit expressions for the actual sequences. This enables taking the limits of the scaled moments and confirming, in an entirely elementary way, that they tend to those of the area under Brownian Excursion (up to any specified moment).
Chordal matroids arising from generalized parallel connections II
Published
• View Publication
• BIB
In 1961, Dirac showed that chordal graphs are exactly the graphs that can be constructed from complete graphs by a sequence of clique-sums. In an earlier paper, by analogy with Dirac's result, we introduced the class of $GF(q)$-chordal matroids as those matroids that can be constructed from projective geometries over $GF(q)$ by a sequence of generalized parallel connections across projective geometries over $GF(q)$. Our main result showed that when $q=2$, such matroids have no induced minor in $\{M(C_4),M(K_4)\}$. In this paper, we show that the class of $GF(2)$-chordal matroids coincides with the class of binary matroids that have none of $M(K_4)$, $M^*(K_{3,3})$, or $M(C_n)$ for $n\geq 4$ as a flat. We also show that $GF(q)$-chordal matroids can be characterized by an analogous result to Rose's 1970 characterization of chordal graphs as those that have a perfect elimination ordering of vertices.
Equal Requests are Asymptotically Hardest for Data Recovery
In a distributed storage system serving hot data, the data recovery performance becomes important, captured e.g. by the service rate. We give partial evidence for it being hardest to serve a sequence of equal user requests (as in PIR coding regime) both for concrete and random user requests and server contents.
We prove that a constant request sequence is locally hardest to serve: If enough copies of each vector are stored in servers, then if a request sequence with all requests equal can be served then we can still serve it if a few requests are changed.
For random iid server contents, with number of data symbols constant (for simplicity) and the number of servers growing, we show that the maximum number of user requests we can serve divided by the number of servers we need approaches a limit almost surely. For uniform server contents, we show this limit is 1/2, both for sequences of copies of a fixed request and of any requests, so it is at least as hard to serve equal requests as any requests. For iid requests independent from the uniform server contents the limit is at least 1/2 and equal to 1/2 if requests are all equal to a fixed request almost surely, confirming the same.
As a building block, we deduce from a 1952 result of Marshall Hall, Jr. on abelian groups, that any collection of half as many requests as coded symbols in the doubled binary simplex code can be served by this code. This implies the fractional version of the Functional Batch Code Conjecture that allows half-servers.
Volume inequalities for flow polytopes of full directed acyclic graphs
Given a finite directed acyclic graph, the space of non-negative unit flows is a lattice polytope called the flow polytope of the graph. We consider the volumes of flow polytopes for directed acyclic graphs on $n+1$ vertices with a fixed degree sequence, with a focus on graphs having in- and out-degree two on every internal vertex. When the out-degree of the source is three and the number of vertices is fixed, we prove that there is an interchange operation on the edge set of these graphs that induces a partial order on the graphs isomorphic to a Boolean algebra. Further, we prove that as we move up through this partial order, the volumes of the corresponding flow polytopes weakly decrease. Finally, we show that each such graph is strongly planar and we provide an alternative interpretation of our results in the context of linear extensions for posets that are bipartite non-crossing trees.
The m-th Longest Runs of Multivariate Random Sequences
Published in Ann Inst Stat Math 69, 497-512 (2017)
• View Publication
• BIB
The distributions of the $m$-th longest runs of multivariate random sequences are considered. For random sequences made up of $k$ kinds of letters, the lengths of the runs are sorted in two ways to give two definitions of run length ordering. In one definition, the lengths of the runs are sorted separately for each letter type. In the second definition, the lengths of all the runs are sorted together. Exact formulas are developed for the distributions of the m-th longest runs for both definitions. The derivations are based on a two-step method that is applicable to various other runs-related distributions, such as joint distributions of several letter types and multiple run lengths of a single letter type.
Joint distribution of rises, falls, and number of runs in random sequences
Published in Communications in Statistics - Theory and Methods, 48(3) (2019)
• View Publication
• BIB
By using the matrix formulation of the two-step approach to the distributions of runs, a recursive relation and an explicit expression are derived for the generating function of the joint distribution of rises and falls for multivariate random sequences in terms of generating functions of individual letters, from which the generating functions of the joint distribution of rises, falls, and number of runs are obtained. An explicit formula for the joint distribution of rises and falls with arbitrary specification is also obtained.