sequence
6845 papers tagged with this keyword
Paths through equally spaced points on a circle
Consider $n$ points evenly spaced on a circle, and a path of $n-1$ chords that uses each point once. There are $m=\lfloor n/2\rfloor$ possible chord lengths, so the path defines a multiset of $n-1$ elements drawn from $\{1,2,\ldots,m\}$. The first problem we consider is to characterize the multisets which are realized by some path. Buratti conjectured that all multisets can be realized when $n$ is prime, and a generalized conjecture for all $n$ was proposed by Horak and Rosa. Previously the conjecture was proved for $n \leq 19$ and $n=23$; we extend this to $n\leq 37$ (OEIS sequence A352568). The second problem is to determine the number of distinct (euclidean) path lengths that can be realized. For this there is no conjecture; we extend current knowledge from $n\leq 16$ to $n\leq 37$ (OEIS sequence A030077). When $n$ is prime, twice a prime, or a power of 2, we prove that two paths have the same length only if they have the same multiset of chord lengths.
Record-Setters in the Stern Sequence
Published
• View Publication
• BIB
Stern's diatomic series, denoted by $(a(n))_{n \geq 0}$, is defined by the recurrence relations $a(2n) = a(n)$ and $a(2n + 1) = a(n) + a(n + 1)$ for $n \geq 1$, and initial values $a(0) = 0$ and $a(1) = 1$. A record-setter for a sequence $(s(n))_{n \geq 0}$ is an index $v$ such that $s(i) < s(v)$ holds for all $i < v$. In this paper, we give a complete description of the record-setters for the Stern sequence.
A description of the Zeta map on Dyck paths area sequences
We give a description of the well known Zeta map on Dyck paths which sends the dinv,area statistics to the area,bounce statistics. Our description uses Dyck paths area sequences and can be implemented easily.
Equivariant log-concavity and equivariant Kähler packages
Published in J. Algebra 657, 379-401 (2024)
• View Publication
• BIB
We show that the exterior algebra $Λ_{R}\left[α_{1}, \cdots, α_{n}\right]$, which is the cohomology of the torus $T=(S^{1})^{n}$, and the polynomial ring $\mathbb{R}\left[t_{1}, \ldots, t_{n}\right]$, which is the cohomology of the classifying space $B (S^{1})^{n}=\left(\mathbb{C} \mathbb{P}^{\infty}\right)^{n}$, are $S_{n}$-equivariantly log-concave. We do so by explicitly giving the $S_{n}$-representation maps on the appropriate sequences of tensor products of polynomials or exterior powers and proving that these maps satisfy the hard Lefschetz theorem. Furthermore, we prove that the whole Kähler package, including algebraic analogies of the Poincaré duality, hard Lefschetz, and Hodge-Riemann bilinear relations, holds on the corresponding sequences in an equivariant setting.
Energy Games over Totally Ordered Groups
Kopczyński (ICALP 2006) conjectured that prefix-independent half-positional winning conditions are closed under finite unions. We refute this conjecture over finite arenas. For that, we introduce a new class of prefix-independent bi-positional winning conditions called energy conditions over totally ordered groups. We give an example of two such conditions whose union is not half-positional. We also conjecture that every prefix-independent bi-positional winning condition coincides with some energy condition over a totally ordered group on periodic sequences.
Upper Bounds to Genome Rearrangement Problem using Prefix Transpositions
A Genome rearrangement problem studies large-scale mutations on a set of DNAs in living organisms. Various rearrangements like reversals, transpositions, translocations, fissions, fusions, and combinations and different variations have been studied extensively by computational biologists and computer scientists over the past four decades. From a mathematical point of view, a genome is represented by a permutation. The genome rearrangement problem is interpreted as a problem that transforms one permutation into another in a minimum number of moves under certain constraints depending on the chosen rearrangements. Finding the minimum number of moves is equivalent to sorting the permutation with the given rearrangement. A transposition is an operation on a permutation that moves a sublist of a permutation to a different position in the same permutation. A \emph{Prefix Transposition}, as the name suggests, is a transposition that moves a sublist which is a prefix of the permutation.
In this thesis, we study prefix transpositions on permutations and present a better upper bound for sorting permutations with prefix transpositions. A greedy algorithm called the \emph{generalised sequence length algorithm} is defined as an extension of the sequence length algorithm where suitable alternate moves are also considered. This algorithm is used to sequentially improve the upper bound to $n-\log_{3.3} n$ and $n-\log_3 n$. In the latter part of the thesis, we defined the concept of a \emph{block}. We used it along with the greedy moves of the generalised sequence length algorithm to get an upper bound of $n-\log_2 n$ to sort permutations by prefix transpositions.
A fourth moment phenomenon for asymptotic normality of monochromatic subgraphs
Published
• View Publication
• BIB
Given a graph sequence $\{G_n\}_{n\ge1}$ and a simple connected subgraph $H$, we denote by $T(H,G_n)$ the number of monochromatic copies of $H$ in a uniformly random vertex coloring of $G_n$ with $c \ge 2$ colors. In this article, we prove a central limit theorem for $T(H,G_n)$ with explicit error rates. The error rates arise from graph counts of collections formed by joining copies of $H$ that we call good joins. Counts of good joins are closely related to the fourth moment of a normalized version of $T(H,G_{n})$, and that connection allows us to show a fourth moment phenomenon for the central limit theorem.
Precisely, for $c\ge 30$, we show that $T(H,G_n)$ (appropriately centered and rescaled) converges in distribution to $\mathcal{N}(0,1)$ whenever its fourth moment converges to 3 (the fourth moment of the standard normal distribution). We show the convergence of the fourth moment is necessary to obtain a normal limit when $c\ge 2$. The combination of these results implies that the fourth moment condition characterizes the limiting normal distribution of $T(H,G_n)$ for all subgraphs $H$, whenever $c\ge 30$.
A System of Four simultaneous Recursions: Generalization of the Ledin-Shannon-Ollerton Identity
Published
• View Publication
• BIB
This paper further generalizes a recent result of Shannon and Ollerton who resurrected an old identity due to Ledin. This paper generalizes the Ledin-Shannon-Ollerton result to all the metallic sequences. The results give closed formulas for the sum of products of powers of the first $n$ integers with the first $n$ members of the metallic sequence. Three key innovations of this paper are i) reducing the proof of the generalization to the solution of a system of 4 simultaneous recursions; ii) use of the shift operation to prove equality of polynomials; and iii) new OEIS sequences arising from the coefficients of the four polynomial families satisfying the 4 simultaneous recursions.
Decompositions of Unit Hypercubes and the Reversion of a Generalized Möbius Series
Published
• View Publication
• BIB
Let $s_d(n)$ be the number of distinct decompositions of the $d$-dimensional hypercube with $n$ rectangular regions that can be obtained via a sequence of splitting operations. We prove that the generating series $y = \sum_{n \geq 1} s_d(n)x^n$ satisfies the functional equation $x = \sum_{n\geq 1} μ_d(n)y^n$, where $μ_d(n)$ is the $d$-fold Dirichlet convolution of the Möbius function. This generalizes a recent result by Goulden et al., and shows that $s_1(n)$ also gives the number of natural exact covering systems of $\mZ$ with $n$ residual classes. We also prove an asymptotic formula for $s_d(n)$ and describe a bijection between $1$-dimensional decompositions and natural exact covering systems.
Extremal trees of given degree sequence or segment sequence with respect to Steiner 3-eccentricity
Published
• View Publication
• BIB
The Steiner $k$-eccentricity of a vertex in graph $G$ is the maximum Steiner distance over all $k$-subsets containing the vertex. %Some general properties of the Steiner 3-eccentricity of trees are given. Let $\mathbb{T}_n$ be the set of all $n$-vertex trees, $\mathbb{T}_{n,Δ}$ be the set of $n$-vertex trees with given maximum degree equal to $Δ$, $\mathbb{T}_n^k$ be the set of $n$-vertex trees with exactly $k$ vertices of maximum degree, and let $\mathbb{T}_{n,Δ}^k$ be the set of $n$-vertex trees with exactly $k$ vertices of given maximum degree equal to $Δ.$ In this paper, we first determine the sharp upper bound on the average Steiner 3-eccentricity of $n$-vertex trees with given degree sequence. The corresponding extremal graph is characterized. Consequently, together with majorization theory, the unique graph among $\mathbb{T}_n$ (resp. $\mathbb{T}_{n,Δ}$, $\mathbb{T}_n^k, \mathbb{T}_{n,Δ}^k$) having the maximum average Steiner 3-eccentricity is identified. Then we characterize the unique $n$-vertex tree with given segment sequence having the largest average Steiner 3-eccentricity. Similarly, the $n$-vertex tree with given number of segments having the largest average Steiner 3-eccentricity is determined.
A combinatorial description of shape theory
We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse sequences of finite spaces and prove some properties.
Resolution of Yan's conjecture on entropy of graphs
Published
• View Publication
• BIB
The first degree-based entropy of a graph is the Shannon entropy of its degree sequence normalized by the degree sum. In this paper, we characterize the connected graphs with given order $n$ and size $m$ that minimize the first degree-based entropy whenever $n-1 \le m \le 2n-3,$ thus extending and proving a conjecture by Yan.
Irredundant hyperplane covers
We prove that if $G$ is an abelian group and $H_1x_1,\dots,H_{k}x_k$ is an irredundant (minimal) cover of $G$ with cosets, then $$|G:\bigcap_{i=1}^{k}H_{i}|=2^{O(k)}.$$ This bound is the best possible up to the constant hidden in the $O(\cdot)$ notation, and it resolves conjectures of Pyber (1996) and Szegedy (2007).
We further show that if $G$ is an elementary $p$-group for some large prime $p$, and $H_1,\dots,H_k$ is a sequence of hyperplanes with many repetitions, then the bound above can be improved. As a consequence, we establish a substantial strengthening of the recently solved Alon-Jaeger-Tarsi conjecture: there exists $α>0$ such that for every invertible matrix $M\in\mathbb{F}_p^{n\times n}$ and any set of at most $p^α$ forbidden coordinates, one can find a vector $x\in\mathbb{F}_p^{n}$ such that neither $x$ nor $Mx$ have a forbidden coordinate.
On Weighted Simplicial Homology
Published
• View Publication
• BIB
We develop a framework for computing the homology of weighted simplicial complexes with coefficients in a discrete valuation ring. A weighted simplicial complex, $(X,v)$, introduced by Dawson [Cah. Topol. Géom. Différ. Catég. 31 (1990), pp. 229--243], is a simplicial complex, $X$, together with an integer-valued function, $v$, assigning weights to simplices, such that the weight of any of faces are monotonously increasing. In addition, weighted homology, $H_n^v(X)$, features a new boundary operator, $\partial_n^v$. In difference to Dawson, our approach is centered at a natural homomorphism $θ$ of weighted chain complexes. The key object is $H^v_{n}(X/θ)$, the weighted homology of a quotient of chain complexes induced by $θ$, appearing in a long exact sequence linking weighted homologies with different weights. We shall construct bases for the kernel and image of the weighted boundary map, identifying $n$-simplices as either $κ_n$- or $μ_n$-vertices. Long exact sequences of weighted homology groups and the bases, allow us to prove a structure theorem for the weighted simplicial homology with coefficients in a ring of formal power series $R=\mathbb{F}[[π]]$, where $\mathbb{F}$ is a field. Relative to simplicial homology new torsion arises and we shall show that the torsion modules are connected to a pairing between distinguished $κ_n$ and $μ_{n+1}$ simplices.
Cut-Down de Bruijn Sequences
Published
• View Publication
• BIB
A cut-down de Bruijn sequence is a cyclic string of length $L$, where $1 \leq L \leq k^n$, such that every substring of length $n$ appears at most once. Etzion [Theor. Comp. Sci 44 (1986)] gives an algorithm to construct binary cut-down de Bruijn sequences that requires $o(n)$ simple $n$-bit operations per symbol generated. In this paper, we simplify the algorithm and improve the running time to $\mathcal{O}(n)$ time per symbol generated using $\mathcal{O}(n)$ space. We then provide the first successor-rule approach for constructing a binary cut-down de Bruijn sequence by leveraging recent ranking algorithms for fixed-density Lyndon words. Finally, we develop an algorithm to generate cut-down de Bruijn sequences for $k>2$ that runs in $\mathcal{O}(n)$ time per symbol using $\mathcal{O}(n)$ space after some initialization. While our $k$-ary algorithm is based on our simplified version of Etzion's binary algorithm, a number of non-trivial adaptations are required to generalize to larger alphabets.
Ramsey, expanders, and Borel chromatic numbers
We construct bounded degree acyclic Borel graphs with large Borel chromatic number using a graph arising from Ramsey theory and limits of expander sequences.
Extreme Values of Permutation Statistics
Published in Electronic Journal of Combinatorics, Volume 31, Issue 3 (2024), Article P3.10
• View Publication
• BIB
We investigate extreme values of Mahonian and Eulerian distributions arising from counting inversions and descents of random elements of finite Coxeter groups. To this end, we construct a triangular array of either distribution from a sequence of Coxeter groups with increasing ranks. To avoid degeneracy of extreme values, the number of i.i.d. samples $k_n$ in each row must be asymptotically bounded. We employ large deviations theory to prove the Gumbel attraction of Mahonian and Eulerian distributions. It is shown that for the two classes, different bounds on $k_n$ ensure this.
On a conjecture that strengthens Kundu's $k$-factor Theorem
Published in J. Graph Theory. 108 (2025), 463-491
• View Publication
• BIB
Let $π=(d_{1},\ldots,d_{n})$ be a non-increasing degree sequence with even $n$. In 1974, Kundu showed that if $\mathcal{D}_{k}(π)=(d_{1}-k,\ldots,d_{n}-k)$ is graphic, then some realization of $π$ has a $k$-factor. For $r\leq 2$, Busch et al. and later Seacrest for $r\leq 4$ showed that if $r\leq k$ and $\mathcal{D}_{k}(π)$ is graphic, then there is a realization with a $k$-factor whose edges can be partitioned into a $(k-r)$-factor and $r$ edge-disjoint $1$-factors. We improve this to any $r\leq \min\{\lceil\frac{k+5}{3}\big\rceil,k\}$. In 1978, Brualdi and then Busch et al. in 2012, conjectured that $r=k$. The conjecture is still open for $k\geq6$. However, Busch et al. showed the conjecture is true when $d_{1}\leq \frac{n}{2}+1$ or $d_{n}\geq \frac{n}{2}+k-2$. We explore this conjecture by first developing new tools that generalize edge-exchanges. With these new tools, we can drop the assumption $\mathcal{D}_{k}(π)$ is graphic and show that if $d_{d_{1}-d_{n}+k}\geq d_{1}-d_{n}+k-1,$ then $π$ has a realization with $k$ edge-disjoint $1$-factors. From this we confirm the conjecture when $d_{n}\geq \frac{d_{1}+k-1}{2}$ or when $\mathcal{D}_{k}(π)$ is graphic and $d_{1}\leq \max \{n/2+d_{n}-k,(n+d_{n})/2\}$.
Iterated Jump Graphs
The jump graph $J(G)$ of a simple graph $G$ has vertices which represent edges in $G$ where two vertices in $J(G)$ are adjacent if and only if the corresponding edges in $G$ do not share an endpoint. In this paper, we examine sequences of graphs generated by iterating the jump graph operation and characterize the behavior of this sequence for all initial graphs. We build on work by Chartrand et al. who showed that a handful of jump graph sequences terminate and two sequences converge. We extend these results by showing that there are no non-trivial repeating sequences of jump graphs. All diverging jump graph sequences grow without bound while accumulating certain subgraphs.
Token sliding on graphs of girth five
Published
• View Publication
• BIB
In the Token Sliding problem we are given a graph $G$ and two independent sets $I_s$ and $I_t$ in $G$ of size $k \geq 1$. The goal is to decide whether there exists a sequence $\langle I_1, I_2, \ldots, I_\ell \rangle$ of independent sets such that for all $i \in \{1,\ldots, \ell\}$ the set $I_i$ is an independent set of size $k$, $I_1 = I_s$, $I_\ell = I_t$ and $I_i \triangle I_{i + 1} = \{u, v\} \in E(G)$. Intuitively, we view each independent set as a collection of tokens placed on the vertices of the graph. Then, the problem asks whether there exists a sequence of independent sets that transforms $I_s$ into $I_t$ where at each step we are allowed to slide one token from a vertex to a neighboring vertex. In this paper, we focus on the parameterized complexity of Token Sliding parameterized by $k$. As shown by Bartier et al., the problem is W[1]-hard on graphs of girth four or less, and the authors posed the question of whether there exists a constant $p \geq 5$ such that the problem becomes fixed-parameter tractable on graphs of girth at least $p$. We answer their question positively and prove that the problem is indeed fixed-parameter tractable on graphs of girth five or more, which establishes a full classification of the tractability of Token Sliding parameterized by the number of tokens based on the girth of the input graph.