sequence
7073 papers tagged with this keyword
2413-balloon permutations and the growth of the Möbius function
We show that the growth of the principal Möbius function on the permutation poset is exponential. This improves on previous work, which has shown that the growth is at least polynomial. We define a method of constructing a permutation from a smaller permutation which we call "ballooning". We show that if $β$ is a 2413-balloon, and $π$ is the 2413-balloon of $β$, then $μ[1, π] = 2 μ[1, β]$. This allows us to construct a sequence of permutations $π_1, π_2, π_3\ldots$ with lengths $n, n+4, n+8, \ldots$ such that $μ[1, π_{i+1}] = 2 μ[1, π_{i}]$, and this gives us exponential growth. Further, our construction method gives permutations that lie within a hereditary class with finitely many simple permutations. We also find an expression for the value of $μ[1, π]$, where $π$ is a 2413-balloon, with no restriction on the permutation being ballooned.
Optimal cube factors of Fibonacci and matchable Lucas cubes
The optimal cube factor of a graph, a special kind of component factor, is first introduced. Furthermore, the optimal cube factors of Fibonacci and matchable Lucas cubes are studied; and some results on the Padovan sequence and binomial coefficients are obtained.
Complexity of circulant graphs with non-fixed jumps, its arithmetic properties and asymptotics
In the present paper, we investigate a family of circulant graphs with non-fixed jumps $$G_n=C_{βn}(s_1, \ldots,s_k,α_1n,\ldots,α_\ell n),\, 1\le s_1<\ldots<s_k\le[\frac{βn}{2}],\, 1\le α_1< \ldots<α_\ell\le[\fracβ{2}].$$ Here $n$ is an arbitrary large natural number and integers $s_1, \ldots,s_k,α_1, \ldots,α_\ell$ are supposed to be fixed.
First, we present an explicit formula for the number of spanning trees in the graph $G_n.$ This formula is a product of $βs_k-1$ factors, each given by the $n$-th Chebyshev polynomial of the first kind evaluated at the roots of some prescribed polynomial of degree $s_k.$ Next, we provide some arithmetic properties of the complexity function. We show that the number of spanning trees in $G_n$ can be represented in the form $τ(n)=p \,n \,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending of parity of $β$ and $n.$ Finally, we find an asymptotic formula for $τ(n)$ through the Mahler measure of the Laurent polynomials differing by a constant from $2k-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$
Unimodal Sequence Generating Functions Arising from Partition Ranks
In this paper we study generating functions resembling the rank of strongly unimodal sequences. We give combinatorial interpretations, identities in terms of mock modular forms, asymptotics, and a parity result. Our functions imitate a relation between the rank of strongly unimodal sequences and the rank of integer partitions.
Stability of depth and Stanley depth of symbolic powers of squarefree monomial ideals
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $I\subset S$ is a squarefree monomial ideal. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $I$ by $I^{(k)}$. Recently, Montaño and Núñez-Betancourt \cite{mn} proved that for every pair of integers $m, k\geq 1$,$${\rm depth}(S/I^{(m)})\leq {\rm depth}(S/I^{(\lceil\frac{m}{k}\rceil)}).$$We provide an alternative proof for this inequality. Moreover, we reprove the known results that the sequence $\{{\rm depth}(S/I^{(k)})\}_{k=1}^{\infty}$ is convergent and$$\min_k{\rm depth}(S/I^{(k)})=\lim_{k\rightarrow \infty}{\rm depth}(S/I^{(k)})=n-\ell_s(I),$$where $\ell_s(I)$ denotes the symbolic analytic spread of $I$. We also determine an upper bound for the index of depth stability of symbolic powers of $I$. Next, we consider the Stanley depth of symbolic powers and prove that the sequences $\{{\rm sdepth}(S/I^{(k)})\}_{k=1}^{\infty}$ and $\{{\rm sdepth}(I^{(k)})\}_{k=1}^{\infty}$ are convergent and the limit of each sequence is equal to its minimum. Furthermore, we determine an upper bound for the indices of sdepth stability of symbolic powers.
Derivated sequences of complementary symmetric Rote sequences
Complementary symmetric Rote sequences are binary sequences which have factor complexity $\mathcal{C}(n) = 2n$ for all integers $n \geq 1$ and whose languages are closed under the exchange of letters. These sequences are intimately linked to Sturmian sequences. Using this connection we investigate the return words and the derivated sequences to the prefixes of any complementary symmetric Rote sequence $\mathbf{v}$ which is associated with a standard Sturmian sequence $\mathbf{u}$. We show that any non-empty prefix of $\mathbf{v}$ has three return words. We prove that any derivated sequence of $\mathbf{v}$ is coding of three interval exchange transformation and we determine the parameters of this transformation. We also prove that $\mathbf{v}$ is primitive substitutive if and only if $\mathbf{u}$ is primitive substitutive. Moreover, if the sequence $\mathbf{u}$ is a fixed point of a primitive morphism, then all derivated sequences of $\mathbf{v}$ are also fixed by primitive morphisms. In that case we provide an algorithm for finding these fixing morphisms.
On the status sequences of trees
The status of a vertex $v$ in a connected graph is the sum of the distances from $v$ to all other vertices. The status sequence of a connected graph is the list of the statuses of all the vertices of the graph. In this paper we investigate the status sequences of trees. Particularly, we show that it is NP-complete to decide whether there exists a tree that has a given sequence of integers as its status sequence. We also present some results about trees whose status sequences are comprised of a few distinct numbers or many distinct numbers. In this direction, we provide a partial answer to a conjecture of Shang and Lin from 2011, showing that any status injective tree is unique among trees. Finally, we investigate how orbit partitions and equitable partitions relate to the status sequence.
Summation Identities Involving Padovan and Perrin Numbers
Unlike in the case of Fibonacci and Lucas numbers, there is a paucity of literature dealing with summation identities involving the Padovan and Perrin numbers. In this paper, we derive various summation identities for these numbers, including binomial and double binomial identities. Our results derive from the rich algebraic properties exhibited by the zeros of the characteristic polynomial of the Padovan/Perrin sequence.
A formula for $F$-Polynomials in terms of $C$-Vectors and Stabilization of $F$-Polynomials
Given a quiver associated to a cluster algebra and a sequence of vertices, iterative mutation leads to $F$-Polynomials which appear in numerous places in the cluster algebraic literature. The coefficients of the monomials in these $F$-Polynomials are difficult to understand and have been an area of study for many years. In this paper, we present a general closed-form formula for these coefficients in terms of elementary manipulations with $C$-matrices. We then demonstrate the effectiveness of the formula by using it to derive simple explicit formulas for $F$-Polynomials of specific classes of quivers and mutation sequences. Work has been done to do these cases in ad-hoc combinatorial ways, but our formula recovers and improves known formulas with a general method.
Secondly, we investigate convergence of $F$-polynomials. In themselves, they do not converge, but by changing bases using the $C$-matrix, they conjecturally do. Since our formula relates $C$-matrix entries to coefficients, we are able to apply it to make considerable progress on the conjecture. Specifically, we show stability for green mutation sequences. Finally, we look at exact formulas for these stable deformed $F$-polynomials in instances where they illustrate properties that the $F$-polynomials themselves do not.
Recovering Conductances of Resistor Networks in a Punctured Disk
The response matrix of a resistor network is the linear map from the potential at the boundary vertices to the net current at the boundary vertices. For circular planar resistor networks, Curtis, Ingerman, and Morrow have given a necessary and sufficient condition for recovering the conductance of each edge in the network uniquely from the response matrix using local moves and medial graphs. We generalize their results for resistor networks on a punctured disk. First we discuss additional local moves that occur in our setting, prove several results about medial graphs of resistor networks on a punctured disk, and define the notion of $z$-sequences for such graphs. We then define certain circular planar graphs that are electrically equivalent to standard graphs and turn them into networks on a punctured disk by adding a boundary vertex in the middle. We prove such networks are recoverable and are able to generalize this result to a much broader family of networks. A necessary condition for recoverability is also introduced.
Critical base for the unique codings of fat Sierpinski gasket
Given $β\in(1,2)$ the fat Sierpinski gasket $\mathcal S_β$ is the self-similar set in $\mathbb R^2$ generated by the iterated function system (IFS)
\[
f_{β,d}(x)=\frac{x+d}β,\quad d\in\mathcal A:=\{(0, 0), (1,0), (0,1)\}.
\] Then for each point $P\in\mathcal S_β$ there exists a sequence $(d_i)\in\mathcal A^\mathbb N$ such that $P=\sum_{i=1}^\infty d_i/β^i$, and the infinite sequence $(d_i)$ is called a \emph{coding} of $P$. In general, a point in $\mathcal S_β$ may have multiple codings since the overlap region $\mathcal O_β:=\bigcup_{c,d\in\mathcal A, c\ne d}f_{β,c}(Δ_β)\cap f_{β,d}(Δ_β)$ has non-empty interior, where $Δ_β$ is the convex hull of $\mathcal S_β$. In this paper we are interested in the invariant set
\[
\widetilde{\mathcal U}_β:=\left\{\sum_{i=1}^\infty \frac{d_i}{β^i}\in \mathcal S_β: \sum_{i=1}^\infty\frac{d_{n+i}}{β^i}\notin\mathcal O_β~\forall n\ge 0\right\}.
\]
Then each point in $ \widetilde{\mathcal U}_β$ has a unique coding. We show that there is a transcendental number $β_c\approx 1.55263$ related to the Thue-Morse sequence, such that $\widetilde{\mathcal U}_β$ has positive Hausdorff dimension if and only if $β>β_{c}$. Furthermore, for $β=β_c$ the set $\widetilde{\mathcal U}_β$ is uncountable but has zero Hausdorff dimension, and for $β<β_c$ the set $\widetilde{\mathcal U}_β$ is at most countable. Consequently, we also answer a conjecture of Sidorov (2007). Our strategy is using combinatorics on words based on the lexicographical characterization of $\widetilde{\mathcal U}_β$.
Restricted $r$-Stirling Numbers and their Combinatorial Applications
We study set partitions with $r$ distinguished elements and block sizes found in an arbitrary index set $S$. The enumeration of these $(S,r)$-partitions leads to the introduction of $(S,r)$-Stirling numbers, an extremely wide-ranging generalization of the classical Stirling numbers and the $r$-Stirling numbers. We also introduce the associated $(S,r)$-Bell and $(S,r)$-factorial numbers. We study fundamental aspects of these numbers, including recurrence relations and determinantal expressions. For $S$ with some extra structure, we show that the inverse of the $(S,r)$-Stirling matrix encodes the Möbius functions of two families of posets. Through several examples, we demonstrate that for some $S$ the matrices and their inverses involve the enumeration sequences of several combinatorial objects. Further, we highlight how the $(S,r)$-Stirling numbers naturally arise in the enumeration of cliques and acyclic orientations of special graphs, underlining their ubiquity and importance. Finally, we introduce related $(S,r)$ generalizations of the poly-Bernoulli and poly-Cauchy numbers, uniting many past works on generalized combinatorial sequences.
An increasing sequence of lower bounds for the Estrada index of graphs and matrices
Let $G$ be a graph on $n$ vertices and $λ_1\geq λ_2\geq \ldots \geq λ_n$ its eigenvalues. The Estrada index of $G$ is defined as $EE(G)=\sum_{i=1}^n e^{λ_i}.$ In this work, we using an increasing sequence converging to the $λ_1$ to obtain an increasing sequence of lower bounds for $EE(G)$. In addition, we generalize this succession for the Estrada index of an arbitrary nonnegative Hermitian matrix.
The polytope of legal sequences
A sequence of vertices in a graph is called a \emph{(total) legal dominating sequence} if every vertex in the sequence (total) dominates at least one vertex not dominated by those ones that precede it, and at the end all vertices of the graph are (totally) dominated. The \emph{Grundy (total) domination number} of a graph is the size of the largest (total) legal dominating sequence. In this work, we address the problems of determining these two parameters by introducing a generalized version of them. We explicitly calculate the corresponding (general) parameter for paths and web graphs. We propose integer programming formulations for the new problem and we study the polytope associated to one of them. We find families of valid inequalities and derive conditions under which they are facet-defining. Finally, we perform computational experiments to compare the formulations as well as to test valid inequalities as cuts in a B\&C framework.
Cyclotomic factors of necklace polynomials
Published
• View Publication
• BIB
We observe that the necklace polynomials $M_d(x) = \frac{1}{d}\sum_{e\mid d}μ(e)x^{d/e}$ are highly reducible over $\mathbb{Q}$ with many cyclotomic factors. Furthermore, the sequence $Φ_d(x) - 1$ of shifted cyclotomic polynomials exhibits a qualitatively similar phenomenon, and it is often the case that $M_d(x)$ and $Φ_d(x) - 1$ have many common cyclotomic factors. We explain these cyclotomic factors of $M_d(x)$ and $Φ_d(x) - 1$ in terms of what we call the \emph{$d$th necklace operator}. Finally, we show how these cyclotomic factors correspond to certain hyperplane arrangements in finite abelian groups.
A Categorification of the Vandermonde Determinant
Published
• View Publication
• BIB
In the spirit of Bar Natan's construction of Khovanov homology, we give a categorification of the Vandermonde determinant. Given a sequence of positive integers $\vec{x}=(x_1,...,x_n)$, we construct a commutative diagram in the shape of the Bruhat order on $S_n$ whose nodes are colored smoothings of the $2$-strand torus link $T_{2,n}$, and whose arrows are colored cobordisms. An application of a TQFT to this diagram yields a chain complex whose Euler characteristic is the Vandermonde determinant evaluated at $\vec{x}$. A generalization to arbitrary link diagrams is given, producing categorifications of certain generalized Vandermonde determinants. We also address functoriality of this construction.
The Zero-Difference Properties of Functions and Their Applications
A function $f$ from an Abelian group $(A,+)$ to an Abelian group $(B,+)$ is $(n, m, S)$ zero-difference (ZD), if $S=\{λ_α\mid α\in A\setminus\{0\}\}$ where $n=|A|$, $m=|f(A)|$ and $λ_α=|\{x \in A \mid f(x+α)=f(x)\}|$. A function is called zero-difference balanced (ZDB) if $S=\{λ\}$ where $λ$ is a constant number. ZDB functions have many good applications. However it is point out that many known zero-difference balanced functions are already given in the language of partitioned difference family (PDF). The problem that whether zero-difference ``not balanced" functions still have good applications as ZDB functions, is investigated in this paper. By using the change point technic, zero-difference functions with good applications are constructed from known ZDB functions. Then optimal difference systems of sets (DSS) and optimal frequency-hopping sequences (FHS) are obtained with new parameters. Furthermore the sufficient and necessary conditions of these objects being optimal, are given.
A remark on the characterization of triangulated graphs
Published
• View Publication
• BIB
In this study we consider the problem of triangulated graphs. Precisely we give a necessary and sufficient condition for a graph to be triangulated. This give an alternative characterization of triangulated graphs. Our method is based on the so called perfectly nested sequences.
Unimodality of the Andrews-Garvan-Dyson cranks of partitions
Published
• View Publication
• BIB
The main objective of this paper is to investigate the distribution of the Andrews-Garvan-Dyson crank of a partition. Let $M(m,n)$ denote the number of partitions of $n$ with the Andrews-Garvan-Dyson crank $m$, we show that the sequence \break $\{M(m,n)\}_{|m|\leq n-1}$ is unimodal for $n\geq 44$. It turns out that the unimodality of \break $\{M(m,n)\}_{|m|\leq n-1}$ is related to the monotonicity properties of two partition \break functions $p_k(n)$ and $pp_k(n)$. Let $p_k(n)$ denote the number of partitions of $n$ with at most $k$ parts such that the largest part appears at least twice and let $pp_k(n)$ denote the number of pairs $(α,β)$ of partitions of $n$, where $α$ is a partition counted by $p_k(i)$ and $β$ is a partition counted by $p_{k+1}(n-i)$ for $0\leq i\leq n$. We show that $p_k(n)\geq p_k(n-1)$ for $k\geq 5$ and $n\geq 14$ and $pp_k(n)\geq pp_k(n-1)$ for $k\geq 3$ and $n\geq 2$. With the aid of the monotonicity properties on $p_k(n)$ and $pp_k(n)$, we show that $M(m,n)\geq M(m,n-1)$ for $n\geq 14$ and $ 0\leq m \leq n-2$ and $M(m-1,n)\geq M(m,n)$ for $n\geq 44$ and $1\leq m\leq n-1$. By means of the symmetry $M(m,n)=M(-m,n)$, we find that $M(m-1,n)\geq M(m,n)$ for $n\geq 44$ and $1\leq m\leq n-1$ implies that the sequence $\{M(m,n)\}_{|m|\leq n-1}$ is unimodal for $n\geq 44$. We also give a proof of an upper bound for ospt(n) conjectured by Chan and Mao in light of the inequality $M(m-1,n)\geq M(m,n)$ for $n\geq 44$ and $0\leq m\leq n-1$.
To stay discovered: On tournament mean score sequences and the Bradley--Terry model
Published in Stochastic Processes Appl. 150, 844-852 (2022)
• View Publication
• BIB
On being told that a piece of work he thought was his discovery had duplicated an earlier mathematician's work, Larry Shepp once replied "Yes, but when {\em I} discovered it, it {\em stayed} discovered". In this spirit we give discussion and probabilistic proofs of two related known results (Moon 1963, Joe 1988) on random tournaments which seem surprisingly unknown to modern probabilists. In particular our proof of Moon's theorem on mean score sequences seems more constructive than previous proofs. This provides a comparatively concrete introduction to a longstanding mystery, the lack of a canonical construction for a joint distribution in the representation theorem for convex order.