sequence
6845 papers tagged with this keyword
Sequence Reconstruction over the Deletion Channel
In this paper, we consider the Levenshtein's sequence reconstruction problem in the case where the transmitted codeword is chosen from $\{0,1\}^n$ and the channel can delete up to $t$ symbols from the transmitted codeword. We determine the minimum number of channel outputs (assuming that they are distinct) required to reconstruct a list of size $\ell-1$ of candidate sequences, one of which corresponds to the original transmitted sequence. More specifically, we determine the maximum possible size of the intersection of $\ell \geq 3$ deletion balls of radius $t$ centered at $x_1, x_2, \dots, x_{\ell}$, where $x_i \in \{0,1\}^n$ for all $i \in \{1,2,\dots,\ell\}$ and $x_i \neq x_j$ for $i \neq j$, with $n \geq t+ \ell-1$ and $t \geq 1$.
How to bound Klarner's constant without (a huge number of) Klarner--Rivest twigs
Although known lower bounds for the growth rate $λ$ of polyominoes, or Klarner's constant, are already close to the empirically estimated value $4.06$, almost no conceptual progress on upper bounds has occurred since the seminal work of Klarner and Rivest (1973). Their approach, based on enumerating millions of local neighborhoods (``twigs'') yielded $λ\le 4.649551$, later refined by Barequet and Shalah (2022) to $λ\le 4.5252$ using trillions of configurations. The inefficiency lies in representing each polyomino as an almost unrestricted sequence of twigs once the large set of neighborhoods is fixed.
We introduce a recurrence-based framework that constrains how local neighborhoods concatenate. Using a small system of convolution-type recurrences, we obtain $λ\le 4.5238$. The proof is short, self-contained, and fully verifiable by hand. Despite the marginal numerical improvement, the main contribution is methodological: replacing trillions of configurations with a concise one-page system of recurrences. The framework can be extended, with modest computational assistance, to further tighten the bound and to address other combinatorial systems governed by similar local constraints.
On Perrin Cordial Labeling: A New Approach in Graph Labeling Theory
In this paper, we introduce the concept of \emph{Perrin cordial labeling}, a novel vertex labeling scheme inspired by the Perrin number sequence and situated within the broader framework of graph labeling theory. The Perrin numbers are defined recursively by the relation \( P_n = P_{n-2} + P_{n-3} \), with initial values \( P_0 = 0 \), \( P_1 = 3 \), and \( P_2 = 0 \). A Perrin cordial labeling of a graph \( G = (V, E) \) is an injective function \( f : V(G) \rightarrow \{P_0, P_1, \dots, P_n\} \), where the induced edge labeling \( f^* : E(G) \rightarrow \{0,1\} \) is given by \( f^*(uv) = (f(u) + f(v)) \pmod 2 \). The labeling is said to be cordial if the number of edges labeled \( 0 \), denoted \( e_f(0) \), and the number labeled \( 1 \), denoted \( e_f(1) \), satisfy the condition \( |e_f(0) - e_f(1)| \leq 1 \). A graph that admits such a labeling is called a \emph{Perrin cordial graph}. This study investigates the existence of Perrin cordial labelings in various families of graphs by analyzing their structural properties and compatibility with the proposed labeling scheme. Our results aim to enrich the theory of graph labelings and highlight a new connection between number theory and graph structures.
Attractors of sequences coding $β$-integers
In this paper, we describe minimal string attractors of prefixes of simple Parry sequences. These sequences form a coding of distances between consecutive $β$-integers in numeration systems with a real base $β$. Simple Parry sequences have been recently studied from this point of view and attractors of prefixes have been described. However, the authors themselves had doubts about their minimality and conjectured that attractors of alphabet size should be sufficient. We confirm their conjecture. Moreover, we provide attractors of prefixes of some particular form of binary non-simple Parry sequences.
Lucky Cars in Fubini Rankings and Unit Fubini Rankings
We study lucky cars in subsets of parking functions, called Fubini rankings and unit Fubini rankings. A Fubini ranking is a sequence of nonnegative integers that encodes a valid ranking of competitors, where ties are allowed. A car (or competitor) is said to be lucky if it is the first instance of that rank appearing in the sequence. We present combinatorial characterizations and enumeration formulas for lucky cars in both Fubini rankings and unit Fubini rankings, and establish connections between these objects and ordered set partitions, as well as integer compositions. To obtain our results, we use several techniques to enumerate statistics over these families of objects.
In particular, we employ generating functions, bijective and combinatorial arguments, recurrence relations, and Zeilberger's creative telescoping method.
Ergodic averages for sparse corners
We develop a framework for the study of the limiting behavior of multiple ergodic averages with commuting transformations when all iterates are given by the same sparse sequence; this enables us to partially resolve several longstanding problems. First, we address a special case of the joint intersectivity question of Bergelson, Leibman, and Lesigne by giving necessary and sufficient conditions under which the multidimensional polynomial Szemerédi theorem holds for length-three patterns. Second, we show that for two commuting transformations, the Furstenberg averages remain unchanged when the iterates are taken along sparse sequences such as $[n^c]$ for a positive noninteger $c$, advancing a conjecture of the first author. Third, we extend a result of Chu on popular common differences in linear corners to polynomial and Hardy corners. Lastly, we answer open problems of Le, Moreira, and Richter concerning decomposition results for double correlation sequences. Our toolbox includes recent degree lowering and seminorm smoothing techniques, the machinery of magic extensions of Host, and novel structured extensions motivated by works of Tao and Leng. Combined, these techniques reduce the analysis to settings where the Host-Kra theory of characteristic factors and equidistribution on nilmanifolds yield a family of striking identities from which our main results follow.
Obtaining the Chamanara Surface from the van der Corput sequence
We investigate a family of $4$-regular graphs constructed to test for the presence of combinatorial structure in a sequence of distinct real numbers. We show that the graphs constructed from the Kronecker sequence can be embedded into the torus, while the graphs constructed from the binary van der Corput sequence can be embedded into the Chamanara surface, in both cases with the possible removal of one edge. These results allude to a general theory of sequence graphs which can be embedded into particular translation surfaces coming from interval exchange transformations.
The product measures of cross $t$-intersecting families
We investigate the product measures of intersection problems in extremal combinatorics. Invoking a recent result of He--Li--Wu--Zhang, we prove that for any $ n \geq t \geq 3$ and $ p_1, p_2 \in (0, \frac{1}{t+1})$, if $ \mathcal{F}_1, \mathcal{F}_2 \subseteq 2^{[n]}$ are cross $ t$-intersecting families, then $μ_{p_1}(\mathcal{F}_1)μ_{p_2}(\mathcal{F}_2)\le (p_1p_2)^t$. Secondly, we study the intersection problems for integer sequences by proving that if $\mathcal{H}_1, \mathcal{H}_2 \subseteq [m]^{n}$ are cross $t$-intersecting with $ m > t+1$, then $|\mathcal{H}_1|| \mathcal{H}_2|\leq (m^{n-t})^2$. These results confirm two classical conjectures of Tokushige. As an application, we strengthen a recent theorem of Frankl--Kupavskii, generalizing the well-known IU-Theorem. Finally, we show that if $ p \geq \frac{1}{2}$ and $ \mathcal{F}_1, \mathcal{F}_2 \subseteq 2^{[n]}$ are cross $t$-intersecting families, then $\min \left\{μ_{p}(\mathcal{F}_1),μ_{p}(\mathcal{F}_2)\right\} \leq μ_{p}(\mathcal{K}(n,t))$, where $\mathcal{K}(n,t)$ denotes the Katona family. This recovers an old result of Ahlswede--Katona.
D-algebraic Guessing
Given finitely many consecutive terms of an infinite sequence, we discuss the construction of a polynomial difference equation that the sequence may satisfy. We also present a method to seek a candidate polynomial differential equation for its generating function. It appears that these methods often lead to effective D-algebraic operations.
Comparing the numbers of subforests and subgraph-degree-tuples
We enumerate the row-column-sums of all square tridiagonal $(0,1)$-matrices and prove that their count coincides with OEIS A022026 $-$ the number of acyclic subgraphs of the complete $2\times n$ grid graph. We then extend this correspondence in two independent directions: 1. admitting larger sets of matrix entries, and 2. relaxing the tridiagonal support to broader prescribed sparsity patterns. The latter leads us to conjecture that, for any bipartite graph $G$, the number of its acyclic subgraphs equals the number of degree sequences realized by subgraphs of $G$. Moreover, for any non-bipartite graph, the former should be strictly smaller than the latter. We discuss several general approaches and prove these hypotheses for cactus graphs and generalized book graphs.
Subgraphs in random graphs with specified degrees and forbidden edges
Let $G$ be a uniformly chosen simple (labelled) random graph with given degree sequence $\boldsymbol{d}$ and let $X,Y,L$ be edge-disjoint graphs on the same vertex set as $G$. We investigate the probability that $X \subseteq G$ and that $G \cap Y = \emptyset$ both conditioned on the event $G \cap L = \emptyset$. We improve upon known bounds of these probabilities and extend them to a wider range of degree sequences through a more precise edge switching argument. Notably, a few vertices of linear degree are permitted provided that the subgraph $X$ does not have an edge incident with them. Further, the graph $L$ is permitted to contain many edges (we provide an example where $L$ is a spanning $r$-regular subgraph with $r = o(n)$).
We provide the same analysis when $G$ is a simple (labelled) bipartite random graph with a given degree sequence $(\boldsymbol{s},\boldsymbol{t})$. Our work extends the results of Gao and Ohapkin (2023) and McKay (1981, 2010).
Modular Periodicity of Random Initialized Recurrences
Classical studies of the Fibonacci sequence focus on its periodicity modulo $m$ (the Pisano periods) with canonical initialization. We investigate instead the complete periodic structure arising from all $m^2$ possible initializations in $\mathbb{Z}/m\mathbb{Z}$. We discover perfect mirror symmetry between the Fibonacci recurrence $a_n = a_{n-1} + a_{n-2}$ and its parity transform $a_n = - a_{n-1} + a_{n-2}$ and observe fractal self-similarity in the extension from prime to prime power moduli. Additionally, we classify prime moduli based on their quadratic reciprocity and demonstrate that periodic sequences exhibit weight preservation under modular extension. Furthermore, we define a minima distribution $P(n)$ governed by Lucas ratios, which satisfies the symmetric relation $P(n)=P(1-n)$. For cyclotomic recurrences, we propose explicit counting functions for the number of distinct periods with connections to necklace enumeration. These findings imply potential connections to Viswanath's random recurrence, modular forms and L-functions.
Regular triangle unions with maximal number of sides
Given an integer n>=1. Suppose, a simple polygon is a union of n triangles so that vertices along the common boundary are arranged cyclically. What is the maximal number of sides such union - call it regular - can have? This is a sequence A375986, a recent entry into the OEIS. In this paper we prove that the sequence starts as 3, 12, 22, 33, 45, 56, 67, 80, 91, and satisfies simple linear lower and upper bounds. The latter is not only a bound, but in fact is realizable combinatorially. The questions whether it can be realized in pseudoline geometry, and, if so, whether such constructions are stretchable, are the next natural ones to pose. The paper is mostly expository and written in an informal style. However, it adds a new tool in investigating unions of objects; namely, triangulation shifts.
Monotonically Decreasing the Number of Directed 3-Cycles via Edge-Flips?
We investigate a combinatorial reconfiguration problem on oriented graphs, where a reconfiguration step (edge-flip) is the inversion of the orientation of a single edge. A recently published conjecture that is relevant to the correctness of a Markov Chain Monte Carlo sampler for directed flag complexes states that any simple oriented graph admits a flip sequence that monotonically decreases the number of directed 3-cycles to zero, and is known to be true for complete oriented graphs.
We show that, in general, this conjecture does not hold. As main tool for disproving the conjecture, we introduce the concept of FBD-graphs (fully blocked digraphs). An FBD-graph is a directed graph that does not contain any directed 1-, 2-, or 3-cycles, and for which any edge-flip creates a directed 3-cycle. We prove that the non-existence of FBD-graphs is a necessary condition for the conjecture to hold and succeed in constructing FBD-graphs. On the other hand, we show that complete graphs, as well as graphs in which every edge is incident to at most two triangles, cannot be fully blocked. In addition to being relevant for determining in which cases the above mentioned sampling process is correct, the concept of FBD-graphs might also be useful for other problems and yields interesting questions for further study.
The Parity-Constrained Four-Peg Tower of Hanoi Problem and Its Associated Graph
We introduce and study a new four-peg variant of the Tower of Hanoi problem under parity constraints. Two pegs are neutral and allow arbitrary disc placements, while the remaining two pegs are restricted to discs of a prescribed parity: one for even-labelled discs and the other for odd-labelled discs. Within this constrained setting, we investigate four canonical optimization objectives according to distinct target configurations and derive for each the exact number of moves required to optimally transfer the discs. We establish a coupled system of recursive relations governing the four optimal move functions and unfold them into higher-order recurrences and explicit closed forms. These formulas exhibit periodic growth patterns and reveal that all solutions grow exponentially, but at a significantly slower rate than the classical three-peg case. In particular, each optimal move sequence has an a half-exponential-like asymptotic order induced by the parity restriction. In addition, we define the associated parity-constrained Hanoi graph, whose vertices represent all feasible states and whose edges represent legal moves. We determine its order, degrees, connectivity, planarity, diameter, Hamiltonicity, clique number, and chromatic properties, and show that it lies strictly between the classical three- and four-peg Hanoi graphs via the inclusion relation.
Efficient k-mer Dataset Compression Using Eulerian Covers of de Bruijn Graphs and BWT
Transforming an input sequence into its constituent k-mers is a fundamental operation in computational genomics. To reduce storage costs associated with k-mer datasets, we introduce and formally analyze MCTR, a novel two-stage algorithm for lossless compression of the k-mer multiset. Our core method achieves a minimal text representation (W) by computing an optimal Eulerian cover (minimum string count) of the dataset's de Bruijn graph, enabled by an efficient local Eulerization technique. The resulting strings are then further compressed losslessly using the Burrows-Wheeler Transform (BWT).
Leveraging de Bruijn graph properties, MCTR is proven to achieve linear time and space complexity and guarantees complete reconstruction of the original k-mer multiset, including frequencies.
Using simulated and real genomic data, we evaluated MCTR's performance (list and frequency representations) against the state-of-the-art lossy unitigging tool greedytigs (from matchtigs). We measured core execution time and the raw compression ratio cmpr = weight(M)/weight(W), where M is the input sequence data). Benchmarks confirmed MCTR's data fidelity but revealed performance trade-offs inherent to lossless representation. GreedyTigs was significantly faster. Regarding raw compression, GreedyTigs achieved high ratios (cmpr approx 14) on noisy real data for its lossy sequence output. On real data, MCTR (frequency) showed moderate raw compression (cmpr approx 1.5-2.7), while MCTR (list) showed none (cmpr approx 1). Importantly, the full MCTR+BWT pipeline significantly outperforms BWT alone for enhanced lossless compression. Our results establish MCTR as a valuable, theoretically grounded tool for applications demanding efficient, lossless storage and analysis of k-mer multisets, complementing lossy methods optimized for sequence summarization.
On the Number of Exceptional Pairs Over a Class of Nakayama Algebras
In this paper some combinatorial and homological tools are used to describe and give an explicit formula for the number of exceptional pairs (exceptional sequences of length two) for some classes of Nakayama Algebras and for the Auslander algebra of a radical square zero algebra of type $\mathbb{A}_n$. In addition, we explore how the number of exceptional pairs can be connected with some integer sequences in the OEIS (The On-line Encyclopedia of Integer Sequences).
Weingarten calculus with virtual isometries
In this paper, we develop a novel approach to the Weingarten calculus employing the notion of virtual isometries. Traditionally, Weingarten calculus provides explicit formulas for integrating polynomial functions over compact matrix groups with respect to the Haar measure, yet faces limitations when evaluating high-degree integrals due to the non-invertibility of the associated matrices. We revisit these classical computations from a new perspective: by constructing Haar-distributed matrices via sequences of complex reflections, we derive new recursive structures for the Weingarten functions across different dimensions. This framework leads to two main results: (1) an explicit Weingarten calculus for complex reflections, yielding systematic moment computations for associated rank-one matrices, and (2) a novel convolution formula that connects Weingarten functions in dimension $n$ to those in dimension $n-1$ through the introduction of ascension functions in the symmetric group algebra. Our approach not only provides a unified treatment for unitary groups, but also sheds light on the algebraic and probabilistic aspects of high-degree integral computations. Several examples and applications are presented.
Assignment-Routing Optimization : Efficient Heuristic Solver with Shaking Algorithm
This paper works on heuristic solver for joint assignment and routing optimization problem. Study on previous works shows that MIP based exact solvers can only provide efficient solutions for small to moderate size problems, due to exponentially growing computational complexity. This paper proposes to start with high quality initial guess through Hungarian algorithm based assignment and heuristic cycle merging algorithm. Subsequently, the solution is improved based on a proposed shaking algorithm to improve the assignment and routing sequence. In addition, the shaking approach also enables the Simulated Annealing algorithm to further improve the solution, which is very difficult if it is purely based on random sampling updates of item and placeholder sequences. Extensive experimental validation comparing with ground truth from the previously shared database shows that the introduced solver is much more efficient than the Gurobi solver especially for large size problems, with a 1000 node pair problem being solved within 1 min in Python implementation. The solution accuracy is within a percent in general as compared with ground truth in database. Although there are spaces for the proposed solver to be further improved with better accuracy, it works for practical applications with acceptable path quality and sufficient solver efficiency. Such shaking algorithms based solvers can also be applied to more general joint assignment and routing optimization problem with multiple type of items and corresponding placeholders. GitHub repository: https://github.com/QL-YUAN/Joint-Assignment-Routing-Optimization-Heuristic.git
The Davenport constant of balls and boxes
Given an additively written abelian group $G$ and a set $X\subseteq G$, we let $\mathsf{D}(X)$ denote the Davenport constant of $X$, namely the largest non-negative integer $n$ for which there exists a sequence $x_1, \dots, x_n$ of elements of $X$ such that $\sum_{i=1}^n x_i =0$ and $\sum_{i \in I} x_i \ne 0$ for each non-empty proper subset $I$ of $\{1, \ldots, n\}$. In this paper, we mainly investigate the case when $G$ is $\mathbb{Z}^2$ and $\mathbb{Z}^3$, and $X$ is a discrete Euclidean ball. An application to the classical problem of estimating the Davenport constant of a box - a product of intervals of integers - is then obtained.