sequence
6845 papers tagged with this keyword
A degree sequence Komlós theorem
Published
• View Publication
• BIB
An important result of Komlós [Tiling Turán theorems, Combinatorica, 2000] yields the asymptotically exact minimum degree threshold that ensures a graph $G$ contains an $H$-tiling covering an $x$th proportion of the vertices of $G$ (for any fixed $x \in (0,1)$ and graph $H$). We give a degree sequence strengthening of this result which allows for a large proportion of the vertices in the host graph $G$ to have degree substantially smaller than that required by Komlós' theorem. We also demonstrate that for certain graphs $H$, the degree sequence condition is essentially best possible in more than one sense.
Generalized $k$-regular sequences III: Arithmetical properties of generalized $k$-regular series
Let $F(z)$ be a $k$-regular series in $\mathbb{Z}[[z]]$ and $b$ be an integer with $b\ge2$. Bell, Bugeaud and Coons [BelBC] proved that $F(\frac{1}{b})$ is either rational or transcendental. In [Mi], we introduce a generalized $k$-regular sequence as a unification of several kinds of important sequences including $k$-regular, $k$-additive and $k$-multiplicative sequences. In this paper, we give a generalization of the result of Bell, Bugeaud and Coons for certain generalized $k$-regular series. Especially, we show that the values of irrational generating functions of certain sum of $k$-additive sequences and certain $k$-multiplicative sequences are either rational or transcendental. Moreover, we also give a partly generalization of a result obtained by Tachiya[Ta]. Especially, we show that the values of irrational generating functions of certain $k$-additive sequences and certain $k$-multiplicative sequences give transcendental numbers.
Noncommutative Shifted Symmetric Functions
Published in Moscow Mathematical Journal, Volume 20, Issue 1, January--March 2020 pp. 93--126
• View Publication
• BIB
We introduce a ring of noncommutative shifted symmetric functions based on an integer-indexed sequence of shift parameters. Using generating series and quasideterminants, this multiparameter approach produces deformations of the ring of noncommutative symmetric functions. Shifted versions of ribbon Schur functions are defined and form a basis for the ring. Further, we produce analogues of Jacobi-Trudi and Nägelsbach-Kostka formulas, a duality anti-algebra isomorphism, shifted quasi-Schur functions, and Giambelli's formula in this setup. In addition, an analogue of power sums is provided, satisfying versions of Wronski and Newton formulas. Finally, a realization of these noncommutative shifted symmetric functions as rational functions in noncommuting variables is given. These realizations have a shifted symmetry under exchange of the variables and are well-behaved under extension of the list of variables.
The Warden's de Bruijn Sequence
The Warden's Game is a 2-player game, played with a row of coins. One player (the prisoner) wants to get all coins to show tails; the other player (the warden) wants to delay that as long as possible. At each turn, one player transfers the coin on the far right to the far left, and optionally flips that coin; the prisoner transfers heads, and the warden transfers tails. We will find the optimal strategies for both players, and we will also analyze some variations on this game.
Total non-negativity of some combinatorial matrices
Published
• View Publication
• BIB
Many combinatorial matrices --- such as those of binomial coefficients, Stirling numbers of both kinds, and Lah numbers --- are known to be totally non-negative, meaning that all minors (determinants of square submatrices) are non-negative.
The examples noted above can be placed in a common framework: for each one there is a non-decreasing sequence $(a_1, a_2, \ldots)$, and a sequence $(e_1, e_2, \ldots)$, such that the $(m,k)$-entry of the matrix is the coefficient of the polynomial $(x-a_1)\cdots(x-a_k)$ in the expansion of $(x-e_1)\cdots(x-e_m)$ as a linear combination of the polynomials $1, x-a_1, \ldots, (x-a_1)\cdots(x-a_m)$.
We consider this general framework. For a non-decreasing sequence $(a_1, a_2, \ldots)$ we establish necessary and sufficient conditions on the sequence $(e_1, e_2, \ldots)$ for the corresponding matrix to be totally non-negative. As corollaries we obtain totally non-negativity of matrices of rook numbers of Ferrers boards, and of graph Stirling numbers of chordal graphs.
An interesting class of Hankel determinants
Published
• View Publication
• BIB
For small $r$ the Hankel determinants $d_r(n)$ of the sequence $\left({2n+r\choose n}\right)_{n\ge 0}$ are easy to guess and show an interesting modular pattern. For arbitrary $r$ and $n$ no closed formulae are known, but for each positive integer $r$ the special values $d_r(rn)$, $d_r(rn+1)$, and $d_r(rn+\lfloor\frac{r+1}{2}\rfloor)$ have nice values which will be proved in this paper.
On the almost-principal minors of a symmetric matrix
Published
• View Publication
• BIB
The almost-principal rank characteristic sequence (apr-sequence) of an $n\times n$ symmetric matrix is introduced, which is defined to be the string $a_1 a_2 \cdots a_{n-1}$, where $a_k$ is either $\tt A$, $\tt S$, or $\tt N$, according as all, some but not all, or none of its almost-principal minors of order $k$ are nonzero. In contrast to the other principal rank characteristic sequences in the literature, the apr-sequence of a matrix does not depend on principal minors. The almost-principal rank of a symmetric matrix $B$, denoted by ${\rm aprank}(B)$, is defined as the size of a largest nonsingular almost-principal submatrix of $B$. A complete characterization of the sequences not containing an $\tt A$ that can be realized as the apr-sequence of a symmetric matrix over a field $\mathbb{F}$ is provided. A necessary condition for a sequence to be the apr-sequence of a symmetric matrix over a field $\mathbb{F}$ is presented. It is shown that if $B \in \mathbb{F}^{n\times n}$ is symmetric and non-diagonal, then ${\rm rank}(B)-1 \leq {\rm aprank}(B) \leq {\rm rank}(B)$, with both bounds being sharp. Moreover, it is shown that if $B$ is symmetric, non-diagonal and singular, and does not contain a zero row, then ${\rm rank}(B) = {\rm aprank}(B)$.
Derivation degree sequences of non-free arrangements
Published
• View Publication
• BIB
In this note we study the logarithmic derivation module of a non-free arrangement. We prove a generalized addition theorem for all arrangements. This addition theorem allows us to find various relationships between non-free arrangements, free arrangements and restriction counts. For graphic arrangements we can use these results to find a lower bound for the maximal degree generator in terms of triangles in the associated graph. We also apply these results to the case of hypersolvable arrangements where we define hyperexponents and use them to find a lower bound for their maximal degree generator.
The trinomial transform triangle
Published in Journal of Integer Sequences, 21(7), (2018), Article 18.7.3
• Search Publication
The trinomial transform of a sequence is a generalization of the well-known binomial transform, replacing binomial coefficients with trinomial coefficients. We examine Pascal-like triangles under trinomial transform, focusing on the ternary linear recurrent sequences. We determine the sums and alternating sums of the elements in columns, and we give some examples of the trinomial transform triangle.
The Active Bijection 2.a - Decomposition of activities for matroid bases, and Tutte polynomial of a matroid in terms of beta invariants of minors
We introduce and study filtrations of a matroid on a linearly ordered ground set, which are particular sequences of nested sets. A given basis can be decomposed into a uniquely defined sequence of bases of minors, such that these bases have an internal/external activity equal to 1/0 or 0/1 (in the sense of Tutte polynomial activities). This decomposition, which we call the active filtration/partition of the basis, refines the known partition of the ground set into internal and external elements with respect to a given basis. It can be built by a certain closure operator, which we call the active closure. It relies only on the fundamental bipartite graph of the basis and can be expressed also as a decomposition of general bipartite graphs on a linearly ordered set of vertices.
From this, first, structurally, we obtain that the set of all bases can be canonically partitioned and decomposed in terms of such bases of minors induced by filtrations. Second, enumeratively, we derive an expression of the Tutte polynomial of a matroid in terms of beta invariants of minors. This expression refines at the same time the classical expressions in terms of basis activities and orientation activities (if the matroid is oriented), and the well-known convolution formula for the Tutte polynomial. Third, in a companion paper of the same series (No. 2.b), we use this decomposition of matroid bases, along with a similar decomposition of oriented matroids, and along with a bijection in the 1/0 activity case from a previous paper (No. 1), to define the canonical active bijection between orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid, as well as various related bijections.
A tight lower bound for the hardness of clutters
Published in Journal of Combinatorial Optimization 35(1), 2018, 21-25
• View Publication
• BIB
A {\it clutter} (or {\it antichain} or {\it Sperner family}) $L$ is a pair $(V,E)$, where $V$ is a finite set and $E$ is a family of subsets of $V$ none of which is a subset of another. Normally, the elements of $V$ are called {\it vertices} of $L$, and the elements of $E$ are called {\it edges} of $L$. A subset $s_e$ of an edge $e$ of a clutter is {\it recognizing} for $e$, if $s_e$ is not a subset of another edge. The {\it hardness} of an edge $e$ of a clutter is the ratio of the size of $e\textrm{'s}$ smallest recognizing subset to the size of $e$. The hardness of a clutter is the maximum hardness of its edges. In this short note we prove a lower bound for the hardness of an arbitrary clutter. Our bound is asymptotically best-possible in a sense that there is an infinite sequence of clutters attaining our bound.
The Active Bijection 2.b - Decomposition of activities for oriented matroids, and general definitions of the active bijection
The active bijection for oriented matroids (and real hyperplane arrangements, and graphs, as particular cases) is introduced and investigated by the authors in a series of papers. Given any oriented matroid defined on a linearly ordered ground set, we exhibit one particularité of its bases, which we call its active basis, with remarkable properties. It preserves activities (for oriented matroids in the sense of Las Vergnas, for matroid bases in the sense of Tutte), as well as some active partitions of the ground set associated with oriented matroids and matroid bases. It yields a canonical bijection between classes of reorientations and bases [...]. It also yields a refined bijection between all reorientations and subsets of the ground set. Those bijections are related to various Tutte polynomial expressions [...]. They contain various noticeable bijections involving orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid. [...]
In previous papers of this series, we defined the active bijection between bounded regions and uniactive internal bases by means of fully optimal bases (No. 1), and we defined a decomposition of activities for matroid bases by means of [...] particular sequences of minors (companion paper, No. 2.a). The present paper is central in the series. First, we define a decomposition of activities for oriented matroids, using the same sequences of minors, yielding a decomposition of an oriented matroid into bounded regions of minors. Second, we use the previous results together to provide the canonical and refined active bijections alluded to above. We also give an overview and examples of the various results of independent interest involved in the construction. They arise as soon as the ground set of an oriented matroid is linearly ordered.
Riordan Pseudo-Involutions, Continued Fractions and Somos $4$ Sequences
We define a three parameter family of Bell pseudo-involutions in the Riordan group. The defining sequences have generating functions that are expressible as continued fractions. We indicate that the Hankel transforms of the defining sequences, and of the $A$ sequences of the corresponding Riordan arrays, can be associated with Somos $4$ sequence. We give examples where these sequences can be associated with elliptic curves, and we exhibit instances where elliptic curves can give rise to associated Riordan pseudo-involutions. In the case of a particular one parameter family of elliptic curves, we show how we can associate to each such curve a unique Bell pseudo-involution.
On the Local Geometry of Graphs in Terms of Their Spectra
Published in European J. Combin. 81 (2019) 378-393
• View Publication
• BIB
In this paper we consider the relation between the spectrum and the number of short cycles in large graphs. Suppose $G_1, G_2, G_3, \ldots$ is a sequence of finite and connected graphs that share a common universal cover $T$ and such that the proportion of eigenvalues of $G_n$ that lie within the support of the spectrum of $T$ tends to 1 in the large $n$ limit. This is a weak notion of being Ramanujan. We prove such a sequence of graphs is asymptotically locally tree-like. This is deduced by way of an analogous theorem proved for certain infinite sofic graphs and unimodular networks, which extends results for regular graphs and certain infinite Cayley graphs.
On triangular paperfolding patterns
Published
• View Publication
• BIB
We introduce patterns on a triangular grid generated by paperfolding operations. We show that in case these patterns are defined using a periodic sequence of foldings, they can also be generated using substitution rules and compute eigenvalues and eigenvectors of the corresponding matrices. We also prove that densities of all basic triangles are equal in these patterns.
A central limit theorem for star-generators of $S_{\infty}$, which relates to the law of a GUE matrix
Published in Journal of Theoretical Probability 34 (2021), 1248-1278
• Search Publication
It is well-known that, on a purely algebraic level, a simplified algebraic version of the Central Limit Theorem (CLT) can be proved in the framework of a noncommutative probability space, under the hypotheses that the sequence of non-commutative random variables we consider is exchangeable and obeys a certain vanishing condition of some of its joint moments. In this approach (which covers versions for both the classical CLT and the CLT of free probability), the determination of the resulting limit law has to be addressed on a case-by-case basis.
In this paper we discuss an instance of the above theorem which takes place in the framework of the group algebra of the infinite symmetric group $S_{\infty}$: the exchangeable sequence that is considered consists of the star-generators of $S_{\infty}$, and the expectation functional used on the group algebra of $S_{\infty}$ depends in a natural way on a parameter $d$, which is a positive integer. We identify precisely the limit distribution $μ_d$ for this special instance of exchangeable CLT, via a connection that $μ_d$ turns out to have with the average empirical eigenvalue distribution of a random GUE matrix of size $d \times d$. Moreover, we put into evidence a multi-variate version of this result which follows from the observation that, on the level of calculations with pair-partitions, the (non-centred) star-generators are related to a (centred) exchangeable sequence of GUE matrices with independent entries
MAX for $k$-independence in multigraphs
For a fixed positive integer $k$, a set $S$ of vertices of a graph or multigraph is called a $k$-independent set if the subgraph induced by $S$ has maximum degree less than $k$. The well-known algorithm MAX finds a maximal $k$-independent set in a graph or multigraph by iteratively removing vertices of maximum degree until what remains has maximum degree less than $k$. We give an efficient procedure that determines, for a given degree sequence $D$, the smallest cardinality $b(D)$ of a $k$-independent set that can result from any application of MAX to any loopless multigraph with degree sequence $D$. This analysis of the worst case is sharp for each degree sequence $D$ in that there exists a multigraph $G$ with degree sequence $D$ such that some application of MAX to $G$ will result in a $k$-independent set of cardinality exactly $b(D)$.
Cluster categories from Grassmannians and root combinatorics
Published in Nagoya Math. J. 240 (2020) 322-354
• View Publication
• BIB
The category of Cohen-Macaulay modules of an algebra $B_{k,n}$ is used [JKS16] to give an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of $k$-planes in $n$-space. In this paper, we find canonical Auslander--Reiten sequences and study the Auslander--Reiten translation periodicity for this category. Furthermore, we give an explicit construction of Cohen-Macaulay modules of arbitrary rank. We then use our results to establish a correspondence between rigid indecomposable modules of rank 2 and real roots of degree 2 for the associated Kac-Moody algebra in the tame cases.
Bin Decompositions
Published in Involve 12 (2019) 503-519
• View Publication
• BIB
It is well known that every positive integer can be expressed as a sum of nonconsecutive Fibonacci numbers provided the Fibonacci numbers satisfy $F_n =F_{n-1}+F_{n-2}$ for $n\geq 3$, $F_1 =1$ and $F_2 =2$. In this paper, for any $n,m\in\mathbb{N}$ we create a sequence called the $(n,m)$-bin sequence with which we can define a notion of a legal decomposition for every positive integer. These sequences are not always positive linear recurrences, which have been studied in the literature, yet we prove, that like positive linear recurrences, these decompositions exist and are unique. Moreover, our main result proves that the distribution of the number of summands used in the $(n,m)$-bin legal decompositions displays Gaussian behavior.
The Weighted Davenport Constant of a group and a related extremal problem
Published
• View Publication
• BIB
For a finite abelian group $G$ written additively, and a non-empty subset $A\subset [1,\exp(G)-1]$ the weighted Davenport Constant of $G$ with respect to the set $A$, denoted $D_A(G)$, is the least positive integer $k$ for which the following holds: Given an arbitrary $G$-sequence $(x_1,\ldots,x_k)$, there exists a non-empty subsequence $(x_{i_1},\ldots,x_{i_t})$ along with $a_{j}\in A$ such that $\sum_{j=1}^t a_jx_{i_j}=0$. In this paper, we pose and study a natural new extremal problem that arises from the study of $D_A(G)$: For an integer $k\ge 2$, determine $\fD_G(k):=\min\{|A|: D_A(G)\le k\}$ (if the problem posed makes sense). It turns out that for $k$ `not-too-small', this is a well-posed problem and one of the most interesting cases occurs for $G=\Z_p$, the cyclic group of prime order, for which we obtain near optimal bounds for all $k$ (for sufficiently large primes $p$), and asymptotically tight (up to constants) bounds for $k=2,4$.