sequence
6845 papers tagged with this keyword
A note on the distribution of the sum of lengths of the initial longest increasing sequences in cycles of random permutations
Let $S_n$ be the set of all permutations of $\{1,2,\ldots,n\}$ and let $σ=(σ_1,σ_2,\ldots,σ_n)\in S_n$. The {\it initial longest increasing sequence} (ILIS) in $σ$ has length $m$ if, for $1\le m\le n-1$, $σ_1<σ_2<\ldots<σ_m, σ_m>σ_{m+1}$, and has length $n$ if $σ=(1,2,\ldots,n)$. Let $l(σ)$ be the length of the ILIS in $σ$. We assume that $σ$ is represented in cycle notation, so that the first number in each cycle is the minimum number of this cycle. We also assume that $σ$ is chosen uniformly at random from $S_n$, i.e., with probability $1/n!$. Let $C_n(σ)$ be the set of all cycles of $σ$. In [9], T. Mansour investigated enumerative properties related to lengths of the ILIS in random permutations represented by the cycle notation. In particular, he studied the sum of the ILIS' lengths defined by $s_n=\sum_{c\in C_n(σ)} l(c)$ and derived exact and asymptotic expressions for its expectation and variance. In this note, we supplement Mansour's results on $s_n$ with a limit theorem. We show that $s_n$, appropriately normalized, converges weakly to a standard normal random variable as $n\to\infty$.
Hook immanantal inequalities for totally nonnegative matrices
Given a weakly decreasing positive integer sequence $λ= (λ_1,\dotsc,λ_\ell)$ summing to $n$, let $χ^λ$ denote the irreducible character of the symmetric group $S_n$ indexed by $λ$. This representation has dimension $χ^λ(e)$, where $e$ is the identity element of $S_n$. Let $\mathrm{Imm}_{χ^λ}$ denote the corresponding irreducible character immanant, the function on $n \times n$ matrices $A = (a_{i,j})$ defined by $\mathrm{Imm}_{χ^λ}(A) := \sum_{w \in S_n} χ^λ(w) a_{1,w_1} \cdots a_{n,w_n}$. Merris conjectured [Linear Multilinear Algebra 14 (1983) pp. 21--35] and Heyfron proved [Linear Multilinear Algebra 24 (1988) pp. 65--78] that irreducible character immanants indexed by ``hook'' sequences $(k, 1, \dotsc, 1)$ satisfy the inequalities $\mathrm{per}(A)=\frac{\mathrm{Imm}_{χ^n}(A)}{χ^{n}(e)}\geq \frac{\mathrm{Imm}_{χ^{n-1,1}}(A)}{χ^{n-1,1}(e)}\geq \frac{\mathrm{Imm}_{χ^{ n-2,1,1}}(A)}{χ^{n-2,1,1}(e)}\geq \cdots \geq \frac{\mathrm{Imm}_{χ^{1,\dotsc,1}}(A)}{χ^{1,\dotsc,1}(e)}=\det(A)$ whenever $A$ is an $n \times n$ Hermitian positive semidefinite matrix. We prove that the same inequalities hold whenever $A$ is an $n \times n$ totally nonnegative matrix.
Delsarte duality on subspaces and applications to rank-metric codes and q-matroids
We study the interplay between the lattice of F_{q^m}-subspaces and the lattice of F_{q^m}-subspaces of an F_{q^m}-vector space. Introducing notions of weight and defect relative to an F_q-subspace, we analyze the sequence of maximum non-zero defects. We establish a correspondence between subspaces of positive defect and their Delsarte duals, enabling explicit characterizations of the associated sequences of maximum non-zero defects. Our framework unifies several classes of subspaces studied in finite geometry and connects them to linear rank-metric codes by providing a new geometric interpretation of code duality. Building on these results, we characterize classes of rank-metric codes closed under duality, including MRD, near MRD, quasi-MRD, and a new family of (n, k)-MRD codes. Finally, we explore applications to q-matroids, by studying the problem of F_{q^m}-representability for direct sums of uniform q-matroids and describing their rank generating functions.
Sequences of odd length in strict partitions IV: the combinatorics of parameterized Rogers-Ramanujan type identities
In the first three papers, we conducted a series of discussions on the statistics of strict partitions and Rogers-Ramanujan partitions, specifically the sequences of odd length (denoted as $\mathrm{sol}$) and its extensions. We established bijections for some Rogers-Ramanujan type identities. This paper will continue that series of work, and first we will use the bijective method to re-establish several parameterized Rogers-Ramanujan type identities, which appeared in the recent work of Hao-Kuai-Xia and Li-Wang. Moreover, we focus on the work of Chen-Yin and parameterize their main results, where the $\mathrm{sol}$ has evolved.
Lacunary sequences whose reciprocal sums represent all rational numbers in an interval
Disproving a conjecture of Bleicher and Erdős, we show that there exists a lacunary sequence of positive integers such that finite sums of reciprocals of its terms attain all rational numbers from a non-empty open interval. We also study several stronger variants of their original problem: determining the value of the optimal lacunarity parameter, representing rational numbers infinitely many times, finding such lacunary sequences with arbitrarily large jumps, and relating the maximal length of a filled interval to a prescribed lacunarity parameter.
Exact structures and maximal canonically Jordan recoverable subcategories for modules over type $A$ algebras
On one hand, exact structures were introduced by D. Quillen in the '70s. They can be defined as collections of short exact sequences in a fixed abelian category satisfying additional properties.
On the other hand, in a recent work, A. Garver, R. Patrias, and H. Thomas introduced Jordan recoverability. Given a bounded quiver $(Q,R)$, a full additive subcategory of $\operatorname{rep}(Q,R)$ is said to be Jordan recoverable if any $X \in \mathscr{C}$ can be recovered, up to isomorphism, from the Jordan form of its generic nilpotent endomorphisms. Such a subcategory $\mathscr{C}$ is said to be canonically Jordan recoverable if, moreover, there exists a precise algebraic procedure that allows one to get back $X \in \mathscr{C}$ from that same Jordan form data.
We introduce a new family of operators, called Gen-Sub operators $\operatorname{GS}_\mathcal{E}$, parametrized by the exact structures $\mathcal{E}$ of abelian categories. After showing some properties of those operators in hereditary abelian categories, by focusing on the setting of modules over type $A$ quivers endowed with the diamond exact structure $\mathcal{E}_\diamond$, we establish that the maximal canonically Jordan recoverable subcategories are precisely of the form $\operatorname{GS}_{\mathcal{E}_\diamond}(T)$ for some tilting object $T$.
Totally positive Toeplitz matrices: classical and modern
By a theorem of Edrei, an infinite, normalised totally nonnegative upper-triangular Toeplitz matrix is determined by a pair of nonnegative parameter sequences, the `Schoenberg parameters', where nonzero parameters correspond to the roots and poles of a naturally associated generating function. These totally nonnegative Toeplitz matrices and their parameters also arise in the classification of characters of the infinite symmetric group by later work of Thoma. Moreover the Schoenberg parameters have an asymptotic interpretation in terms of irreducible representations of S_n and their Young diagrams by Vershik-Kerov. In this article we consider infinite totally positive Toeplitz matrices as limits of finite ones, and we obtain two further asymptotic descriptions of the Schoenberg parameters that are now related to quantum cohomology of the flag variety as n goes to infinity. One is related to asymptotics of normalised quantum parameters, and the other to asymptotics of the Chern classes of the tautological line bundles. We also describe the asymptotics of (quantum) Schubert classes in terms of the Schoenberg parameters. Our limit formulas relate to and were motivated by a tropical analogue of this theory that we survey. In the tropical setting one finds an asymptotic relationship between the `tropical Schoenberg parameters' and the weight map from Lusztig's parametrisation of the canonical basis.
On minimal product-one sequences of maximal length over the non-abelian group of order $pq$
Let $G$ be a finite group. A sequence over $G$ is a finite multiset of elements of $G$, and it is called product-one if its terms can be ordered so that their product is the identity of $G$. The large Davenport constant $\D(G)$ is the maximal length of a minimal product-one sequence, that is, a product-one sequence that cannot be partitioned into two nontrivial product-one subsequences. Let $p,q$ be odd prime numbers with $p \mid q-1$ and let $C_q \rtimes C_p$ denote the non-abelian group of order $pq$. It is known that $\D(C_q \rtimes C_p) = 2q$. In this paper, we describe all minimal product-one sequences of length $2q$ over $C_q \rtimes C_p$. As an application, we further investigate the $k$-th elasticity (and, consequently, the union of sets containing $k$) of the monoid of product-one sequences over these groups.
Explicit construction of infinite families of strongly regular digraphs with parameters $((v+(2^{n+1}-4)t)2^{n-1}, k+(2^n-2)t, t, λ, t)$
Published in Prikladnaya Diskretnaya Matematika, 2025, no. 69, 111-120
• View Publication
• BIB
An explicit construction of infinite sequences of strongly regular digraphs with parameter sets $((v+(2^{n+1}-4)t)2^{n-1}, k+(2^n-2)t, t, λ, t)$ is described. A computer program was used to find the initial digraphs. The remaining terms of the sequence are obtained by the constructed recurrence. Using the described approach, 11 families of strongly regular digraphs were found. In particular, these families contain digraphs $\text{dsrg}(72, 18, 5, 3, 5)$, $\text{dsrg}(76, 19, 5, 4, 5)$, $\text{dsrg}(92, 23, 6, 5, 6)$ and $\text{dsrg}(104, 26, 7, 5, 7)$, the question of the existence of which was previously open.
Ramsey sequences with bounded clique size
A sequence of graphs $ \{G_k\} $ is a Ramsey sequence if for every positive integer $ k $, the graph $ G_k $ is a proper subgraph of $ G_{k+1} $, and there exists an integer $n > k$ such that every red-blue coloring of $ G_n $ contains a monochromatic copy of $ G_k $. Among the wide range of open problems in Ramsey theory, an interesting open question is ``Does there exist an ascending sequence $\{G_k\}$ with $\lim_{k \to \infty} χ(G_k) = \infty$ and $\lim_{k \to \infty} ω(G_k) \neq \infty$ that is a Ramsey sequence?". In this paper, we solve this problem by constructing a Ramsey sequence $\{G_k\}$ with a bounded clique number such that $\lim_{k \to \infty} χ(G_k) = \infty$. Furthermore, using the observation that any monotonic increasing sequence of graphs that contains a Ramsey sequence as a subgraph is also Ramsey, we can generate infinitely many Ramsey sequences using this example.
On the coefficients of interior and exterior polynomials of polymatroids
The Tutte polynomial is an important invariant of graphs and matroids. Chen and Guo \emph{[Adv. in Appl. Math. 166 (2025) 102868.]} proved that for a $(k+1)$-edge connected graph $G$ and for any $i$ with $0\leq i <\frac{3(k+1)}{2}$, $$[y^{g-i}]T_{G}(1,y)=\binom{|V(G)|+i-2}{i}-\sum_{j=0}^{i}\binom{|V(G)|+i-2-j}{i-j}|\mathcal{SC}_{j}(G)|,$$ where $g=|E(G)|-|V(G)|+1$, $\mathcal{SC}_{j}(G)$ is the set of all minimal edge cuts with $j$ edges, $T_{G}(x,y)$ is the Tutte polynomial of the graph $G$, and $[y^{g-i}]T_{G}(1,y)$ denotes the coefficient of $y^{g-i}$ in the polynomial $T_{G}(1,y)$. Recently, Ma, Guan and Jin \emph{[arXiv.2503.06095, 2025.]} generalized this result from graphs to matroids and obtained the dual result on coefficients of $T_M(x,1)$ of matroids $M$ at the same time. In 2013, as a generalization of $T_{G}(x,1)$ and $T_{G}(1,y)$ of graphs $G$ to hypergraphs, Kálmán \emph{[Adv. Math. 244 (2013) 823-873.]} introduced interior and exterior polynomials for connected hypergraphs. Chen and Guo posed a problem that can one generalize these results of graphs to interior and exterior polynomials of hypergraphs? In this paper, we solve it in the affirmative by obtaining results for more general polymatroids, which include the case of hypergraphs and also generalize the results of matroids due to Ma, Guan and Jin. As an application, the sequence consisting of these coefficients on polymatroids is proven to be unimodal, while the unimodality of the whole coefficients of matroids was obtained in 2018 by Adiprasito, Huh and Katz using Hodge theory.
Schur log-concavity and the quantum Pascal triangle
We say a sequence $f_0, f_1, f_2, \ldots$ of symmetric functions is Schur log-concave if $f_n^2 - f_{n-1}f_{n+1}$ is Schur positive for all $n\ge1$. We conjecture that a very general class of sequences of Schur functions satisfies this property, and show it for sequences of Schur functions indexed by partitions with growing first part and column. Our findings are related to work of Lam, Postnikov and Pylyavskyy on Schur positivity, and of Butler, Sagan, and the second author on $q$-log-concavity.
On Pauling's residual entropy estimate for regular graphs with growing degree
In 1935, Pauling proposed an estimate for the number of Eulerian orientations of a graph in the context of the theoretical behaviour of water ice. The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is called the residual entropy. In an earlier paper, we conjectured that the residual entropy of a sequence of regular graphs of increasing degree was asymptotically equal to Pauling's estimate. Here we prove the conjecture under constraints on the number of short circuits. These constraints hold under weak eigenvalue conditions and apply to sequences of increasing girth and repeated Cartesian products such as hypercubes.
A recurrence for certain Tutte polynomials
We combinatorially prove a new recurrence between the Tutte polynomials of graphs obtained by contraction of the complete graphs $K_{n}$%. This generalizes, to two variables, a relation previously obtained by the author between the inversion enumerator polynomials in the colored tree sequences.
Spin Leonard pairs and the zero diagonal space
We consider a Leonard pair $A, A^*$ of linear maps on a vector space $V$ that has finite positive dimension. This Leonard pair $A,A^*$ is said to have spin whenever there exist invertible linear maps $W : V \to V$ and $W^* : V \to V$ such that $W A = A W$ and $W^* A^* = A^* W^*$ and $W A^* W^{-1} = (W^*)^{-1} A W^*$. Let $\{θ^*_i\}_{i=0}^d$ denote a standard ordering of the eigenvalues of $A^*$. There is a related sequence of scalars $\{a_i\}_{i=0}^d$ called intersection numbers. The Leonard pair $A,A^*$ is called self-dual whenever $\{θ^*_i\}_{i=0}^d$ is a standard ordering of the eigenvalues of $A$. We obtain the following results under the assumption that the ground field is algebraically closed and $d \geq 3$. We show that a Leonard pair $A,A^*$ on $V$ has spin if and only if both (i) $A,A^*$ is self-dual; (ii) there exist scalars $f_0,f_1,f_2, f_3$ (not all zero) such that $f_0 + f_1 θ^*_i + f_2 a_i + f_3 a_i θ^*_i = 0$ for $0 \leq i \leq d$. We also classify the Leonard pairs $A,A^*$ on $V$ that satisfy (ii) without assuming (i). To do this we bring in the following maps. For $0 \leq i \leq d$ let $E^*_i : V \to V$ denote the projection onto the $θ^*_i$-eigenspace of $A^*$. Let ${\mathcal Z}(A,A^*)$ denote the set of elements $X$ in $\text{Span}\{I, A^*, A, A A^*\}$ such that $E^*_i X E^*_i= 0$ for $0 \leq i \leq d$. We call ${\mathcal Z}(A,A^*)$ the zero diagonal space of $A,A^*$. As we will see, ${\mathcal Z}(A,A^*) \neq 0$ if and only if the above condition (ii) holds. As we investigate the case ${\mathcal Z}(A,A^*) \neq 0$ in detail, we break the problem into 13 cases called types; these are the $q$-Racah type and its relatives. For each type we give a necessary and sufficient condition for ${\mathcal Z}(A,A^*) \not=0$. For each type we give an explicit basis for ${\mathcal Z}(A,A^*)$.
Scaled Arndt Compositions
Integer compositions restricted by inequalities on certain pairs of parts were first considered by Jörg Arndt in 2013 and several variations have been studied recently. Here we consider a broad two-parameter generalization that scales the defining relation. We connect these to compositions restricted to parts from certain congruence classes and establish the recurrence relations satisfied by the related counting sequences. This provides new combinatorial interpretations to several documented integer sequences and also simple unrecorded sequences. We conclude with suggestions for further study.
Semigroup rings and algebraically independent sequences with respect to idempotents in commutative semigroups
For any finite abelian group $G$ and commutative unitary ring $R$, by $R[G]$ we denote the group algebra over $R$. Let $T=(g_1,\ldots,g_{\ell})$ be a sequence over the group $G$. We say $T$ is algebraically zero-sum free over R if $\prod\limits_{i=1}^r(X^{g_i}-a_i)\neq 0\in R[G]$ for all $a_1,\ldots,a_{\ell}\in R\setminus \{0\}$. Let $d(G,R)={\rm sup}\{|T|: T \mbox{ is an algebraically zero-sum free sequence over } R \mbox{ of terms from }G\}.$ This invariant of the group algebra $R[G]$ plays a powerful role in the research for the zero-sum theory. In this paper, we generalize this invariant to the semigroup algebra $R[S]$ for a commutative periodic semigroup $S$. We give the best possible lower and upper bounds for $d(S,R)$ for a general commutative periodic semigroup $S$. In case that $K$ is a field, and $S$ is a finite commutative semigroup, we give more precise result, including the equality for Clifford semigroups, Archimedean semigroups and elementary semigroups, which covers all types of irreducible components associated with the semilattice decomposition and the subdirect product decomposition of a commutative semigroup. Also, the invariant $d(S,K)$ was applied to the study of some zero-sum invariants in semigroups. One conjecture on the equality for $d(S,K)$ in case $K$ is an algebraically closed field of characteristic zero was proposed which has been also partially affirmed in this paper.
Perfect t-Embeddings of Uniformly Weighted Generalized Tower Graphs
In this paper, we study sequences of perfect t-embeddings of a uniformly weighted family of graphs we call generalized tower graphs. We show that the embeddings of these graphs satisfy certain technical assumptions, in particular, the rigidity assumption of Berggren-Nicoletti-Russkikh. As a result, we confirm the convergence of the gradients of the height function fluctuations of these graphs to those of the Gaussian free field.
Extremal Bounds on the Properties of Sigma and Albertson Indices for Non-Decreasing Degree Sequences
In this paper, we establish bounds on the topological index -- the Sigma index -- focusing on analyzing the upper bound of its maximum value, which is known as $σ_{\max}(\mathcal{S}) = \max \{σ(\mathscr{G}) \mid \mathscr{G} \in \mathcal{S}\}$, where $\mathcal{S}$ is a class of graphs. We establish precise lower and upper bounds for the Sigma index by leveraging degree sequences $\mathscr{D} = (d_1, d_2, \dots, d_n)$, $\mathscr{R} = (t_1, t_2, \dots, t_m)$, and $\mathscr{A} = (a_1, a_2, \dots, a_r)$.
The minimum bound for the Albertson index related to the Sigma index bounds incorporates terms such as $\mathrm{irr}(T)$ and $\left\lfloor \frac{n-2}{a_r - t_m} \right\rfloor $. These results, rooted in extremal graph theory, enhance the understanding of topological indices in molecular and network analysis.
An Inductive Proof that Lights Out Configurations are Invertible
We give an elementary inductive proof of a classical result for the \emph{Lights Out problem} on graphs: from any configuration of vertices, one can reach the complementary configuration by a sequence of moves, where a move consists of toggling a vertex and its neighbors. Unlike the usual linear-algebraic approach over $\mathbb{F}_2$, our argument is purely combinatorial.