sequence
6966 papers tagged with this keyword
A sequence of quasipolynomials arising from random numerical semigroups
A numerical semigroup is a subset of the non-negative integers that is closed under addition. For a randomly generated numerical semigroup, the expected number of minimum generators can be expressed in terms of a doubly-indexed sequence of integers, denoted $h_{n, i}$, that count generating sets with certain properties. We prove a recurrence that implies the sequence $h_{n,i}$ is eventually quasipolynomial when the second parameter is fixed.
Partitioning The Edge Set of a Hypergraph Into Almost Regular Cycles
Published in Journal of Combinatorial Designs, Volume 26, Issue 10, October 2018, Pages 465-479
• View Publication
• BIB
A cycle of length $t$ in a hypergraph is an alternating sequence $v_1,e_1,v_2\dots,v_t,e_t$ of distinct vertices $v_i$ and distinct edges $e_i$ so that $\{v_i,v_{i+1}\}\subseteq e_i$ (with $v_{t+1}:=v_1$). Let $λK_n^h$ be the $λ$-fold $n$-vertex complete $h$-graph. Let $\mathcal G=(V,E)$ be a hypergraph all of whose edges are of size at least $h$, and $2\leq c_1\leq \dots\leq c_k\leq |V|$. In order to partition the edge set of $\mathcal G$ into cycles of specified lengths $c_1, \dots, c_k$, an obvious necessary condition is that $\sum_{i=1}^k c_i=|E|$. We show that this condition is sufficient in the following cases:
(i) $h\geq \max\{c_k, \lceil n/2 \rceil+1\}$;
(ii) $\mathcal G=λK_n^h$, $h\geq \lceil n/2 \rceil+2$;
(iii) $\mathcal G=K_n^h$, $c_1= \dots=c_k:=c$, $c|n(n-1), n\geq 85$.
In (ii), we guarantee that each cycle is almost regular. In (iii), we also solve the case where a "small" subset $L$ of edges of $K_n^h$ is removed.
Digital pattern and transcendence via generalized $k$-regular sequences
In this paper, we prove that there are uncountable many real transcendental numbers, which are generated by digital pattern sequences. This generalizes the main theorem in Morton and Mourant, which states the existence of countable many similar numbers. Our method relies on the combinatorial quantitative transcendence criterion established by Adamczewski and Bugeaud and properties of generalized k-regular sequences, which is introduced by this paper.
Combinatorial interpretations of Lucas analogues of binomial coefficients and Catalan numbers
Published in Ann. Comb. 24 (2020), no. 3, 503--530
• View Publication
• BIB
The Lucas sequence is a sequence of polynomials in s, and t defined recursively by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. On specialization of s and t one can recover the Fibonacci numbers, the nonnegative integers, and the q-integers [n]_q. Given a quantity which is expressed in terms of products and quotients of nonnegative integers, one obtains a Lucas analogue by replacing each factor of n in the expression with {n}. It is then natural to ask if the resulting rational function is actually a polynomial in s and t with nonnegative integer coefficients and, if so, what it counts. The first simple combinatorial interpretation for this polynomial analogue of the binomial coefficients was given by Sagan and Savage, although their model resisted being used to prove identities for these Lucasnomials or extending their ideas to other combinatorial sequences. The purpose of this paper is to give a new, even more natural model for these Lucasnomials using lattice paths which can be used to prove various equalities as well as extending to Catalan numbers and their relatives, such as those for finite Coxeter groups.
Primitive and geometric-progression-free sets without large gaps
Published
• View Publication
• BIB
We prove the existence of primitive sets (sets of integers in which no element divides another) in which the gap between any two consecutive terms is substantially smaller than the best known upper bound for the gaps in the sequence of prime numbers. The proof uses the probabilistic method. Using the same techniques we improve the bounds obtained by He for gaps in geometric-progression-free sets.
The Maximum Length of Circuit Codes With Long Bit Runs and a New Characterization Theorem
Published
• View Publication
• BIB
We study circuit codes with long bit runs (sequences of distinct transitions) and derive a formula for the maximum length for an infinite class of symmetric circuit codes with long bit runs. This formula also results in an improved lower bound on the maximum length for an infinite class of circuit codes without restrictions on symmetry or bit run length. We also present a new characterization of circuit codes of spread $k$ based on a theorem of Deimer.
Sharp transition of the invertibility of the adjacency matrices of sparse random graphs
Published
• View Publication
• BIB
We consider three different models of sparse random graphs:~undirected and directed Erdős-Rényi graphs, and random bipartite graph with an equal number of left and right vertices. For such graphs we show that if the edge connectivity probability $p \in (0,1)$ satisfies $n p \ge \log n + k(n)$ with $k(n) \to \infty$ as $n \to \infty$, then the adjacency matrix is invertible with probability approaching one (here $n$ is the number of vertices in the two former cases and the number of left and right vertices in the latter case).
If $np \le \log n -k(n)$ then these matrices are invertible with probability approaching zero, as $n \to \infty$. In the intermediate region, when $np=\log n + k(n)$, for a bounded sequence $k(n) \in \mathbb{R}$, the event $Ω_0$ that the adjacency matrix has a zero row or a column and its complement both have non-vanishing probability. For such choices of $p$ our results show that conditioned on the event $Ω_0^c$ the matrices are again invertible with probability tending to one. This shows that the primary reason for the non-invertibility of such matrices is the existence of a zero row or a column.
The bounds on the probability of the invertibility of these matrices are a consequence of quantitative lower bounds on their smallest singular values. Combining this with an upper bound on the largest singular value of the centered version of these matrices we show that the (modified) condition number is $O(n^{1+o(1)})$ on the event that there is no zero row or column, with large probability. This matches with von Neumann's prediction about the condition number of random matrices up to a factor of $n^{o(1)}$, for the entire range of $p$.
Limit Densities of Patterns in Permutation Inflations
Published
• View Publication
• BIB
Call a permutation $k$-inflatable if the sequence of its tensor products with uniform random permutations of increasing lengths has uniform $k$-point pattern densities. Previous work has shown that nontrivial $k$-inflatable permutations do not exist for $k \geq 4$. In this paper, we derive a general formula for the limit densities of patterns in the sequence of tensor products of a fixed permutation with each permutation from a convergent sequence. By applying this result, we completely characterize $3$-inflatable permutations and find explicit examples of $3$-inflatable permutations with various lengths, including the shortest examples with length $17$.
The distribution of Weierstrass points on a tropical curve
Published
• View Publication
• BIB
We show that on a metric graph of genus $g$, a divisor of degree $n$ generically has $g(n-g+1)$ Weierstrass points. For a sequence of generic divisors on a metric graph whose degrees grow to infinity, we show that the associated Weierstrass points become distributed according to the Zhang canonical measure. In other words, the limiting distribution is determined by effective resistances on the metric graph. This distribution result has an analogue for complex algebraic curves, due to Neeman, and for curves over non-Archimedean fields, due to Amini.
Catalan-like numbers and Hausdorff moment sequences
Published
• View Publication
• BIB
In this paper we show that many well-known counting coefficients, including the Catalan numbers, the Motzkin numbers, the central binomial coefficients, the central Delannoy numbers are Hausdorff moment sequences in a unified approach. In particular we answer a conjecture of Liang at al. which such numbers have unique representing measures. The smallest interval including the support of representing measure is explicitly found. Subsequences of Catalan-like numbers are also considered. We provide a necessary and sufficient condition for a pattern of subsequences that if sequences are the Stieltjes Catalan-like numbers, then their subsequences are Stieltjes Catalan-like numbers. Moreover, a representing measure of a linear combination of consecutive Catalan-like numbers is studied.
On Permutation Weights and $q$-Eulerian Polynomials
Published in Ann. Comb. 24, 363-378 (2020)
• View Publication
• BIB
Weights of permutations were originally introduced by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019) in their study of the combinatorics of tiered trees. Given a permutation $σ$ viewed as a sequence of integers, computing the weight of $σ$ involves recursively counting descents of certain subpermutations of $σ$. Using this weight function, one can define a $q$-analog $E_n(x,q)$ of the Eulerian polynomials. We prove two main results regarding weights of permutations and the polynomials $E_n(x,q)$. First, we show that the coefficients of $E_n(x, q)$ stabilize as $n$ goes to infinity, which was conjectured by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019), and enables the definition of the formal power series $W_d(t)$, which has interesting combinatorial properties. Second, we derive a recurrence relation for $E_n(x, q)$, similar to the known recurrence for the classical Eulerian polynomials $A_n(x)$. Finally, we give a recursive formula for the numbers of certain integer partitions and, from this, conjecture a recursive formula for the stabilized coefficients mentioned above.
On generalized Erdős-Ginzburg-Ziv constants of $C_n^r$
Published
• View Publication
• BIB
Let $G$ be an additive finite abelian group with exponent $\exp(G)=m$. For any positive integer $k$, the $k$-th generalized Erdős-Ginzburg-Ziv constant $\mathsf s_{km}(G)$ is defined as the smallest positive integer $t$ such that every sequence $S$ in $G$ of length at least $t$ has a zero-sum subsequence of length $km$. It is easy to see that $\mathsf s_{kn}(C_n^r)\ge(k+r)n-r$ where $n,r\in\mathbb N$. Kubertin conjectured that the equality holds for any $k\ge r$. In this paper, we mainly prove the following results:
(1) For every positive integer $k\ge 6$, we have $$\mathsf s_{kn}(C_n^3)=(k+3)n+O(\frac{n}{\ln n}).$$ (2) For every positive integer $k\ge 18$, we have $$\mathsf s_{kn}(C_n^4)=(k+4)n+O(\frac{n}{\ln n}).$$ (3) For $n\in \mathbb N$, assume that the largest prime power divisor of $n$ is $p^a$ for some $a\in\mathbb N$. For any fixed $r\ge 5$, if $p^t\ge r$ for some $t\in\mathbb N$, then for any $k\in\mathbb N$ we have $$\mathsf s_{kp^tn}(C_n^r)\le(kp^t+r)n+c_r\frac{n}{\ln n},$$ where $c_r$ is a constant depends on $r$.
Note that the main terms in our results are consistent with the conjectural values proposed by Kubertin.
On the abelian complexity of generalized Thue-Morse sequences
Published
• View Publication
• BIB
In this paper, we study the abelian complexity $ρ_n^{ab}(\mathbf{t}^{(k)})$ of generalized Thue-Morse sequences $\mathbf{t}^{(k)}$. We obtain the exact value of $ρ_n^{ab}(\mathbf{t}^{(k)})$ for every integer $n\geq k$. Consequently, $ρ_n^{ab}(\mathbf{t}^{(k)})$ is ultimately periodic with the period $k$. Moreover, we show that the abelian complexities of a class of infinite sequences are $k$-automatic.
Towards a symbolic summation theory for unspecified sequences
Published
• View Publication
• BIB
The article addresses the problem whether indefinite double sums involving a generic sequence can be simplified in terms of indefinite single sums. Depending on the structure of the double sum, the proposed summation machinery may provide such a simplification without exceptions. If it fails, it may suggest a more advanced simplification introducing in addition a single nested sum where the summand has to satisfy a particular constraint. More precisely, an explicitly given parameterized telescoping equation must hold. Restricting to the case that the arising unspecified sequences are specialized to the class of indefinite nested sums defined over hypergeometric, multi-basic or mixed hypergeometric products, it can be shown that this constraint is not only sufficient but also necessary.
Optimal lower bounds for multiple recurrence
Published
• View Publication
• BIB
Let $(X, \mathcal{B},μ,T)$ be an ergodic measure preserving system, $A \in \mathcal{B}$ and $ε>0$. We study the largeness of sets of the form \begin{equation*} \begin{split} S = \left\{ n\in\mathbb{N}\colonμ(A\cap T^{-f_1(n)}A\cap T^{-f_2(n)}A\cap\ldots\cap T^{-f_k(n)}A)> μ(A)^{k+1} - ε\right\} \end{split} \end{equation*} for various families $\{f_1,\dots,f_k\}$ of sequences $f_i\colon \mathbb{N} \to \mathbb{N}$.
For $k \leq 3$ and $f_{i}(n)=i f(n)$, we show that $S$ has positive density if $f(n)=q(p_n)$ where $q \in \mathbb{Z}[x]$ satisfies $q(1)$ or $q(-1) =0$ and $p_n$ denotes the $n$-th prime; or when $f$ is a certain Hardy field sequence. If $T^q$ is ergodic for some $q \in \mathbb{N}$, then for all $r \in \mathbb{Z}$, $S$ is syndetic if $f(n) = qn + r$.
For $f_{i}(n)=a_{i}n$, where $a_{i}$ are distinct integers, we show that $S$ can be empty for $k\geq 4$, and for $k = 3$ we found an interesting relation between the largeness of $S$ and the abundance of solutions to certain linear equations in sparse sets of integers. We also provide some partial results when the $f_{i}$ are distinct polynomials.
Limit shape of minimal difference partitions and fractional statistics
Published in Communications in Mathematical Physics (2019). https://doi.org/10.1007/s00220-019-03513-5
• View Publication
• BIB
The class of minimal difference partitions MDP($q$) (with gap $q$) is defined by the condition that successive parts in an integer partition differ from one another by at least $q\ge 0$. In a recent series of papers by A. Comtet and collaborators, the MDP($q$) ensemble with uniform measure was interpreted as a combinatorial model for quantum systems with fractional statistics, that is, interpolating between the classic Bose-Einstein ($q=0$) and Fermi-Dirac ($q=1$) cases. This was done by formally allowing values $q \in (0,1)$ using an analytic continuation of the limit shape of the corresponding Young diagrams calculated for integer $q$. To justify this "replica-trick", we introduce a more general model based on a variable MDP-type condition encoded by an integer sequence $(q_i)$, whereby the (limiting) gap $q$ is naturally interpreted as the Cesàro mean of $(q_i)$. In this model, we find the family of limit shapes parameterized by $q \in [0,\infty)$ confirming the earlier answer, and also obtain the asymptotics of the number of parts.
On the geometry of strongly flat semigroups and their generalizations
Our goal is to convince the readers that the theory of complex normal surface singularities can be a powerful tool in the study of numerical semigroups, and, in the same time, a very rich source of interesting affine and numerical semigroups. More precisely, we prove that the strongly flat semigroups, which satisfy the maximality property with respect to the Diophantine Frobenius problem, are exactly the numerical semigroups associated with negative definite Seifert homology spheres via the possible 'weights' of the generic $S^1$-orbit. Furthermore, we consider their generalization to the Seifert rational homology sphere case and prove an explicit (up to a Laufer computation sequence) formula for their Frobenius number. The singularities behind are the weighted homogeneous ones, whose several topological and analytical properties are exploited.
The Double Star Sequences and the General Second Zagreb Index
Published in Matematychni Studii, Vol. 51, No.2, 2019, 115-123
• View Publication
• BIB
For a simple graph we introduce notions of the double star sequence, the double star frequently sequence and prove that these sequences are inverses of each other. As a consequence, we express the general second Zagreb index in terms of the double star sequence. Also, we calculate the ordinary generating function and a linear recurrence relation for the sequence of the general second Zagreb indexes.
Finitely forcible graphons with an almost arbitrary structure
Published in Version published by Discrete Analysis 2020:9
• View Publication
• BIB
Graphons are analytic objects representing convergent sequences of large graphs. A graphon is said to be finitely forcible if it is determined by finitely many subgraph densities, i.e., if the asymptotic structure of graphs represented by such a graphon depends only on finitely many density constraints. Such graphons appear in various scenarios, particularly in extremal combinatorics.
Lovasz and Szegedy conjectured that all finitely forcible graphons possess a simple structure. This was disproved in a strong sense by Cooper, Kral and Martins, who showed that any graphon is a subgraphon of a finitely forcible graphon. We strenghten this result by showing for every $\varepsilon>0$ that any graphon spans a $1-\varepsilon$ proportion of a finitely forcible graphon.
On the growth of the Möbius function of permutations
Published in Journal of Combinatorial Theory, Series A, vol. 169 (2020), 105121
• View Publication
• BIB
We study the values of the Möbius function $μ$ of intervals in the containment poset of permutations. We construct a sequence of permutations $π_n$ of size $2n-2$ for which $μ(1,π_n)$ is given by a polynomial in $n$ of degree 7. This construction provides the fastest known growth of $|μ(1,π)|$ in terms of $|π|$, improving a previous quadratic bound by Smith.
Our approach is based on a formula expressing the Möbius function of an arbitrary permutation interval $[α,β]$ in terms of the number of embeddings of the elements of the interval into $β$.