sequence
6966 papers tagged with this keyword
Ore- and Pósa-type conditions for partitioning $2$-edge-coloured graphs into monochromatic cycles
Published in Electron. J. Combin. 30 (2023), no. 2, Paper 18
• View Publication
• BIB
In 2019, Letzter confirmed a conjecture of Balogh, Barát, Gerbner, Gyárfás and Sárközy, proving that every large $2$-edge-coloured graph $G$ on $n$ vertices with minimum degree at least $3n/4$ can be partitioned into two monochromatic cycles of different colours. Here, we propose a weaker condition on the degree sequence of $G$ to also guarantee such a partition and prove an approximate version. This resembles a similar generalisation to an Ore-type condition achieved by Barát and Sárközy.
Continuing work by Allen, Böttcher, Lang, Skokan and Stein, we also show that if $\operatorname{deg}(u) + \operatorname{deg}(v) \geq 4n/3 + o(n)$ holds for all non-adjacent vertices $u,v \in V(G)$, then all but $o(n)$ vertices can be partitioned into three monochromatic cycles.
On maximal autocorrelations of Rudin-Shapiro sequences
Published
• View Publication
• BIB
In this paper, we present an alternative proof showing that the maximal aperiodic autocorrelation of the $m$-th Rudin-Shapiro sequence is of the same order as $λ^{m}$, where $λ$ is the real root of $x^{3} + x^{2} - 2x - 4$. This result was originally proven by Allouche, Choi, Denise, Erdélyi, and Saffari (2019) and Choi (2020) using a translation of the problem into linear algebra. Our approach simplifies this linear algebraic translation and provides another method of dealing with the computations given by Choi. Additionally, we prove an analogous result for the maximal periodic autocorrelation of the $m$-th Rudin-Shapiro sequence. We conclude with a discussion on the connection between the proofs given and joint spectral radius theory, as well as a couple of conjectures on which autocorrelations are maximal.
Signs behaviour of sums of weighted numbers of partitions
Published
• View Publication
• BIB
Let $A$ be a subset of positive integers. By $A$-partition of $n$ we understand the representation of $n$ as a sum of elements from the set $A$. For given $i, n\in\N$, by $c_{A}(i,n)$ we denote the number of $A$-partitions of $n$ with exactly $i$ parts. In the paper we obtain several result concerning sign behaviour of the sequence $S_{A,k}(n)=\sum_{i=0}^{n}(-1)^{i}i^{k}c_{A}(i,n)$, where $k\in\N$ is fixed. In particular, we prove that for a broad class $\cal{A}$ of subsets of $\N_{+}$ we have that for each $A\in \cal{A}$ we have $(-1)^{n}S_{A,k}(n)\geq 0$ for each $n, k\in\N$.
Counting Various Classes of Tournament Score Sequences
Published in J. Integer Seq. 26 (2023), Article 23.5.2
• Search Publication
Based on known methods for computing the number of distinct score sequences for $n$-vertex tournaments, we develop algorithms for computing the number of distinct score sequences for self-complementary tournaments, strong tournaments, and tournaments that are both self-complementary and strong.
Uniform distribution and geometric incidence theory
Published
• View Publication
• BIB
A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_εn^{1+ε}$ times (for any $ε>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the references contained therein). In three dimensions, the conjectured bound is $Cn^{\frac{4}{3}}$ (see e.g. \cite{KMSS12} and \cite{Z19}). In dimensions four and higher, this problem, in its general formulation, loses meaning because the Lens example shows that one can construct a set of $n$ points in dimension $4$ and higher where the unit distance arises $\approx n^2$ times (see e.g. \cite{B97}). However, the Lens example is one-dimension in nature, which raises the possibility that the unit distance conjecture is still quite interesting in higher dimensions under additional structural assumptions on the point set. This point of view was explored in \cite{I19}, \cite{IS16}, \cite{IMT12}, \cite{IRU14}, \cite{OO15} and has led to some interesting connections between the unit distance problem and its continuous counterparts, especially the Falconer distance conjecture (\cite{Falc85}).
In this paper, we study the unit distance problem and its variants under the assumption that the underlying family of point sets is uniformly distributed. We prove several incidence bounds in this setting and clarify some key properties of uniformly distributed sequences in the context of incidence problems in combinatorial geometry.
Odd-distance and right-equidistant sets in the maximum and Manhattan metrics
Published in European Journal of Combinatorics, 2023, Vol. 107, 103603, 8 pp
• View Publication
• BIB
We solve two related extremal-geometric questions in the $n-$dimensional space $\mathbb{R}^n_{\infty}$ equipped with the maximum metric. First, we prove that the maximum size of a right-equidistant sequence of points in $\mathbb{R}^n_{\infty}$ equals $2^{n+1}-1$. A sequence is right-equidistant if each of the points is at the same distance from all the succeeding points. Second, we prove that the maximum number of points in $\mathbb{R}^n_{\infty}$ with pairwise odd distances equals $2^n$. We also obtain partial results for both questions in the $n-$dimensional space $\mathbb{R}^n_1$ with the Manhattan distance.
Coefficientwise Hankel-total positivity of the row-generating polynomials for the output matrices of certain production matrices
Published
• View Publication
• BIB
Total positivity of matrices is deeply studied and plays an important role in various branches of mathematics. The aim of this paper is to study the criteria for coefficientwise Hankel-total positivity of the row-generating polynomials of generalized $m$-Jacobi-Rogers triangles and their applications.
Using the theory of production matrices, we present the criteria for coefficientwise Hankel-total positivity of the row-generating polynomials of the output matrices of certain production matrices. In particular, we gain a criterion for coefficientwise Hankel-total positivity of the row-generating polynomial sequence of the generalized $m$-Jacobi-Rogers triangle. This immediately implies that the corresponding generalized $m$-Jacobi-Rogers triangular convolution preserves the Stieltjes moment property of sequences and its zeroth column sequence is coefficientwise Hankel-totally positive and log-convex of higher order in all the indeterminates. In consequence, for $m=1$, we immediately obtain some results on Hankel-total positivity for the Catalan-Stieltjes matrices. In particular, we in a unified manner apply our results to some combinatorial triangles or polynomials including the generalized Jacobi Stirling triangle, a generalized elliptic polynomial, a refined Stirling cycle polynomial and a refined Eulerian polynomial. For the general $m$, combining our criterion and a function satisfying an autonomous differential equation, we present different criteria for coefficientwise Hankel-total positivity of the row-generating polynomial sequence of exponential Rirodan arrays. In addition, we also derive some results for coefficientwise Hankel-total positivity in terms of compositional functions and $m$-branched Stieltjes-type continued fractions. We apply our results to many combinatorial polynomials and solve some conjcetures proposed by Sokal.
A group-based structure for perfect sequence covering arrays
Published
• View Publication
• BIB
An $(n,k)$-perfect sequence covering array with multiplicity $λ$, denoted PSCA$(n,k,λ)$, is a multiset whose elements are permutations of the sequence $(1,2, \dots, n)$ and which collectively contain each ordered length $k$ subsequence exactly $λ$ times. The primary objective is to determine for each pair $(n,k)$ the smallest value of $λ$, denoted $g(n,k)$, for which a PSCA$(n,k,λ)$ exists; and more generally, the complete set of values $λ$ for which a PSCA$(n,k,λ)$ exists. Yuster recently determined the first known value of $g(n,k)$ greater than 1, namely $g(5,3)=2$, and suggested that finding other such values would be challenging. We show that $g(6,3)=g(7,3)=2$, using a recursive search method inspired by an old algorithm due to Mathon. We then impose a group-based structure on a perfect sequence covering array by restricting it to be a union of distinct cosets of a prescribed nontrivial subgroup of the symmetric group $S_n$. This allows us to determine the new results that $g(7,4)=2$ and $g(7,5) \in \{2,3,4\}$ and $g(8,3) \in \{2,3\}$ and $g(9,3) \in \{2,3,4\}$. We also show that, for each $(n,k) \in \{ (5,3), (6,3), (7,3), (7,4) \}$, there exists a PSCA$(n,k,λ)$ if and only if $λ\ge 2$; and that there exists a PSCA$(8,3,λ)$ if and only if $λ\ge g(8,3)$.
On Perfect Sequence Covering Arrays
Published in Ann. Comb. 27 (2023) 539-564
• View Publication
• BIB
A PSCA$(v, t, λ)$ is a multiset of permutations of the $v$-element alphabet $\{0, \dots, v-1\}$ such that every sequence of $t$ distinct elements of the alphabet appears in the specified order in exactly $λ$ of the permutations. For $v \geq t \geq 2$, we define $g(v, t)$ to be the smallest positive integer $λ$ such that a PSCA$(v, t, λ)$ exists. We show that $g(6, 3) = g(7, 3) = g(7, 4) = 2$ and $g(8, 3) = 3$. Using suitable permutation representations of groups we make improvements to the upper bounds on $g(v, t)$ for many values of $v \leq 32$ and $3\le t\le 6$. We also prove a number of restrictions on the distribution of symbols among the columns of a PSCA.
Rearrangement Events on Circular Genomes
Published
• View Publication
• BIB
Early literature on genome rearrangement modelling views the problem of computing evolutionary distances as an inherently combinatorial one. In particular, attention was given to estimating distances using the minimum number of events required to transform one genome into another. In hindsight, this approach is analogous to early methods for inferring phylogenetic trees from DNA sequences such as maximum parsimony -- both are motivated by the principle that the true distance minimises evolutionary change, and both are effective if this principle is a true reflection of reality. Recent literature considers genome rearrangement under statistical models, continuing this parallel with DNA-based methods; the goal here is to use model-based methods (for example maximum likelihood techniques) to compute distance estimates that incorporate the large number of rearrangement paths that can transform one genome into another. Crucially, this approach requires one to decide upon a set of feasible rearrangement events and, in this paper, we focus on characterising well-motivated models for signed, uni-chromosomal circular genomes, where the number of regions remains fixed. Since rearrangements are often mathematically described using permutations, we isolate the sets of permutations representing rearrangements that are biologically reasonable in this context, for example inversions and translocations. We provide precise mathematical expressions for these rearrangements, and then describe them in terms of the set of cuts made in the genome when they are applied. We directly compare cuts to breakpoints, and use this concept to count the distinct rearrangement actions which apply a given number of cuts. Finally, we provide some examples of rearrangement models, and include a discussion of some questions that arise when defining plausible models.
Broken Bracelets and Kostant's Partition Function
Inspired by the work of Amdeberhan, Can, and Moll on broken necklaces, we define a broken bracelet as a linear arrangement of marked and unmarked vertices and introduce a generalization called $n$-stars, which is a collection of $n$ broken bracelets whose final (unmarked) vertices are identified. Through these combinatorial objects, we provide a new framework for the study of Kostant's partition function, which counts the number of ways to express a vector as a nonnegative integer linear combination of the positive roots of a Lie algebra. Our main result establishes that (up to reflection) the number of broken bracelets with a fixed number of unmarked vertices with nonconsecutive marked vertices gives an upper bound for the value of Kostant's partition function for multiples of the highest root of a Lie algebra of type $A$. We connect this work to multiplex juggling sequences, as studied by Benedetti, Hanusa, Harris, Morales, and Simpson, by providing a correspondence to an equivalence relation on $n$-stars.
Proto-exact categories of modules over semirings and hyperrings
Published
• View Publication
• BIB
\emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a \emph{non-additive} setting. This formalism is well-suited to the study of categories whose objects have strong combinatorial flavor.
In this paper, we show that the categories of modules over semirings and hyperrings - algebraic structures which have gained prominence in tropical geometry - carry proto-exact structures.
In the first part, we prove that the category of modules over a semiring is equipped with a proto-exact structure; modules over an idempotent semiring have a strong connection to matroids. We also prove that the category of algebraic lattices $\mathcal{L}$ has a proto-exact structure, and furthermore that the subcategory of $\mathcal{L}$ consisting of finite lattices is equivalent to the category of finite $\mathbb{B}$-modules as proto-exact categories, where $\mathbb{B}$ is the \emph{Boolean semifield}. We also discuss some relations between $\mathcal{L}$ and geometric lattices (simple matroids) from this perspective.
In the second part, we prove that the category of modules over a hyperring has a proto-exact structure. In the case of finite modules over the \emph{Krasner hyperfield} $\mathbb{K}$, a well-known relation between finite $\mathbb{K}$-modules and finite incidence geometries yields a combinatorial interpretation of exact sequences.
Hypergraph Fuss-Catalan Numbers
The Catalan numbers $C_n$ are an extremely well-studied sequence of numbers that appear as the answer to many combinatorial problems. Two generalizations of these numbers that have been studied are the Fuss-Catalan numbers and the Hypergraph Catalan numbers. In this paper, we study the combination of these, the Hypergraph Fuss-Catalan numbers. We provide some combinatorial interpretations of these numbers, as well as describe their generating function.
Combinatorial properties of lazy expansions in Cantor real bases
The lazy algorithm for a real base $β$ is generalized to the setting of Cantor bases $\boldsymbolβ=(β_n)_{n\in \mathbb{N}}$ introduced recently by Charlier and the author. To do so, let $x_{\boldsymbolβ}$ be the greatest real number that has a $\boldsymbolβ$-representation $a_0a_1a_2\cdots$ such that each letter $a_n$ belongs to $\{0,\ldots,\lceil β_n \rceil -1\}$. This paper is concerned with the combinatorial properties of the lazy $\boldsymbolβ$-expansions, which are defined when $x_{\boldsymbolβ}<+\infty$. As an illustration, Cantor bases following the Thue-Morse sequence are studied and a formula giving their corresponding value of $x_{\boldsymbolβ}$ is proved. First, it is shown that the lazy $\boldsymbolβ$-expansions are obtained by "flipping" the digits of the greedy $\boldsymbolβ$-expansions. Next, a Parry-like criterion characterizing the sequences of non-negative integers that are the lazy $\boldsymbolβ$-expansions of some real number in $(x_{\boldsymbolβ}-1,x_{\boldsymbolβ}]$ is proved. Moreover, the lazy $\boldsymbolβ$-shift is studied and in the particular case of alternate bases, that is the periodic Cantor bases, an analogue of Bertrand-Mathis' theorem in the lazy framework is proved: the lazy $\boldsymbolβ$-shift is sofic if and only if all quasi-lazy $\boldsymbolβ^{(i)}$-expansions of $x_{\boldsymbolβ^{(i)}}-1$ are ultimately periodic, where $\boldsymbolβ^{(i)}$ is the $i$-th shift of the alternate base $\boldsymbolβ$.
Generalization of some weighted zero-sum theorems and related Extremal sequence
Let $G$ be a finite abelian group of exponent $n$ and let $A$ be a non-empty subset of $[1,n-1]$. The Davenport constant of $G$ with weight $A$, denoted by $D_A(G)$, is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has a non-empty $A$-weighted zero-sum subsequence. Similarly, the combinatorial invariant $E_{A}(G)$ is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has an $A$-weighted zero-sum subsequence of length $|G|$. In this article, we determine the exact value of $D_A(\mathbb{Z}_n)$, for some particular values of $n$, where $A$ is the set of all cubes in $\mathbb{Z}_n^*$. We also determine the structure of the related extremal sequence in this case.
Facets of Symmetric Edge Polytopes for Graphs with Few Edges
Symmetric edge polytopes, also called adjacency polytopes, are lattice polytopes determined by simple undirected graphs. We introduce the integer array \(\mathrm{maxf}(n,m)\) giving the maximum number of facets of a symmetric edge polytope for a connected graph having \(n\) vertices and \(m\) edges, and the corresponding sequence \(\mathrm{minf}(n,m)\) of minimal values. We establish formulas for the number of facets obtained in several classes of sparse graphs and provide partial progress toward conjectures that identify facet-maximizing graphs in these classes. These formulas are combinatorial in nature and lead to independently interesting observations and conjectures regarding integer sequences defined by sums of products of binomial coefficients.
A Note on the Relation between Recognisable Series and Regular Sequences, and their Minimal Linear Representations
Published in J. Symbolic Comput. 123 (2024), Paper No. 102295, 9 pp
• View Publication
• BIB
In this note, we precisely elaborate the connection between recognisable series (in the sense of Berstel and Reutenauer) and $q$-regular sequences (in the sense of Allouche and Shallit) via their linear representations. In particular, we show that the minimisation algorithm for recognisable series can also be used to minimise linear representations of $q$-regular sequences.
A reciprocity on finite abelian groups involving zero-sum sequences II
Let $G$ be a finite abelian group. For any positive integers $d$ and $m$, let $\varphi_G(d)$ be the number of elements in $G$ of order $d$ and $\mathsf M(G,m)$ be the set of all zero-sum sequences of length $m$. In this paper, for any finite abelian group $H$, we prove that $$|\mathsf M(G,|H|)|=|\mathsf M(H,|G|)|$$ if and only if $\varphi_G(d)=\varphi_H(d)$ for any $d|(|G|,|H|)$. We also consider an extension of this result to non-abelian groups in terms of invariant theory.
On Graphs of Sets of Reduced Words
Published
• View Publication
• BIB
Any permutation in the finite symmetric group can be written as a product of simple transpositions $s_i = (i~i+1)$. For a fixed permutation $σ\in \mathfrak{S}_n$ the products of minimal length are called reduced decompositions or reduced words, and the collection of all such reduced words is denoted $\mathcal{R}(σ)$. Any reduced word of $σ$ can be transformed into any other by a sequence of commutation moves or long braid moves. One area of interest in these sets are the congruence classes defined by using only braid or only commutation relations. The set $\mathcal{R}(σ)$ can be drawn as a graph, $G(σ)$, where the vertices are the reduced words, and the edges denote the presence of a commutation or braid move between the words. This paper presents new work on subgraph structures in $G(σ)$, as well as new formulas to count the number of braid edges and commutation edges in $G(σ)$. We also include work on bounds for the number of braid and commutation classes in $\mathcal{R}(σ)$.
The Gapped $k$-Deck Problem
Published
• View Publication
• BIB
The $k$-deck problem is concerned with finding the smallest positive integer $S(k)$ such that there exist at least two strings of length $S(k)$ that share the same $k$-deck, i.e., the multiset of subsequences of length $k$. We introduce the new problem of gapped $k$-deck reconstruction: For a given gap parameter $s$, we seek the smallest positive integer $G_s(k)$ such that there exist at least two distinct strings of length $G_s(k)$ that cannot be distinguished based on a "gapped" set of $k$-subsequences. The gap constraint requires the elements in the subsequences to be at least $s$ positions apart within the original string. Our results are as follows. First, we show how to construct sequences sharing the same $2$-gapped $k$-deck using a nontrivial modification of the recursive Morse-Thue string construction procedure. This establishes the first known constructive upper bound on $G_2(k)$. Second, we further improve this bound using the approach by Dudik and Schulman.