sequence
6845 papers tagged with this keyword
Perfect difference families, perfect systems of difference sets and their applications
Let $v$ be a positive odd integer. A $(v,k,λ)$-perfect difference family (PDF) is a collection $\mathcal{F}$ of $k$-subsets of $\{0,1,\ldots,v-1\}$ such that the multiset $\bigcup_{F\in \mathcal{F}}\{x-y : x,y\in F, x>y\}$ covers each element of $\left\{1,2,\ldots,(v-1)/2\right\}$ exactly $λ$ times. Perfect difference families are a special class of perfect systems of difference sets. They were introduced by Bermond, Kotzig, and Turgeon in the 1970s, following a problem suggested by Erdős. In this paper, we prove that a $(v,4,λ)$-PDF exists if and only if $λ(v-1) \equiv 0 \pmod{12}$, $v \geq 13$, and $(v,λ) \notin \{(25,1),(37,1)\}$. This result resolves a nearly 50-year-old conjecture posed by Bermond. Perfect difference families find applications in radio astronomy, optical orthogonal codes for optical code-division multiple access systems, geometric orthogonal codes for DNA origami, difference triangle sets, additive sequences of permutations, and graceful graph labelings.
To establish our main result, we introduce a new concept termed a layered difference family. This concept provides a powerful and unified perspective that not only facilitates our proof of the main theorem but also simplifies recent existence proofs for various cyclic difference packings.
On the inverse limits of finite posets
In this paper, we show that any finite simplicial complex is homeomorphic to the inverse limit of a sequence of finite posets, which is an extension of Claders result.
Escape of Mass of the $p$-Cantor Sequence
Let $p$ be a prime. In 2017, Kemarsky, Paulin, and Shapira (KPS) conjectured that any Laurent series over $\mathbb{F}_p$ exhibits full escape of mass with respect to any irreducible polynomial $P(t)\in\mathbb{F}_p[t]$. In 2025, this was shown to be false in the case $p=2$ and $P(t)=t$ by Nesharim, Shapira and the first named author. This work shows that for any odd prime $p$ and any irreducible polynomial $P(t)\in\mathbb{F}_p[t]$, the so-called $p$-Cantor sequence provides a counterexample to the aforementioned conjecture over $\mathbb{F}_p$. Furthermore, the concepts of maximal escape of mass and generic escape of mass are introduced. These lead to two natural variations of the KPS conjecture, both of which are shown to hold for all previous counterexamples.
Closed-Form Analysis and Extremal Bounds of Albertson and Sigma Indices in Trees with Prescribed Degree Sequences
This study explores the irregularity properties of trees with prescribed degree sequences by analyzing two prominent topological indices: the Albertson index and the sigma index.
With a particular emphasis on caterpillar trees -frequently used to model molecular chains- we derive a closed-form expression for the Albertson index: \[ \mathrm{irr}(\mathscr{C}(n,m)) = m(m+1)n - 2m + 2, \quad \text{for } n \geq 3. \] Furthermore, we establish extremal bounds for both indices across tree families characterized by fixed degree sequences. The results yield a unified analytical framework for comparing linear and quadratic irregularity measures, and provide new structural insights relevant to applications in chemical graph theory and extremal graph analysis.
Circular sorting, strong complete mappings and wreath product constructions
We continue the study of Adin, Alon and Roichman [arXiv:2502.14398, 2025] on the number of steps required to sort $n$ labelled points on a circle by transpositions. Imagine that the vertices of a cycle of length $n$ are labelled by the elements $1,\dots,n$. We are allowed to change this labelling by swapping the labels of any two vertices on the cycle. How many swaps are needed to obtain a labelling that has the elements $1,\dots,n$ in clockwise order?
We provide evidence for their conjecture that at most $n-3$ transpositions are needed to sort a circular permutation when $n$ is not prime. We prove this conjecture when $2\mid n$ or $3\mid n$ and when restricting to permutations given by a polynomial over $\mathbb{Z}_n$. We also provide various algebraic constructions of circular permutations that take many transpositions to sort, most notably providing one that matches our upper bound when $n=3p$ for $p$ an odd prime, and disproving their second conjecture by providing non-affine circular permutations that require $n-2$ transpositions (for $n$ prime). We also improve the lower bounds for some sequences of composite numbers. Finally, we improve the bounds for small $n$ computationally. In particular, we prove a tight upper bound for $n=25$ via an exhaustive computer search using a new connection between this problem and strong complete mappings.
On density analogs of Hindman's finite sums theorem
For any set $A$ of natural numbers with positive upper Banach density, we show the existence of an infinite set $B$ and sequences $(t_k)_{k\in \mathbb{N}}, (s_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F \subset B + s_k, 1 \leq |F| \leq k \right\}\subset A-t_k$, for every $k\in \mathbb{N}$. This strengthens the density finite sums theorem of Kra, Moreira, Richter, and Robertson. We further show, given such a set $A$, the existence of an infinite set $B$ and a sequence $(t_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F \subset B, |F| = k \right\}\subset A-t_k$, for every $k\in \mathbb{N}$. As a corollary, we obtain a sequence $(B_n)_{n\in \mathbb{N}}$ of infinite sets of natural numbers such that $B_1+\cdots +B_k \subset A$, for every $k\in \mathbb{N}$. We also establish the optimality of our main theorems by providing counterexamples to potential further generalizations, and thereby addressing questions of the aforementioned authors in the context of density analogs to Hindman's finite sums theorem.
An AI enhanced approach to the tree unimodality conjecture
Given a graph $G$, its independence sequence is the integral sequence $a_1,a_2,...,a_n$, where $a_i$ is the number of independent sets of vertices of size i. In the late 80's Alavi, Erdos, Malde, Schwenk showed that this sequence need not be unimodal for general graphs, but conjectured that it is always unimodal whenever $G$ is a tree. This conjecture was then naturally generalized to claim that the independence sequence of trees should be log concave, in the sense that $a_i^2$ is always above $a_{i-1}a_{i+1}$. This conjecture stood for many years, until in 2023, Kadrawi, Levit, Yosef, and Mizrachi proved that there were exactly two trees on 26 vertices whose independence sequence was not log concave. In this paper, we use the AI architecture PatternBoost, developed by Charton, Ellenberg, Wagner, and Williamson to train a machine to find counter-examples to the log-concavity conjecture. We will discuss the successes of this approach - finding tens of thousands of new counter-examples to log-concavity with vertex set sizes varying from 27 to 101 - and some of its fascinating failures.
On the irrationality exponent of real numbers with low complexity expansion
Let $ξ$ be a real number and $b \ge 2$ an integer. We study the relationship between the irrationality exponent of $ξ$ and the subword complexity $p(n, \mathbf{x})$ of the $b$-ary expansion $\mathbf{x}$ of $ξ$, where $p(n, \mathbf{x})$ counts the number of distinct blocks of length $n$ in $\mathbf{x}$, for $n \ge 1$. If the irrationality exponent of $ξ$ is equal to $2$, which is the case for almost all real numbers $ξ$, we show that the limit superior of the sequence $(p(n, \mathbf{x}) / n)_{n \ge 1}$ is at least equal to 4/3. The proof is based on a careful study of the evolution of the Rauzy graphs of infinite words of low complexity.
List-recoloring of two classes of planar graphs
For a graph $G$ with a list assignment $L$ and two $L$-colorings $α$ and $β$, an $L$-recoloring sequence from $α$ to $β$ is a sequence of proper $L$-colorings where consecutive colorings differ at exactly one vertex. We prove the existence of such a recoloring sequence in which every vertex is recolored at most a constant number of times under two conditions: (i) $G$ is planar, contains no $3$-cycles or intersecting $4$-cycles, and $L$ is a $6$-assignment; or (ii) the maximum average degree of $G$ satisfies $\mathrm{mad}(G) < \frac{5}{2}$ and $L$ is a $4$-assignment. These results strengthen two theorems previously established by Cranston.
Digraphons: connectivity and spectral aspects
The theory of graphons has proven to be a powerful tool in many areas of graph theory. In this paper, we introduce several foundational aspects of the theory of digraphons -- asymmetric two-variable functions that arise as limits of sequences of directed graphs (digraphs). Our results address their decomposition into strongly connected components, periodicity, spectral properties, and asymptotic behaviour of their large powers.
Las Vegas algorithms to generate universal cycles and de Bruijn sequences uniformly at random
We present practical algorithms for generating universal cycles uniformly at random. In particular, we consider universal cycles for shorthand permutations, subsets and multiset permutations, weak orders, and orientable sequences. Additionally, we consider de Bruijn sequences, weight-range de Bruin sequences, and de Bruijn sequences, with forbidden $0^z$ substring. Each algorithm, seeded with a random element from the given set, applies a random walk of an underlying Eulerian de Bruijn graph to obtain a random arborescence (spanning in-tree). Given the random arborescence and the de Bruijn graph, a corresponding random universal cycle can be generated in constant time per symbol. We present experimental results on the average cover time needed to compute a random arborescence for each object using a Las Vegas algorithm.
Hausdorff dimension of Graphs of Limit Functions Generated by Quasi-Linear Functions
The limit functions generated by quasi-linear functions or sequences (including the sum of the Rudin-Shapiro sequence as an example) are continuous but almost everywhere non-differentiable functions. Their graphs are fractal curves. In 2017 and 2020, Chen, Lü, Wen and the first author studied the box dimension of the graphs of the limit functions.
In this paper, we focus on the Hausdorff dimension of the graphs of such limit functions. We first prove that the Hausdorff dimension of the graph of the limit function generated by the abelian complexity of the Rudin-Shapiro sequence is $\frac{3}{2}$. Then we extend the result to the graphs of limit functions generated by quasi-linear functions.
Para-exceptional sequences for tame hereditary algebras and McCammond-Sulway lattices
Noncrossing partition posets in a Coxeter group $W$ can fail to be lattices when $W$ is not finite. When the lattice property fails for $W$ of affine type, McCammond and Sulway's construction provides a larger lattice that contains the noncrossing partition poset and that furthermore is a combinatorial Garside structure. We construct a lattice, isomorphic to McCammond and Sulway's lattice, using the representation theory of a corresponding connected tame hereditary algebra and give a representation-theoretic proof that it is a combinatorial Garside structure. To construct the lattice, we introduce para-exceptional sequences and para-exceptional subcategories in the module categories of tame hereditary algebras. Para-exceptional sequences are generalizations of exceptional sequences obtained by enlarging the set of allowed entries to include all non-homogeneous bricks. A para-exceptional subcategory is a subcategory obtained by applying a certain closure-like operator to the wide subcategory generated by a para-exceptional sequence.
The structure of sequences with zero-sum subsequences of the same length on finite abelian groups of rank two
Let $G$ be an additive finite abelian group, and let $\mathrm{disc}(G)$ denote the smallest positive integer $t$ with the property that every sequence $S$ over $G$ with length $|S|\geq t $ contains two nonempty zero-sum subsequences of distinct lengths. In recent years, Gao et al. established the exact value of $\mathrm{disc}(G)$ for all finite abelian groups of rank $2$ and resolved the corresponding inverse problem for the group $C_n \oplus C_n$. In this paper, we characterize the structure of sequences $S$ over $G = C_n \oplus C_{nm}$ (where $m\geq 2$) when $|S| = \mathrm{disc}(G)- 1$ and all nonempty zero-sum subsequences of $S$ have the same length.
A Density Condition on Point Sets with Slowly-Scaling Distinct Dot Products
The distinct dot products problem, a variation on the Erdős distinct distance problem, asks "Given a set $P_n$ of $n$ points in $\mathbb{R}^2$, what is the minimum number $|D(P_n)|$ of distinct dot products formed between them, asymptotically?" The best proven lower-bound is $|D(P_n)| \gtrsim n^{2/3+7/1425}$, due to work by Hanson$\unicode{x2013}$Roche-Newton$\unicode{x2013}$Senger, and a recent improvement by Kokkinos. However, the slowest-scaling known constructions have $|D(P_n)|\sim n$, leaving quite a large gap in the bound. Finding a sublinearly-scaling construction, or disproving its existence, would narrow this gap. We provide a condition that a sequence of point configurations $(P_n)_{n \in \mathbb{N}}$ must satisfy in order for $|D(P_n)|$ to scale 'slowly' i.e. $|D(P_n)| \ll n^{3/4}$. Namely, we prove that any such configuration must contain a point-rich line that gets arbitrarily 'dense' as the sequence progresses.
On Weighted and Bounded Multidimensional Catalan Numbers
We define a weighted analog for the multidimensional Catalan numbers, obtain matrix-based recurrences for some of them, and give conditions under which they are periodic. Building on this framework, we introduce two new sequences of triangular arrays: the first one enumerates the $k$-dimensional Balanced ballot paths of exact height $s$; the second one is a new multidimensional generalization of the Narayana numbers, which count the number of Balanced ballot paths with exactly $p$ peaks.
Stem-Symmetry, Comb Products, and their Relation to Amoeba Graphs
Local and global amoebas are families of labeled graphs that satisfy interpolation properties on a fixed vertex set. A labeled graph $G$ on $n$ vertices is a local amoeba (resp. global amoeba) if there exists a sequence of feasible edge-replacements between any two labelled embeddings of $G$ into $K_n$ (resp. $K_{n+1}$). Here, a feasible edge-replacement removes an edge and reinserts it so that the resulting graph is isomorphic to $G$; the induced relabeling yields a class of permutations of the label set. Motivated by classical group theoretic ideas, we introduce the hang group, a new invariant that can encode how local amoebas embed into larger ones. Using this framework, we identify necessary and sufficient conditions connecting stem-symmetric and hang-symmetric graphs with local and global amoebas. In particular, we show how hang-symmetry and stem-symmetry conditions propagate under the addition of leaves and isolated vertices, in turn yielding constructive criteria for both local and global amoebas. Finally, via wreath products, we provide four sets of sufficient conditions, one for each property, guaranteeing when the comb product is a local amoeba, a global amoeba, stem-symmetric, or hang-symmetric. These results strengthen and generalize existing constructions of local and global amoebas.
The asymptotic estimation for two classes of generalized Fibonacci sub-sequences
Since the $\mathrm{Fibonacci}$ sequence has good properties, it's important in theory and applications, such as in combinatorics, cryptography, and so on. In this paper, for the generalized Fibonacci sequence $\left\{W_n\left(a,b,p,q\right)\right\}$, by using elementary methods and techniques, we respectively give the asymptotic estimation values of $\left(\sum\limits_{k=n}^{\infty}\frac{1}{W_{mk+l}^d}\right)^{-1}$ and $\left(\sum\limits_{k=n}^{\infty}\frac{\left(-1\right)^k}{W_{mk+l}^d}\right)^{-1}$, which generalize the asymptotic estimation results of Yuan et al. \cite{A14} in 2025.
Forbidding the subdivided claw as a subgraph or a minor
Let $Y$ be the subdivided claw, the $7$-vertex tree obtained from a claw $K_{1,3}$ by subdividing each edge exactly once. We characterize the graphs (finite and infinite) that do not have $Y$ as a subgraph, or, equivalently, do not have $Y$ as a minor. This work was motivated by a problem involving VCD minors. A graph $H$ is a vertex contraction-deletion minor, or VCD minor, of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions or contractions of all edges incident with a single vertex. Our result is a key step in describing $K_{1,3}$-VCD-minor-free line graphs. We also characterize graphs that forbid each subtree of $Y$. We discuss the relevance of our results for Turán. numbers of trees, and pathwidth and growth constants for graphs without a particular tree as a minor.
Non-separable graphs meet Ledoux's polynomials
In the pathbreaking article \cite{LED16}, an integral representation of the derivatives of entropy along the heat flow of a probability measure was established under suitable moment conditions. These integral representations have found significant applications in diverse domains - notably in information theory (e.g., entropy power inequalities, monotonicity of Fisher information) and in estimation theory (through the link between entropy derivatives and the minimum mean square error, MMSE, in Gaussian channels). The representations involve multivariate polynomials $(R_n)_n$, arising from a Lie algebra framework on multilinear operators. Despite their central role, the combinatorial structure of these polynomials remains only partially understood. In this note, we prove that the number of monomials in $R_n$ coincides with the number of degree sequences with degree sum $2n$ having a non-separable graph realization, thereby resolving a conjecture from \cite{MPS24}, and drawing an interesting link between these two domains.