sequence
6845 papers tagged with this keyword
An Upper Bound for Sorting $R_n$ with LRE
Published
• View Publication
• BIB
A permutation $π$ over alphabet $Σ= {1,2,3,\ldots,n}$, is a sequence where every element $x$ in $Σ$ occurs exactly once. $S_n$ is the symmetric group consisting of all permutations of length $n$ defined over $Σ$. $I_n$ = $(1, 2, 3,\ldots, n)$ and $R_n =(n, n-1, n-2,\ldots, 2, 1)$ are identity (i.e. sorted) and reverse permutations respectively. An operation, that we call as an $LRE$ operation, has been defined in OEIS with identity A186752. This operation is constituted by three generators: left-rotation, right-rotation and transposition(1,2). We call transposition(1,2) that swaps the two leftmost elements as $Exchange$. The minimum number of moves required to transform $R_n$ into $I_n$ with $LRE$ operation are known for $n \leq 11$ as listed in OEIS with sequence number A186752. For this problem no upper bound is known. OEIS sequence A186783 gives the conjectured diameter of the symmetric group $S_n$ when generated by $LRE$ operations \cite{oeis}. The contributions of this article are: (a) The first non-trivial upper bound for the number of moves required to sort $R_n$ with $LRE$; (b) a tighter upper bound for the number of moves required to sort $R_n$ with $LRE$; and (c) the minimum number of moves required to sort $R_{10}$ and $R_{11}$ have been computed. Here we are computing an upper bound of the diameter of Cayley graph generated by $LRE$ operation. Cayley graphs are employed in computer interconnection networks to model efficient parallel architectures. The diameter of the network corresponds to the maximum delay in the network.
Gonality sequences of graphs
Published
• View Publication
• BIB
To any graph we associate a sequence of integers called the gonality sequence of the graph, consisting of the minimum degrees of divisors of increasing rank on the graph. This is a tropical analogue of the gonality sequence of an algebraic curve. We study gonality sequences for graphs of low genus, proving that for genus up to $5$, the gonality sequence is determined by the genus and the first gonality. We then prove that any reasonable pair of first two gonalities is achieved by some graph. We also develop a modified version of Dhar's burning algorithm more suited for studying higher gonalities.
Wiener index, number of subtrees, and tree eccentric sequence
The eccentricity of a vertex $u$ in a connected graph $G$ is the distance between $u$ and a vertex farthest from it; the eccentric sequence of $G$ is the nondecreasing sequence of the eccentricities of $G$. In this paper, we determine the unique tree that minimises the Wiener index, i.e. the sum of distances between all unordered vertex pairs, among all trees with a given eccentric sequence. We show that the same tree maximises the number of subtrees among all trees with a given eccentric sequence, thus providing another example of negative correlation between the number of subtrees and the Wiener index of trees. Furthermore, we provide formulas for the corresponding extreme values of these two invariants in terms of the eccentric sequence. As a corollary to our results, we determine the unique tree that minimises the edge Wiener index, the vertex-edge Wiener index, the Schulz index (or degree distance), and the Gutman index among all trees with a given eccentric sequence.
Relative Leray numbers via spectral sequences
Published
• View Publication
• BIB
Let $\mathbb{F}$ be a fixed field and let $X$ be a simplicial complex on the vertex set $V$. The Leray number $L(X;\mathbb{F})$ is the minimal $d$ such that for all $i \geq d$ and $S \subset V$, the induced complex $X[S]$ satisfies $\tilde{H}_i(X[S];\mathbb{F})=0$. Leray numbers play a role in formulating and proving topological Helly type theorems. For two complexes $X,Y$ on the same vertex set $V$, define the relative Leray number $L_Y(X;\mathbb{F})$ as the minimal $d$ such that $\tilde{H}_i(X[V \setminus σ];\mathbb{F})=0$ for all $i \geq d$ and $σ\in Y$. In this paper we extend the topological colorful Helly theorem to the relative setting. Our main tool is a spectral sequence for the intersection of complexes indexed by a geometric lattice.
Semi-equivelar maps on the surface of Euler genus 3
If the cyclic sequence of faces for all the vertices in a map are of same type, then the map is said to be a semi-equivelar map. In this article, we classify all the types of semi-equivelar maps on the surface of Euler genus 3, $i.e.$, on the surface of Euler characteristic $-1$. That is, we present {a complete map types of} semi-equivelar maps (if exist) on the surface of Euler char. $-1$. We know the complete list of semi-equivelar maps (upto isomorphism) for some types. Here, we also present a complete list of semi-equivelar maps for one type and for other types, similar steps can be followed.
Cohomology ring of manifold arrangements
We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset $\mathfrak{L}$, and then define the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \mathcal{C})$ over a commutative ring with unit, which is built by the classical Orlik--Solomon algebra and a monoidal cosheaf $\mathcal{C}$ as coefficients. Furthermore, we construct a monoidal cosheaf $\hat{\mathcal{C}}(\mathcal{A})$ associated with $\mathcal{A}$, so that the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))$ becomes a double complex with suitable multiplication structure and the associated total complex $Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A})))$ is a differential algebra. Our main result is that $H^*(Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))))$ is isomorphic to $H^*(\mathcal{M}(\mathcal{A}))$ as algebras. Our argument is of topological with the use of a spectral sequence induced by a geometric filtration associated with $\mathcal{A}$. In particular, we also discuss the mixed Hodge complex structure on our model if $M$ and all elements in $\mathcal{A}$ are complex smooth varieties, and show that it induces the canonical mixed Hodge structure of $\mathcal{M}(\mathcal{A})$. As an application, we calculate the cohomology of chromatic configuration spaces, which agrees with many known results in some special cases. In addition, some explicit formulas with respect to Poincaré polynomial and chromatic polynomial are also given.
Avoidance of split overlaps
Published
• View Publication
• BIB
We generalize Axel Thue's familiar definition of overlaps in words, and show that there are no infinite words containing split occurrences of these generalized overlaps. Along the way we prove a useful theorem about repeated disjoint occurrences in words -- an interesting natural variation on the classical de Bruijn sequences.
Two poset polytopes are mutation-equivalent
The combinatorial mutation $\mathrm{mut}_w(P,F)$ for a lattice polytope $P$ was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in [1] that for a lattice polytope $P \subseteq N_\mathbb{R}$ containing the origin in its interior, the polar duals $P^* \subseteq M_\mathbb{R}$ and $\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R}$ have the same Ehrhart series. For extending this framework, in this paper, we introduce the combinatorial mutation for the Minkowski sum of rational polytopes and rational polyhedral pointed cones in $N_\mathbb{R}$. We can also introduce the combinatorial mutation in the dual side $M_\mathbb{R}$, which we can apply for every rational polytope in $M_\mathbb{R}$ containing the origin (not necessarily in the interior). As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset $Π$ can be obtained by a sequence of the combinatorial mutation in $M_\mathbb{R}$ from the order polytope of $Π$. Namely, the order polytope and the chain polytope of the same poset $Π$ are mutation-equivalent.
Asymmetric extension of Pascal-Dellanoy triangles
Published
• View Publication
• BIB
We give a generalization of the Pascal triangle called the quasi s-Pascal triangle where the sum of the elements crossing the diagonal rays produce the s-bonacci sequence. For this, consider a lattice path in the plane whose step set is {L = (1, 0), L1 = (1, 1), L2 = (2, 1), . . . , Ls = (s, 1)}; an explicit formula is given. Thereby linking the elements of the quasi s-Pascal triangle with the bisnomial coefficients. We establish the recurrence relation for the sum of elements lying over any finite ray of the quasi s-Pascal triangle. The generating function of the cited sums is produced. We also give identities among which one equivalent to the de Moivre sum and establish a q-analogue of the coefficient of the quasi s-Pascal triangle.
Some results on average of Fibonacci and Lucas sequences
In this paper, we discuss about some results on average of Fibonacci and Lucas sequences that may be found in the OEIS code A111035.
Even cycles and perfect matchings in claw-free plane graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (October 12, 2020) dmtcs:6062
• View Publication
• BIB
Lov{á}sz showed that a matching covered graph $G$ has an ear decomposition starting with an arbitrary edge of $G$. Let $G$ be a graph which has a perfect matching. We call $G$ cycle-nice if for each even cycle $C$ of $G$, $G-V(C)$ has a perfect matching. If $G$ is a cycle-nice matching covered graph, then $G$ has ear decompositions starting with an arbitrary even cycle of $G$. In this paper, we characterize cycle-nice claw-free plane graphs. We show that the only cycle-nice simple 3-connected claw-free plane graphs are $K_4$, $W_5$ and $\overline C_6$. Furthermore, every cycle-nice 2-connected claw-free plane graph can be obtained from a graph in the family ${\cal F}$ by a sequence of three types of operations, where ${\cal F}$ consists of even cycles, a diamond, $K_4$, and $\overline C_6$.
Criteria for apwenian sequences
Published
• View Publication
• BIB
In 1998, Allouche, Peyrière, Wen and Wen showed that the Hankel determinant $H_n$ of the Thue-Morse sequence over $\{-1,1\}$ satisfies $H_n/2^{n-1}\equiv 1~(\mathrm{mod}~2)$ for all $n\geq 1$. Inspired by this result, Fu and Han introduced \emph{apwenian} sequences over $\{-1,1\}$, namely, $\pm 1$ sequences whose Hankel determinants satisfy $H_n/2^{n-1}\equiv 1~(\mathrm{mod}~2)$ for all $n\geq 1$, and proved with computer assistance that a few sequences are apwenian. In this paper, we obtain an easy to check criterion for apwenian sequences, which allows us to determine all apwenian sequences that are fixed points of substitutions of constant length. Let $f(z)$ be the generating functions of such apwenian sequences. We show that for all integer $b\ge 2$ with $f(1/b)\neq 0$, the real number $f(1/b)$ is transcendental and its irrationality exponent is equal to $2$.
Besides, we also derive a criterion for zero-one apwenian sequences whose Hankel determinants satisfy $H_n\equiv 1~(\mathrm{mod}~2)$ for all $n\geq 1$. We find that the only zero-one apwenian sequence, among all fixed points of substitutions of constant length, is the period-doubling sequence. Various examples of apwenian sequences given by substitutions with projection are also given. Furthermore, we prove that all Sturmian sequences over $\{-1,1\}$ or $\{0,1\}$ are not apwenian. And we conjecture that fixed points of substitution of non-constant length over $\{-1,1\}$ or $\{0,1\}$ can not be apwenian.
$S$-packing chromatic vertex-critical graphs
Published in Discrete Appl. Math. 385 (2026) 77-85
• View Publication
• BIB
For a non-decreasing sequence of positive integers $S = (s_1,s_2,\ldots)$, the {\em $S$-packing chromatic number} $χ_S(G)$ of $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $X_i$, $i \in [k]$, where vertices in $X_i$ are pairwise at distance greater than $s_i$. In this paper we introduce $S$-packing chromatic vertex-critical graphs, $χ_{S}$-critical for short, as the graphs in which $χ_{S}(G-u)<χ_{S}(G)$ for every $u\in V(G)$. This extends the earlier concept of the packing chromatic vertex-critical graphs. We show that if $G$ is $χ_{S}$-critical, then the set $\{ χ_{S}(G)-χ_{S}(G-u); \, u\in V(G) \}$ can be almost arbitrary. If $G$ is $χ_{S}$-critical and $χ_{S}(G)=k$ ($k\in \mathbb{N}$), then $G$ is called $k$-$χ_{S}$-critical. We characterize $3$-$χ_{S}$-critical graphs and partially characterize $4$-$χ_{S}$-critical graphs when $s_1>1$. We also deal with $k$-$χ_{S}$-criticality of trees and caterpillars.
Permutations of N generated by left-right filling algorithms
We give an in depth analysis of an algorithm that generates permutations of the natural numbers introduced by Clark Kimberling in the On Line Encyclopedia of Integer Sequences. It turns out that the examples of such permutations in OEIS are completely determined by 3-automatic sequences.
Block-avoiding point sequencings
Published
• View Publication
• BIB
Let $n$ and $\ell$ be positive integers. Recent papers by Kreher, Stinson and Veitch have explored variants of the problem of ordering the points in a triple system (such as a Steiner triple system, directed triple system or Mendelsohn triple system) on $n$ points so that no block occurs in a segment of $\ell$ consecutive entries (thus the ordering is locally block-avoiding). We describe a greedy algorithm which shows that such an ordering exists, provided that $n$ is sufficiently large when compared to $\ell$. This algorithm leads to improved bounds on the number of points in cases where this was known, but also extends the results to a significantly more general setting (which includes, for example, orderings that avoid the blocks of a design). Similar results for a cyclic variant of this situation are also established.
We construct Steiner triple systems and quadruple systems where $\ell$ can be large, showing that a bound of Stinson and Veitch is reasonable. Moreover, we generalise the Stinson--Veitch bound to a wider class of block designs and to the cyclic case.
The results of Kreher, Stinson and Veitch were originally inspired by results of Alspach, Kreher and Pastine, who (motivated by zero-sum avoiding sequences in abelian groups) were interested in orderings of points in a partial Steiner triple system where no segment is a union of disjoint blocks. Alspach~\emph{et al.}\ show that, when the system contains at most $k$ pairwise disjoint blocks, an ordering exists when the number of points is more than $15k-5$. By making use of a greedy approach, the paper improves this bound to $9k+O(k^{2/3})$.
Sorting Permutations with Fixed Pinnacle Set
Published
• View Publication
• BIB
We give a positive answer to a question raised by Davis et al. ({\em Discrete Mathematics} 341, 2018), concerning permutations with the same pinnacle set. Given $π\in S_n$, a {\em pinnacle} of $π$ is an element $π_i$ ($i\neq 1,n$) such that $π_{i-1}<π_i>π_{i+1}$. The question is: given $π,π'\in S_n$ with the same pinnacle set $S$, is there a sequence of operations that transforms $π$ into $π'$ such that all the intermediate permutations have pinnacle set $S$? We introduce {\em balanced reversals}, defined as reversals that do not modify the pinnacle set of the permutation to which they are applied. Then we show that $π$ may be sorted by balanced reversals (i.e. transformed into a standard permutation $\Id_S$), implying that $π$ may be transformed into $π'$ using at most $4n-2\min\{p,3\}$ balanced reversals, where $p=|S|\geq 1$. In case $p=0$, at most $2n-1$ balanced reversals are needed.
Generalizing Zeckendorf's Theorem to Homogeneous Linear Recurrences, I
Published
• View Publication
• BIB
Zeckendorf's theorem states that every positive integer can be written uniquely as the sum of non-consecutive shifted Fibonacci numbers $\{F_n\}$, where we take $F_1=1$ and $F_2=2$. This has been generalized for any Positive Linear Recurrence Sequence (PLRS), which informally is a sequence satisfying a homogeneous linear recurrence with a positive leading coefficient and non-negative integer coefficients. These decompositions are generalizations of base $B$ decompositions. In this and the follow-up paper, we provide two approaches to investigate linear recurrences with leading coefficient zero, followed by non-negative integer coefficients, with differences between indices relatively prime (abbreviated ZLRR). The first approach involves generalizing the definition of a legal decomposition for a PLRS found in Koloğlu, Kopp, Miller and Wang. We prove that every positive integer $N$ has a legal decomposition for any ZLRR using the greedy algorithm. We also show that a specific family of ZLRRs loses uniqueness of decompositions. The second approach converts a ZLRR to a PLRR that has the same growth rate. We develop the Zeroing Algorithm, a powerful helper tool for analyzing the behavior of linear recurrence sequences. We use it to prove a very general result that guarantees the possibility of conversion between certain recurrences, and develop a method to quickly determine whether certain sequences diverge to $+\infty$ or $-\infty$, given any real initial values. This paper investigates the first approach.
Characterizations of the Borel triangle and Borel polynomials
We use Riordan array theory to give characterizations of the Borel triangle and its associated polynomial sequence. We show that the Borel polynomials are the moment sequence for a family of orthogonal polynomials whose coefficient array is a Riordan array. The role of the Catalan matrix in defining the Borel triangle is examined. We generalize the Borel triangle to a family of two parameter triangles. Generating functions are expressed as Jacobi continued fractions, as well as the zeros of appropriate quadratic expressions. The Borel triangle is exhibited as a Hadamard product of matrices. We investigate the reversions of the triangles studied. We introduce the notion of Fuss-Borel triangles and Fuss-Catalan triangles. We end with some remarks on the Catalan triangle.
Subtrees and independent subsets in unicyclic graphs and unicyclic graphs with fixed segment sequence
In the study of topological indices two negative correlations are well known: that between the number of subtrees and the Wiener index (sum of distances), and that between the Merrifield-Simmons index (number of independent vertex subsets) and the Hosoya index (number of independent edge subsets). That is, among a certain class of graphs, the extremal graphs that maximize one index usually minimize the other, and vice versa. In this paper, we first study the numbers of subtrees in unicyclic graphs and unicyclic graphs with a given girth, further confirming its opposite behavior to the Wiener index by comparing with known results. We then consider the unicyclic graphs with a given segment sequence and characterize the extremal structure with the maximum number of subtrees. Furthermore, we show that these graphs are not extremal with respect to the Wiener index. We also identify the extremal structures that maximize the number of independent vertex subsets among unicyclic graphs with a given segment sequence, and show that they are not extremal with respect to the number of independent edge subsets. These results may be the first examples where the above negative correlation failed in the extremal structures between these two pairs of indices.
Limit Shapes for Unimodal Sequences
Published
• View Publication
• BIB
We prove asymptotic 0-1 Laws satisfied by diagrams of unimodal sequences of positive integers. These diagrams consist of columns of squares in the plane, and the upper boundary is called the shape. For various types, we show that, as the number of squares tends to infinity, $100\%$ of shapes are near a certain curve---that is, there is a single {\it limit shape}. Similar phenomena have been well-studied for integer partitions, so the present work is a natural extension. One notable corollary is a transferred limit shape for overpartitions.